phubuh has quit [Remote closed the connection]
phubuh has joined #ocaml
phubuh has quit ["Client exiting"]
brwill|zzz is now known as brwill
mrvn_ has joined #ocaml
mrvn has quit [Read error: 110 (Connection timed out)]
Smerdyakov is now known as janni
janni is now known as Smerdyakov
rox has quit [niven.freenode.net irc.freenode.net]
mattam_ has quit [niven.freenode.net irc.freenode.net]
rox has joined #ocaml
mattam_ has joined #ocaml
Zadeh has joined #ocaml
brion has joined #ocaml
brwill is now known as brwill|zzz
Verbed has quit ["Client exiting"]
mattam_ has quit [niven.freenode.net irc.freenode.net]
rox has quit [niven.freenode.net irc.freenode.net]
mattam_ has joined #ocaml
rox has joined #ocaml
mattam_ has quit [niven.freenode.net irc.freenode.net]
rox has quit [niven.freenode.net irc.freenode.net]
mattam_ has joined #ocaml
rox has joined #ocaml
mattam_ has quit [niven.freenode.net irc.freenode.net]
rox has quit [niven.freenode.net irc.freenode.net]
mattam_ has joined #ocaml
rox has joined #ocaml
bk_ has joined #ocaml
docelic has joined #ocaml
mrvn_ is now known as mrvn
lam_ has joined #ocaml
docelic has quit ["Client Exiting"]
karryall has joined #ocaml
brion_ has joined #ocaml
lam has quit [Read error: 110 (Connection timed out)]
brion has quit [Read error: 110 (Connection timed out)]
brion_ is now known as brion
brion has quit ["Client Exiting"]
Zadeh_ has joined #ocaml
Zadeh has quit [Read error: 104 (Connection reset by peer)]
lam_ has quit [niven.freenode.net irc.freenode.net]
mrvn has quit [niven.freenode.net irc.freenode.net]
teratorn has quit [niven.freenode.net irc.freenode.net]
lam_ has joined #ocaml
mrvn has joined #ocaml
teratorn has joined #ocaml
mrvn has quit ["Reconnecting"]
mrvn_ has joined #ocaml
mrvn_ is now known as mrvn
mattam_ has quit [niven.freenode.net irc.freenode.net]
rox has quit [niven.freenode.net irc.freenode.net]
mattam_ has joined #ocaml
rox has joined #ocaml
mattam_ has quit [niven.freenode.net irc.freenode.net]
rox has quit [niven.freenode.net irc.freenode.net]
CybeRDukE has joined #ocaml
mattam_ has joined #ocaml
rox has joined #ocaml
CybeRDukE has quit ["Home is where you hang your @"]
rox has quit [niven.freenode.net irc.freenode.net]
mattam_ has quit [niven.freenode.net irc.freenode.net]
mattam_ has joined #ocaml
rox has joined #ocaml
mrvn_ has joined #ocaml
mrvn has quit [Read error: 60 (Operation timed out)]
karryall has quit ["bye"]
rox has quit [niven.freenode.net irc.freenode.net]
mattam_ has quit [niven.freenode.net irc.freenode.net]
mattam_ has joined #ocaml
rox has joined #ocaml
CybeRDukE has joined #ocaml
Verbed has joined #ocaml
det has joined #ocaml
<
det>
Would the following two typed be compiled the same ?
<
det>
type firstway = None | Some of int
<
det>
type secondway = None | Some of buffer
<
det>
and buffer = {bits: int}
<
mrvn_>
buffer should be a struture containing an int and not just an int.
<
det>
would it cause it to be boxed ?
<
mrvn_>
Think so unless thats optimized.
<
mrvn_>
compile a testcase and compare.
<
det>
the assembly says no :(
<
det>
well hmm, is a record compiled like a tuple then ?
<
det>
would {one: int; two: bool} be the same as int * int ?
det has quit ["TE) (Swing them udders"]
<
Smerdyakov>
If not, then I'd be surprised!
<
Smerdyakov>
In SML/NJ, tuples are translated into records before proceeding.
<
mrvn_>
Both are just a structure with length and 2 entries.
<
mrvn_>
a simple box
<
mrvn_>
same as list too.
docelic has joined #ocaml
brx has joined #ocaml
<
brx>
got a question :)
<
brx>
not really a question but a "hint"
<
brx>
your ocaml 3.06 source file distribution.. i wasn't able to build it
<
brx>
apparently someone constantly forgot the comprule argument to Tk_PhotoPutBlock
<
brx>
i wonder if that was supposed to be a macro of some kind? :)
bk_ has quit ["I'll be back"]
bk_ has joined #ocaml
<
Smerdyakov>
I wonder if anyone with the access to fix that is in this channel.
<
Smerdyakov>
This is more of a "users" than "the OCaml compiler developers" channel.
docelic has quit ["Client Exiting"]
<
brx>
i guess i will look for some devs then
CybeRDukE has quit ["A computer scientist is someone who, when told to 'Go to Hell', sees the 'go to', rather than the destination, as harmful."]
brx has left #ocaml []
polin8 has quit ["Lost terminal"]
polin8 has joined #ocaml
polin8 has quit ["Lost terminal"]
Zadeh_ has quit [Read error: 104 (Connection reset by peer)]
polin8 has joined #ocaml
Zadeh has joined #ocaml
polin8 has quit [Client Quit]
polin8 has joined #ocaml
docelic has joined #ocaml
polin8 has quit ["Lost terminal"]
polin8 has joined #ocaml
docelic has quit ["Client Exiting"]
docelic has joined #ocaml
systems has joined #ocaml
systems has quit [Nick collision from services.]
systems has joined #ocaml
mrvn_ is now known as mrvn
docelic has quit [Read error: 104 (Connection reset by peer)]
docelic has joined #ocaml
systems has left #ocaml []
mattam has joined #ocaml
mattam_ has quit [Read error: 60 (Operation timed out)]
Verbed has quit [niven.freenode.net irc.freenode.net]
docelic has quit ["later"]
Zadeh_ has joined #ocaml
Zadeh has quit [Read error: 104 (Connection reset by peer)]
polin8 has quit [Read error: 104 (Connection reset by peer)]
polin8 has joined #ocaml
systems has joined #ocaml
systems has quit ["Client Exiting"]
phubuh has joined #ocaml