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]