smimou changed the topic of #ocaml to: OCaml 3.08.3 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
mlh_ has joined #ocaml
pattern_ has joined #ocaml
eponymous has quit ["reboot"]
bk_ has joined #ocaml
batdog|gone is now known as batdog
shammah has quit ["Leaving"]
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
gim has quit ["dodo"]
jewel has joined #ocaml
elk has joined #ocaml
BigDaddyLongStro has joined #ocaml
BigDaddyLongStro has left #ocaml []
Smerdyakov has joined #ocaml
ulfdoz has joined #ocaml
ulfdoz_ has quit [Read error: 145 (Connection timed out)]
noj has quit [brown.freenode.net irc.freenode.net]
haakonn_ has quit [brown.freenode.net irc.freenode.net]
rossberg has quit [brown.freenode.net irc.freenode.net]
calvin_ has quit [brown.freenode.net irc.freenode.net]
mattam has quit [brown.freenode.net irc.freenode.net]
pattern_ has quit [brown.freenode.net irc.freenode.net]
Sonarman has quit [brown.freenode.net irc.freenode.net]
mrvn has quit [brown.freenode.net irc.freenode.net]
ulfdoz has quit [brown.freenode.net irc.freenode.net]
Smerdyakov has quit [brown.freenode.net irc.freenode.net]
elk has quit [brown.freenode.net irc.freenode.net]
araujo has quit [brown.freenode.net irc.freenode.net]
Herrchen_ has quit [brown.freenode.net irc.freenode.net]
Hadaka has quit [brown.freenode.net irc.freenode.net]
Hipo has quit [brown.freenode.net irc.freenode.net]
pango has quit [brown.freenode.net irc.freenode.net]
mflux_ has quit [brown.freenode.net irc.freenode.net]
slashvar[lri] has quit [brown.freenode.net irc.freenode.net]
joo_ has quit [brown.freenode.net irc.freenode.net]
jewel has quit [brown.freenode.net irc.freenode.net]
batdog has quit [brown.freenode.net irc.freenode.net]
mlh_ has quit [brown.freenode.net irc.freenode.net]
_shawn has quit [brown.freenode.net irc.freenode.net]
cognominal has quit [brown.freenode.net irc.freenode.net]
erg has quit [brown.freenode.net irc.freenode.net]
hfhf has quit [brown.freenode.net irc.freenode.net]
johs has quit [brown.freenode.net irc.freenode.net]
det has quit [brown.freenode.net irc.freenode.net]
TeXitoi has quit [brown.freenode.net irc.freenode.net]
Banana has quit [brown.freenode.net irc.freenode.net]
mellum has quit [brown.freenode.net irc.freenode.net]
TaXules has quit [brown.freenode.net irc.freenode.net]
cmeme has quit ["Client terminated by server"]
ulfdoz has joined #ocaml
Smerdyakov has joined #ocaml
elk has joined #ocaml
jewel has joined #ocaml
pattern_ has joined #ocaml
mlh_ has joined #ocaml
Sonarman has joined #ocaml
pango has joined #ocaml
TeXitoi has joined #ocaml
noj has joined #ocaml
araujo has joined #ocaml
cognominal has joined #ocaml
mrvn has joined #ocaml
Herrchen_ has joined #ocaml
haakonn_ has joined #ocaml
rossberg has joined #ocaml
_shawn has joined #ocaml
calvin_ has joined #ocaml
mattam has joined #ocaml
erg has joined #ocaml
Hadaka has joined #ocaml
hfhf has joined #ocaml
batdog has joined #ocaml
mflux_ has joined #ocaml
Banana has joined #ocaml
det has joined #ocaml
johs has joined #ocaml
Hipo has joined #ocaml
joo_ has joined #ocaml
slashvar[lri] has joined #ocaml
TaXules has joined #ocaml
mellum has joined #ocaml
cmeme has joined #ocaml
Herrchen has joined #ocaml
Herrchen_ has quit [Read error: 145 (Connection timed out)]
slashvar1lri] has joined #ocaml
slashvar[lri] has quit [Read error: 104 (Connection reset by peer)]
Smerdyakov has quit ["sleep"]
elk has quit ["Leaving"]
batdog is now known as batdog|gone
araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]
cmeme has quit [Read error: 54 (Connection reset by peer)]
vezenchio has joined #ocaml
cmeme has joined #ocaml
cmeme has quit [Remote closed the connection]
cmeme has joined #ocaml
<ulfdoz> re
Snark has joined #ocaml
__DL__ has joined #ocaml
dan2 has quit [Excess Flood]
dan2 has joined #ocaml
pango has quit [Remote closed the connection]
mlh_ has quit [Client Quit]
pango has joined #ocaml
araujo has joined #ocaml
Prawntasm has joined #ocaml
Skal has joined #ocaml
vezenchio has quit ["Ayn Rand encapsulates the rage that every teenager feels on finding that his first paycheque has had taxes taken out of it"]
vezenchio has joined #ocaml
grirgz has left #ocaml []
vezenchio has quit ["Ayn Rand encapsulates the rage that every teenager feels on finding that his first paycheque has had taxes taken out of it"]
vezenchio has joined #ocaml
vodka-goo has joined #ocaml
mrvn_ has joined #ocaml
shawn_ has joined #ocaml
mrvn has quit [Read error: 60 (Operation timed out)]
_shawn has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
vodka-goo has quit []
__DL__ has left #ocaml []
mlh_ has joined #ocaml
jewel has quit [Read error: 110 (Connection timed out)]
mrvn has joined #ocaml
mrvn_ has quit [Read error: 60 (Operation timed out)]
gim has joined #ocaml
mauke has joined #ocaml
Prawntasm has quit []
_JusSx_ has joined #ocaml
__DL__ has joined #ocaml
Submarine has quit ["Leaving"]
<mflux_> let's say I have type t = Bar of bar | Baz of baz and bar = { i : int; k : int } and baz = { i : int; j : int }
<mflux_> how can this work: Baz { i = 1; j = 42 } ?
<mflux_> I mean, is there a way to express that
<mflux_> or is that a bug in the ocaml design ;)
<det> You must name the record type before you use it in the datatype, I believe
<det> oh, I see
<det> You are saying it works and you dont know why?
<mflux_> it doesn't work
<vincenz> of course not
<vincenz> you have two different records with same membernames
<mflux_> yes, but declaring that isn't illegal
<vincenz> no it isnùt
<vincenz> the second one shadows the first
<mflux_> are the other labels now hidden with no way to refer to them?
<vincenz> don't expect to make a bar
<mflux_> actually surprisingly it's the other way around
<mflux_> maybe the and mixes things up
<mflux_> after that Bar { i =42; k = 42 }; works just fine
<mflux_> but creating Baz of something appears impossible
<vincenz> must be the evaluation rules
<mflux_> I gather sml allows this, but it has a completely different approach to records anyway
Snark has quit [Read error: 110 (Connection timed out)]
batdog|gone is now known as batdog
Skal has quit ["Client exiting"]
mlh_ has quit [Client Quit]
__DL__ has quit ["Bye Bye"]
__DL__ has joined #ocaml
Prawntasm has joined #ocaml
Skal has joined #ocaml
vodka-goo has joined #ocaml
Submarine has joined #ocaml
Snark has joined #ocaml
_JusSx__ has joined #ocaml
<mflux_> btw, sometimes some people (me ;)) think that the infix notation for operators could be nice in ocaml
<mflux_> how wrong is this approximation? let ( << ) a b = fun c -> b a c let ( >> ) a b = a b
<mflux_> then just 4 + 3 << (+) >> 6 + 8, or maybe (1, 2) <<move>> (4, 4)
<mflux_> not much different from haskell's (1, 2) `move` (4, 4), but I do wonder how the precedences come into this equation..
<mflux_> (obviously the precedency of the operator cannot be as freely adjusted)
_JusSx_ has quit [Read error: 110 (Connection timed out)]
<mflux_> ..infact that might be useful in haskell too, as it allows `foo` with only symbols, not whole expressions..
pango has quit ["bbl"]
TeXitoi has quit [Read error: 104 (Connection reset by peer)]
TeXitoi has joined #ocaml
Prawntasm has left #ocaml []
mrsolo has joined #ocaml
Submarine has quit ["Leaving"]
mrsolo has quit [Client Quit]
mrsolo has joined #ocaml
_JusSx__ is now known as _JusSx_
pango has joined #ocaml
totaln00b has joined #ocaml
totaln00b has quit ["Leaving"]
Hairi-TSP has joined #ocaml
Hairi-TSP is now known as aradorn
Submarine has joined #ocaml
Skal has quit [Remote closed the connection]
maw has joined #ocaml
maw is now known as mw
_JusSx_ has quit [No route to host]
<mflux_> hmph.. every Event.sync (Event.write chan "foo") should continue if there's a matching Event.sync (Event.read chan) waiting, right?
<mflux_> hmm.. if I marshalled and unmarshalled the chan (inside the process), would that potentially break things?-o
<mflux_> obviously that was it
<mflux_> I guess it cannot merge the references
_JusSx_ has joined #ocaml
vezenchio has quit ["Ayn Rand encapsulates the rage that every teenager feels on finding that his first paycheque has had taxes taken out of it"]
Submarine_ has joined #ocaml
Submarine_ has quit ["Leaving"]
Snark has quit ["Leaving"]
TeXitoi has quit [Read error: 104 (Connection reset by peer)]
Banana has quit ["Reconnecting"]
Banana has joined #ocaml
TeXitoi has joined #ocaml
mrvn_ has joined #ocaml
mrvn has quit [Read error: 60 (Operation timed out)]
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
Purice has joined #ocaml
_JusSx__ has quit ["leaving"]
Submarine has quit ["Leaving"]
shrimpx has joined #ocaml
Purice has quit ["Leaving"]
gim has quit ["dodo (hopefully)"]
mw has quit ["."]