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_> no
<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> I suppose
<det> :)
<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> gtg
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> hey guys
<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> aaah :)
* brx ponders
<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)]
<bk_> whois
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