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
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>
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)"]