adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/
ski has quit [Ping timeout: 245 seconds]
justdit has joined #ocaml
stj has quit [Quit: Page closed]
cdidd has joined #ocaml
thomasga has quit [Quit: Leaving.]
tane has quit [Quit: Verlassend]
leoncamel has quit [Quit: WeeChat 0.3.9.2]
justdit_ has joined #ocaml
justdit has quit [Ping timeout: 255 seconds]
ski has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
justdit_ has quit [Read error: Connection reset by peer]
ski has quit [Ping timeout: 255 seconds]
ski has joined #ocaml
ski has quit [Ping timeout: 264 seconds]
justdit has joined #ocaml
destrius has joined #ocaml
ski has joined #ocaml
ski has quit [Ping timeout: 256 seconds]
thizanne has quit [Ping timeout: 245 seconds]
madroach has quit [Ping timeout: 244 seconds]
sw2wolf has joined #ocaml
lolcathost has quit [Ping timeout: 255 seconds]
madroach has joined #ocaml
lolcathost has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
paolooo has joined #ocaml
mattrepl has quit [Quit: mattrepl]
<sw2wolf> Are there any ocaml mode in Emacs ?
sepp2k has joined #ocaml
sw2wolf has left #ocaml []
mattrepl has joined #ocaml
Neros has joined #ocaml
mattrepl has quit [Quit: mattrepl]
justdit has joined #ocaml
weie has joined #ocaml
weie_ has quit [Ping timeout: 250 seconds]
paolooo has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
jbrown__ has joined #ocaml
|jbrown| has quit [Ping timeout: 264 seconds]
Yoric has quit [Ping timeout: 252 seconds]
|jbrown| has joined #ocaml
jbrown__ has quit [Ping timeout: 265 seconds]
ulfdoz has joined #ocaml
andreypopp has joined #ocaml
andreypopp has quit [Quit: sleep]
Snark_ has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
BiDOrD has joined #ocaml
answer_42 has joined #ocaml
BiDOrD_ has quit [Read error: Connection reset by peer]
justdit has quit [Ping timeout: 265 seconds]
groleo has joined #ocaml
chambart has joined #ocaml
Yoric has joined #ocaml
thomasga has joined #ocaml
<adrien_oww> I hadn't had time to use a newer version of godi; there are some new nice things :-)
<adrien_oww> godi_console is now opt-compiled \o/
<adrien_oww> which is also nice on a powerful computer because it doesn't make godi_console more usable ; it makes it instantaneous :-)
andreypopp has joined #ocaml
mye has joined #ocaml
andreypopp has quit [Quit: sleep]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 265 seconds]
djcoin has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
cago has joined #ocaml
mika1 has joined #ocaml
sw2wolf has joined #ocaml
wagle_ is now known as wagle
mika1 has quit [Client Quit]
hkBst has quit [Ping timeout: 260 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
mika1 has joined #ocaml
ontologiae has joined #ocaml
Kakadu has joined #ocaml
Kakadu has quit [Client Quit]
Kakadu has joined #ocaml
eikke has joined #ocaml
sw2wolf has left #ocaml []
matthewt has joined #ocaml
ski has joined #ocaml
sepp2k has quit [Quit: Leaving.]
Armael has quit [Changing host]
Armael has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
destrius has quit [Quit: Leaving.]
logicgeezer_ has joined #ocaml
sivoais has quit [Remote host closed the connection]
sivoais has joined #ocaml
answer_42 has quit [Ping timeout: 276 seconds]
ski has quit [Ping timeout: 260 seconds]
beckerb has joined #ocaml
myx has joined #ocaml
<logicgeezer_> has anyone built an ocaml-4 windows cross-compiler on linux? any pointers to docs would be much appreciated.
<adrien_oww> that's on my todo in the coming days but I haven't done so yet
<Kakadu> flux: hey. How do u do?
Xizor has joined #ocaml
tane has joined #ocaml
ski has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
Cyanure has joined #ocaml
mfill has joined #ocaml
larhat has joined #ocaml
mika1 has quit [Quit: Leaving.]
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
dwmw2_gone has quit [Ping timeout: 245 seconds]
dwmw2_gone has joined #ocaml
Yoric has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
tane has quit [Ping timeout: 264 seconds]
sw2wolf has joined #ocaml
Playground has joined #ocaml
lolcathost has quit [Read error: Connection reset by peer]
mika1 has joined #ocaml
sw2wolf has left #ocaml []
BiDOrD_ has joined #ocaml
mika1 has quit [Client Quit]
Playground is now known as lolcathost
BiDOrD has quit [Ping timeout: 248 seconds]
eikke has quit [Ping timeout: 255 seconds]
eikke has joined #ocaml
mika1 has joined #ocaml
mfill has quit [Quit: leaving]
ikaros has joined #ocaml
Yoric has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
Yoric has joined #ocaml
mika1 has quit [Quit: Leaving.]
thizanne has joined #ocaml
mika1 has joined #ocaml
answer_42 has joined #ocaml
UVs has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
mika1 has quit [Quit: Leaving.]
fraggle_laptop has joined #ocaml
oriba has joined #ocaml
mika1 has joined #ocaml
tane has joined #ocaml
mika1 has quit [Quit: Leaving.]
andreypopp has joined #ocaml
mika1 has joined #ocaml
chambart has joined #ocaml
mika1 has quit [Quit: Leaving.]
Yoric has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
Yoric has joined #ocaml
mattrepl has joined #ocaml
myx has quit [Read error: Operation timed out]
andreypopp has quit [Quit: sleep]
andreypopp has joined #ocaml
smondet has joined #ocaml
mika1 has joined #ocaml
andreypopp has quit [Quit: sleep]
myx has joined #ocaml
mika1 has quit [Quit: Leaving.]
Snark_ is now known as Snark
chambart has quit [Ping timeout: 250 seconds]
Xizor has quit [Remote host closed the connection]
travisbrady has joined #ocaml
mika1 has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
groleo has quit [Quit: Leaving.]
oriba has quit [Quit: oriba]
travisbrady has quit [Quit: travisbrady]
ikaros_ has joined #ocaml
lolcathost has quit [Ping timeout: 276 seconds]
travisbrady has joined #ocaml
ikaros has quit [Ping timeout: 244 seconds]
tani has joined #ocaml
tane has quit [Ping timeout: 240 seconds]
Kakadu has quit []
lolcathost has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
larhat has quit [Quit: Leaving.]
jewel has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
Yoric has joined #ocaml
lolcathost has quit [Ping timeout: 252 seconds]
lolcathost has joined #ocaml
hkBst has quit [Remote host closed the connection]
Kakadu has joined #ocaml
cago has left #ocaml []
<Qrntz> are GADTs seen from the C side just like regular ADTs (normal long ints in case of nullary variant, tagged blocks otherwise)?
fraggle_laptop has quit [Remote host closed the connection]
mika1 has quit [Quit: Leaving.]
thelema has joined #ocaml
<ousado> Qrntz: I think so
<Qrntz> ousado, thanks; so far they look identical but I decided to ask in case someone knows better
<ousado> Qrntz: well, don't rely on my intuition, I don't know really
<Qrntz> okay
<ousado> but IIRC, there's no RTTI in ocaml
<Qrntz> I know that types are eliminated compile-time
<ousado> and GADTS are a compile-time feature otherwise
<Qrntz> alright then
tac has joined #ocaml
<thelema> ousado: quite, the only tagging of values is for Variant types (including polymorphic)
<thelema> there's some interest in making type information available to the program at compile time, and having runtime values that can encode this compile-time information
travisbrady has quit [Quit: travisbrady]
rossberg has quit [Ping timeout: 246 seconds]
rossberg has joined #ocaml
lolcathost has quit [Ping timeout: 244 seconds]
lolcathost has joined #ocaml
rossberg has quit [Ping timeout: 276 seconds]
Yoric has quit [Ping timeout: 240 seconds]
milosn_ has quit [Ping timeout: 264 seconds]
philed` has joined #ocaml
philed has quit [Ping timeout: 246 seconds]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
lolcathost has quit [Ping timeout: 248 seconds]
lolcathost has joined #ocaml
UVs has quit [Ping timeout: 244 seconds]
philed`` has joined #ocaml
philed` has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 260 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
fraggle_ has joined #ocaml
Yoric has joined #ocaml
lolcathost has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
lolcathost has joined #ocaml
gustav__ has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 252 seconds]
philed``` has joined #ocaml
philed`` has quit [Ping timeout: 240 seconds]
matthewt has quit [Ping timeout: 244 seconds]
matthewt has joined #ocaml
gustav__ has joined #ocaml
fraggle_ has quit [*.net *.split]
rwmjones has quit [*.net *.split]
mehdid has quit [*.net *.split]
mk270 has quit [*.net *.split]
beckerb has quit [Ping timeout: 245 seconds]
jamii has joined #ocaml
fraggle_ has joined #ocaml
rwmjones has joined #ocaml
mehdid has joined #ocaml
mk270 has joined #ocaml
gustav__ has quit [Excess Flood]
jewel has quit [Ping timeout: 265 seconds]
fraggle_ has quit [Ping timeout: 255 seconds]
fraggle_ has joined #ocaml
yezariaely has left #ocaml []
myx has quit [Ping timeout: 248 seconds]
Yoric has joined #ocaml
gustav__ has joined #ocaml
andreypopp has joined #ocaml
andreypopp has quit [Quit: sleep]
cdidd has quit [Ping timeout: 248 seconds]
Cyanure has quit [Remote host closed the connection]
travisbrady has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
Snark has quit [Quit: Quitte]
andreypopp has joined #ocaml
fraggle_ has quit [Ping timeout: 252 seconds]
fraggle_ has joined #ocaml
answer_42 has quit [Quit: WeeChat 0.3.9.2]
tac has quit [Ping timeout: 245 seconds]
andreypopp has quit [Quit: sleep]
jamii has quit [Ping timeout: 240 seconds]
mye has quit [Ping timeout: 240 seconds]
Kakadu has quit []
gnuvince has quit [Ping timeout: 265 seconds]
Yoric has quit [Ping timeout: 246 seconds]
ikaros_ has quit [Quit: Ex-Chat]
Yoric has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.9.2]
Submarine has quit [Ping timeout: 252 seconds]
gustav__ has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 256 seconds]
gustav__ has joined #ocaml
smondet has quit [Read error: Operation timed out]
emmanuelux has joined #ocaml
mattrepl has quit [Quit: mattrepl]
travisbrady has quit [Quit: travisbrady]
ontologiae has joined #ocaml