rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
azimut has quit [*.net *.split]
torretto has quit [*.net *.split]
azimut has joined #ocaml
torretto has joined #ocaml
azimut has quit [*.net *.split]
torretto has quit [*.net *.split]
tomku has quit [*.net *.split]
infinity0 has quit [*.net *.split]
emp has quit [*.net *.split]
justache has quit [*.net *.split]
kuruczgy has quit [*.net *.split]
cbarrett has quit [*.net *.split]
b0o has quit [*.net *.split]
whereiseveryone has quit [*.net *.split]
ggb has quit [*.net *.split]
m5zs7k has quit [*.net *.split]
farn_ has quit [*.net *.split]
conjunctive has quit [*.net *.split]
leonardus has quit [*.net *.split]
arya_elfren has quit [*.net *.split]
soni_ has quit [*.net *.split]
chrisz has quit [*.net *.split]
dylanj has quit [*.net *.split]
motherfsck has quit [*.net *.split]
ohperitel has quit [*.net *.split]
lane has quit [*.net *.split]
Duns_Scrotus___ has quit [*.net *.split]
xenu has quit [*.net *.split]
steenuil has quit [*.net *.split]
remexre has quit [*.net *.split]
Ekho has quit [*.net *.split]
end has quit [*.net *.split]
caasih has quit [*.net *.split]
grobe0ba has quit [*.net *.split]
keyle has quit [*.net *.split]
thizanne has quit [*.net *.split]
copy_ has quit [*.net *.split]
berberman has quit [*.net *.split]
ns12 has quit [*.net *.split]
rak has quit [*.net *.split]
dh` has quit [*.net *.split]
pie_ has quit [*.net *.split]
pieguy128 has quit [*.net *.split]
CalimeroTeknik has quit [*.net *.split]
quernd80 has quit [*.net *.split]
mal`` has quit [*.net *.split]
Ella6 has quit [*.net *.split]
pippijn has quit [*.net *.split]
myrkraverk has quit [*.net *.split]
Exa has quit [*.net *.split]
kurfen_ has quit [*.net *.split]
lobo has quit [*.net *.split]
trillion_exabyte has quit [*.net *.split]
troydm has quit [*.net *.split]
micro has quit [*.net *.split]
amk has quit [*.net *.split]
habnabit_ has quit [*.net *.split]
companion_cube has quit [*.net *.split]
reynir has quit [*.net *.split]
ebb has quit [*.net *.split]
greenbagels has quit [*.net *.split]
sadiq has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
noddy has quit [*.net *.split]
slothby has quit [*.net *.split]
rom1504 has quit [*.net *.split]
jyc has quit [*.net *.split]
technomancy has quit [*.net *.split]
Leonidas has quit [*.net *.split]
patrick__ has quit [*.net *.split]
jusensei2 has quit [*.net *.split]
wagle has quit [*.net *.split]
drakonis has quit [*.net *.split]
gahr has quit [*.net *.split]
Putonlalla has quit [*.net *.split]
mfranc has quit [*.net *.split]
process0 has quit [*.net *.split]
rwmjones_ has quit [*.net *.split]
leah2 has quit [*.net *.split]
Johann has quit [*.net *.split]
terrorjack has quit [*.net *.split]
Soni has quit [*.net *.split]
dme2 has quit [*.net *.split]
xgqt has quit [*.net *.split]
theblatte has quit [*.net *.split]
palainp has quit [*.net *.split]
SquidDev has quit [*.net *.split]
johnel has quit [*.net *.split]
adrien_ has quit [*.net *.split]
masterbuilder has quit [*.net *.split]
dinosaure has quit [*.net *.split]
vsiles has quit [*.net *.split]
Armael has quit [*.net *.split]
ski has quit [*.net *.split]
hexology has quit [*.net *.split]
Techcable has quit [*.net *.split]
_alix has quit [*.net *.split]
brettgilio has quit [*.net *.split]
immutable has quit [*.net *.split]
jakzale has quit [*.net *.split]
philipwhite has quit [*.net *.split]
jsoo has quit [*.net *.split]
JSharp has quit [*.net *.split]
Fardale has quit [*.net *.split]
hannes has quit [*.net *.split]
average has quit [*.net *.split]
cr1901 has quit [*.net *.split]
gentauro has quit [*.net *.split]
ocabot has quit [*.net *.split]
welterde has quit [*.net *.split]
bcksl has quit [*.net *.split]
octachron has quit [*.net *.split]
Boarders___ has quit [*.net *.split]
pgiarrusso has quit [*.net *.split]
Riviera has quit [*.net *.split]
lisq has quit [*.net *.split]
ansiwen has quit [*.net *.split]
zozozo has quit [*.net *.split]
gdd has quit [*.net *.split]
deadmarshal_ has quit [*.net *.split]
energizer has quit [*.net *.split]
bacam has quit [*.net *.split]
landonf has quit [*.net *.split]
wingsorc has quit [*.net *.split]
dnaq has quit [*.net *.split]
anpad has quit [*.net *.split]
czy has quit [*.net *.split]
nore has quit [*.net *.split]
migalmoreno has quit [*.net *.split]
pluviaq has quit [*.net *.split]
bibi_ has quit [*.net *.split]
GreaseMonkey has quit [*.net *.split]
oisota has quit [*.net *.split]
esum has quit [*.net *.split]
discocaml has quit [*.net *.split]
Opus has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
haesbaert has quit [*.net *.split]
buoy49_ has quit [*.net *.split]
torretto has joined #ocaml
azimut has joined #ocaml
average has joined #ocaml
terrorjack has joined #ocaml
dnaq has joined #ocaml
hannes has joined #ocaml
wingsorc has joined #ocaml
emp has joined #ocaml
cr1901 has joined #ocaml
anpad has joined #ocaml
tomku has joined #ocaml
technomancy has joined #ocaml
berberman has joined #ocaml
infinity0 has joined #ocaml
gentauro has joined #ocaml
ansiwen has joined #ocaml
justache has joined #ocaml
mal`` has joined #ocaml
myrkraverk has joined #ocaml
czy has joined #ocaml
Leonidas has joined #ocaml
leonardus has joined #ocaml
nore has joined #ocaml
ski has joined #ocaml
masterbuilder has joined #ocaml
adrien_ has joined #ocaml
hexology has joined #ocaml
Techcable has joined #ocaml
arya_elfren has joined #ocaml
migalmoreno has joined #ocaml
Geekingfrog has joined #ocaml
pluviaq has joined #ocaml
patrick__ has joined #ocaml
bibi_ has joined #ocaml
soni_ has joined #ocaml
chrisz has joined #ocaml
Ella6 has joined #ocaml
dylanj has joined #ocaml
jusensei2 has joined #ocaml
Exa has joined #ocaml
noddy has joined #ocaml
zozozo has joined #ocaml
kurfen_ has joined #ocaml
gdd has joined #ocaml
lane has joined #ocaml
motherfsck has joined #ocaml
ns12 has joined #ocaml
ohperitel has joined #ocaml
ocabot has joined #ocaml
lobo has joined #ocaml
trillion_exabyte has joined #ocaml
deadmarshal_ has joined #ocaml
troydm has joined #ocaml
cbarrett has joined #ocaml
whereiseveryone has joined #ocaml
kuruczgy has joined #ocaml
ggb has joined #ocaml
rak has joined #ocaml
b0o has joined #ocaml
wagle has joined #ocaml
brettgilio has joined #ocaml
_alix has joined #ocaml
jakzale has joined #ocaml
philipwhite has joined #ocaml
immutable has joined #ocaml
amk has joined #ocaml
welterde has joined #ocaml
xenu has joined #ocaml
dh` has joined #ocaml
slothby has joined #ocaml
Duns_Scrotus___ has joined #ocaml
drakonis has joined #ocaml
jsoo has joined #ocaml
micro has joined #ocaml
oisota has joined #ocaml
m5zs7k has joined #ocaml
GreaseMonkey has joined #ocaml
jyc has joined #ocaml
gahr has joined #ocaml
esum has joined #ocaml
Opus has joined #ocaml
Soni has joined #ocaml
discocaml has joined #ocaml
mfranc has joined #ocaml
pie_ has joined #ocaml
steenuil has joined #ocaml
dme2 has joined #ocaml
energizer has joined #ocaml
quernd80 has joined #ocaml
sadiq has joined #ocaml
Putonlalla has joined #ocaml
leah2 has joined #ocaml
rwmjones_ has joined #ocaml
Johann has joined #ocaml
SquidDev has joined #ocaml
process0 has joined #ocaml
johnel has joined #ocaml
palainp has joined #ocaml
theblatte has joined #ocaml
xgqt has joined #ocaml
remexre has joined #ocaml
Ekho has joined #ocaml
end has joined #ocaml
habnabit_ has joined #ocaml
dinosaure has joined #ocaml
companion_cube has joined #ocaml
pippijn has joined #ocaml
pieguy128 has joined #ocaml
farn_ has joined #ocaml
grobe0ba has joined #ocaml
reynir has joined #ocaml
JSharp has joined #ocaml
caasih has joined #ocaml
bcksl has joined #ocaml
octachron has joined #ocaml
dmbaturin has joined #ocaml
Armael has joined #ocaml
vsiles has joined #ocaml
conjunctive has joined #ocaml
thizanne has joined #ocaml
copy_ has joined #ocaml
CalimeroTeknik has joined #ocaml
ebb has joined #ocaml
keyle has joined #ocaml
greenbagels has joined #ocaml
rom1504 has joined #ocaml
haesbaert has joined #ocaml
lisq has joined #ocaml
buoy49_ has joined #ocaml
Fardale has joined #ocaml
Riviera has joined #ocaml
landonf has joined #ocaml
pgiarrusso has joined #ocaml
Boarders___ has joined #ocaml
bacam has joined #ocaml
wingsorc has quit [*.net *.split]
dnaq has quit [*.net *.split]
anpad has quit [*.net *.split]
czy has quit [*.net *.split]
nore has quit [*.net *.split]
migalmoreno has quit [*.net *.split]
pluviaq has quit [*.net *.split]
bibi_ has quit [*.net *.split]
GreaseMonkey has quit [*.net *.split]
oisota has quit [*.net *.split]
esum has quit [*.net *.split]
discocaml has quit [*.net *.split]
Opus has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
haesbaert has quit [*.net *.split]
buoy49_ has quit [*.net *.split]
dnaq has joined #ocaml
wingsorc has joined #ocaml
anpad has joined #ocaml
czy has joined #ocaml
migalmoreno has joined #ocaml
pluviaq has joined #ocaml
nore has joined #ocaml
bibi_ has joined #ocaml
GreaseMonkey has joined #ocaml
esum has joined #ocaml
discocaml has joined #ocaml
Opus has joined #ocaml
oisota has joined #ocaml
haesbaert has joined #ocaml
dmbaturin has joined #ocaml
buoy49_ has joined #ocaml
discocaml has quit [Excess Flood]
pluviaq has quit [Max SendQ exceeded]
ymherklotz has quit [Max SendQ exceeded]
Ankhers has quit [Max SendQ exceeded]
cross has quit [Max SendQ exceeded]
discocaml has joined #ocaml
_alix has quit [Ping timeout: 256 seconds]
brettgilio has quit [Ping timeout: 256 seconds]
kuruczgy has quit [Ping timeout: 256 seconds]
sleepydog has quit [Ping timeout: 262 seconds]
toastal has quit [Ping timeout: 262 seconds]
ansiwen has quit [*.net *.split]
zozozo has quit [*.net *.split]
gdd has quit [*.net *.split]
deadmarshal_ has quit [*.net *.split]
energizer has quit [*.net *.split]
bacam has quit [*.net *.split]
landonf has quit [*.net *.split]
immutable has quit [Ping timeout: 256 seconds]
jakzale has quit [Ping timeout: 256 seconds]
average has quit [*.net *.split]
hannes has quit [*.net *.split]
cr1901 has quit [*.net *.split]
gentauro has quit [*.net *.split]
ocabot has quit [*.net *.split]
welterde has quit [*.net *.split]
bcksl has quit [*.net *.split]
octachron has quit [*.net *.split]
Boarders___ has quit [*.net *.split]
pgiarrusso has quit [*.net *.split]
Riviera has quit [*.net *.split]
lisq has quit [*.net *.split]
henrytill has quit [Read error: Connection reset by peer]
seeg has quit [Read error: Connection reset by peer]
migalmoreno has quit [Read error: Connection reset by peer]
lane has quit [Read error: Connection reset by peer]
arya_elfren has quit [Read error: Connection reset by peer]
soni_ has quit [Read error: Connection reset by peer]
richardhuxton has quit [Read error: Connection reset by peer]
philipwhite has quit [Read error: Connection reset by peer]
b0o has quit [Read error: Connection reset by peer]
whereiseveryone has quit [Read error: Connection reset by peer]
ggb has quit [Read error: Connection reset by peer]
cross has joined #ocaml
patrick__ has quit [Read error: Connection reset by peer]
ansiwen has joined #ocaml
bacam has joined #ocaml
landonf has joined #ocaml
energizer has joined #ocaml
deadmarshal_ has joined #ocaml
gdd has joined #ocaml
zozozo has joined #ocaml
patrick has joined #ocaml
lane has joined #ocaml
patrick is now known as 082AAO4UL
gentauro has joined #ocaml
average has joined #ocaml
cr1901 has joined #ocaml
hannes has joined #ocaml
ocabot has joined #ocaml
welterde has joined #ocaml
bcksl has joined #ocaml
Boarders___ has joined #ocaml
pgiarrusso has joined #ocaml
Riviera has joined #ocaml
octachron has joined #ocaml
lisq has joined #ocaml
philipwhite has joined #ocaml
ggb has joined #ocaml
energizer has quit [Max SendQ exceeded]
gdd has quit [Max SendQ exceeded]
richardhuxton has joined #ocaml
sleepydog has joined #ocaml
Ankhers has joined #ocaml
ymherklotz has joined #ocaml
kuruczgy has joined #ocaml
immutable has joined #ocaml
henrytill has joined #ocaml
seeg has joined #ocaml
b0o has joined #ocaml
brettgilio has joined #ocaml
_alix has joined #ocaml
arya_elfren has joined #ocaml
soni_ has joined #ocaml
pluviaq has joined #ocaml
migalmoreno has joined #ocaml
whereiseveryone has joined #ocaml
jakzale has joined #ocaml
toastal has joined #ocaml
Riviera has quit [Max SendQ exceeded]
Riviera has joined #ocaml
gdd has joined #ocaml
ski has quit [*.net *.split]
hexology has quit [*.net *.split]
Techcable has quit [*.net *.split]
jsoo has quit [*.net *.split]
JSharp has quit [*.net *.split]
Fardale has quit [*.net *.split]
sadiq has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
noddy has quit [*.net *.split]
slothby has quit [*.net *.split]
rom1504 has quit [*.net *.split]
myrkraverk has quit [*.net *.split]
Exa has quit [*.net *.split]
kurfen_ has quit [*.net *.split]
lobo has quit [*.net *.split]
trillion_exabyte has quit [*.net *.split]
troydm has quit [*.net *.split]
amk has quit [*.net *.split]
micro has quit [*.net *.split]
habnabit_ has quit [*.net *.split]
companion_cube has quit [*.net *.split]
reynir has quit [*.net *.split]
greenbagels has quit [*.net *.split]
ebb has quit [*.net *.split]
sadiq has joined #ocaml
Geekingfrog has joined #ocaml
slothby has joined #ocaml
noddy has joined #ocaml
rom1504 has joined #ocaml
cross has quit [*.net *.split]
discocaml has quit [*.net *.split]
quernd80 has quit [*.net *.split]
mal`` has quit [*.net *.split]
Ella6 has quit [*.net *.split]
pippijn has quit [*.net *.split]
rgrinberg has joined #ocaml
discocaml has joined #ocaml
quernd80 has joined #ocaml
cross has joined #ocaml
pippijn has joined #ocaml
Ella6 has joined #ocaml
mal`` has joined #ocaml
Exa has joined #ocaml
myrkraverk has joined #ocaml
kurfen_ has joined #ocaml
lobo has joined #ocaml
trillion_exabyte has joined #ocaml
troydm has joined #ocaml
amk has joined #ocaml
micro has joined #ocaml
companion_cube has joined #ocaml
reynir has joined #ocaml
habnabit_ has joined #ocaml
ebb has joined #ocaml
greenbagels has joined #ocaml
hexology has joined #ocaml
Techcable has joined #ocaml
Fardale has joined #ocaml
ski has joined #ocaml
JSharp has joined #ocaml
jsoo has joined #ocaml
discocaml has quit [Excess Flood]
discocaml has joined #ocaml
energizer has joined #ocaml
cross has quit [Max SendQ exceeded]
cross has joined #ocaml
myrkraverk_ has joined #ocaml
trillion_exabyte has quit [Max SendQ exceeded]
ebb has quit [Max SendQ exceeded]
Exa has quit [Max SendQ exceeded]
myrkraverk has quit [Remote host closed the connection]
Exa has joined #ocaml
trillion_exabyte has joined #ocaml
Techcable has quit [Ping timeout: 253 seconds]
adrien_ has quit [*.net *.split]
masterbuilder has quit [*.net *.split]
dinosaure has quit [*.net *.split]
Armael has quit [*.net *.split]
vsiles has quit [*.net *.split]
masterbuilder has joined #ocaml
Armael has joined #ocaml
adrien_ has joined #ocaml
vsiles has joined #ocaml
dinosaure has joined #ocaml
Techcable has joined #ocaml
ebb has joined #ocaml
adrien_ has quit [*.net *.split]
masterbuilder has quit [*.net *.split]
dinosaure has quit [*.net *.split]
Armael has quit [*.net *.split]
vsiles has quit [*.net *.split]
cross has quit [*.net *.split]
jyc has quit [*.net *.split]
discocaml has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
technomancy has quit [*.net *.split]
Leonidas has quit [*.net *.split]
jusensei2 has quit [*.net *.split]
wagle has quit [*.net *.split]
drakonis has quit [*.net *.split]
gahr has quit [*.net *.split]
Putonlalla has quit [*.net *.split]
mfranc has quit [*.net *.split]
process0 has quit [*.net *.split]
rwmjones_ has quit [*.net *.split]
Johann has quit [*.net *.split]
leah2 has quit [*.net *.split]
terrorjack has quit [*.net *.split]
Soni has quit [*.net *.split]
dme2 has quit [*.net *.split]
xgqt has quit [*.net *.split]
theblatte has quit [*.net *.split]
palainp has quit [*.net *.split]
johnel has quit [*.net *.split]
SquidDev has quit [*.net *.split]
soni_ is now known as soni
soni is now known as 082AAO48X
masterbuilder has joined #ocaml
dinosaure has joined #ocaml
Leonidas has joined #ocaml
Armael has joined #ocaml
rgrinberg has joined #ocaml
discocaml has joined #ocaml
technomancy has joined #ocaml
terrorjack has joined #ocaml
wagle has joined #ocaml
drakonis has joined #ocaml
jyc has joined #ocaml
cross has joined #ocaml
adrien_ has joined #ocaml
Soni has joined #ocaml
rwmjones_ has joined #ocaml
vsiles has joined #ocaml
xgqt has joined #ocaml
process0 has joined #ocaml
johnel has joined #ocaml
jusensei2 has joined #ocaml
gahr has joined #ocaml
mfranc has joined #ocaml
leah2 has joined #ocaml
dme2 has joined #ocaml
Putonlalla has joined #ocaml
palainp has joined #ocaml
SquidDev has joined #ocaml
Johann has joined #ocaml
theblatte has joined #ocaml
discocaml has quit [Excess Flood]
discocaml has joined #ocaml
cross has quit [Max SendQ exceeded]
cross has joined #ocaml
jyc has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
technomancy has quit [*.net *.split]
Leonidas has quit [*.net *.split]
jusensei2 has quit [*.net *.split]
wagle has quit [*.net *.split]
drakonis has quit [*.net *.split]
gahr has quit [*.net *.split]
mfranc has quit [*.net *.split]
Putonlalla has quit [*.net *.split]
process0 has quit [*.net *.split]
rwmjones_ has quit [*.net *.split]
Johann has quit [*.net *.split]
leah2 has quit [*.net *.split]
jyc has joined #ocaml
rgrinberg has joined #ocaml
leah2 has joined #ocaml
rwmjones_ has joined #ocaml
Putonlalla has joined #ocaml
gahr has joined #ocaml
Leonidas has joined #ocaml
wagle has joined #ocaml
drakonis has joined #ocaml
jusensei2 has joined #ocaml
technomancy has joined #ocaml
mfranc has joined #ocaml
process0 has joined #ocaml
Johann has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
average has quit [Quit: Connection closed for inactivity]
czy has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
czy has joined #ocaml
Serpent7776 has joined #ocaml
Square3 has joined #ocaml
mima has joined #ocaml
Square3 has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
philipwhite has quit [Remote host closed the connection]
_alix has quit [Remote host closed the connection]
seeg has quit [Remote host closed the connection]
richardhuxton has quit [Remote host closed the connection]
kuruczgy has quit [Remote host closed the connection]
immutable has quit [Remote host closed the connection]
sleepydog has quit [Remote host closed the connection]
Ankhers has quit [Remote host closed the connection]
pluviaq has quit [Remote host closed the connection]
toastal has quit [Remote host closed the connection]
arya_elfren has quit [Remote host closed the connection]
ymherklotz has quit [Remote host closed the connection]
ggb has quit [Remote host closed the connection]
jakzale has quit [Remote host closed the connection]
082AAO48X has quit [Remote host closed the connection]
b0o has quit [Remote host closed the connection]
whereiseveryone has quit [Remote host closed the connection]
lane has quit [Remote host closed the connection]
082AAO4UL has quit [Read error: Connection reset by peer]
migalmoreno has quit [Remote host closed the connection]
brettgilio has quit [Write error: Connection reset by peer]
henrytill has quit [Remote host closed the connection]
ggb has joined #ocaml
philipwhite has joined #ocaml
lane has joined #ocaml
b0o has joined #ocaml
toastal has joined #ocaml
migalmoreno has joined #ocaml
patrick__ has joined #ocaml
soni_ has joined #ocaml
henrytill has joined #ocaml
jakzale has joined #ocaml
_alix has joined #ocaml
kuruczgy has joined #ocaml
richardhuxton has joined #ocaml
immutable has joined #ocaml
seeg has joined #ocaml
sleepydog has joined #ocaml
whereiseveryone has joined #ocaml
pluviaq has joined #ocaml
arya_elfren has joined #ocaml
brettgilio has joined #ocaml
ymherklotz has joined #ocaml
Ankhers has joined #ocaml
philipwhite has quit [Remote host closed the connection]
ymherklotz has quit [Remote host closed the connection]
pluviaq has quit [Remote host closed the connection]
b0o has quit [Remote host closed the connection]
richardhuxton has quit [Remote host closed the connection]
sleepydog has quit [Remote host closed the connection]
lane has quit [Remote host closed the connection]
jakzale has quit [Remote host closed the connection]
patrick__ has quit [Remote host closed the connection]
toastal has quit [Remote host closed the connection]
ggb has quit [Remote host closed the connection]
whereiseveryone has quit [Remote host closed the connection]
seeg has quit [Remote host closed the connection]
migalmoreno has quit [Remote host closed the connection]
_alix has quit [Remote host closed the connection]
brettgilio has quit [Remote host closed the connection]
soni_ has quit [Remote host closed the connection]
arya_elfren has quit [Remote host closed the connection]
Ankhers has quit [Remote host closed the connection]
kuruczgy has quit [Remote host closed the connection]
henrytill has quit [Remote host closed the connection]
immutable has quit [Remote host closed the connection]
ggb has joined #ocaml
philipwhite has joined #ocaml
lane has joined #ocaml
jakzale has joined #ocaml
pluviaq has joined #ocaml
toastal has joined #ocaml
Ankhers has joined #ocaml
kuruczgy has joined #ocaml
_alix has joined #ocaml
whereiseveryone has joined #ocaml
patrick__ has joined #ocaml
soni_ has joined #ocaml
migalmoreno has joined #ocaml
brettgilio has joined #ocaml
henrytill has joined #ocaml
arya_elfren has joined #ocaml
immutable has joined #ocaml
b0o has joined #ocaml
richardhuxton has joined #ocaml
ymherklotz has joined #ocaml
sleepydog has joined #ocaml
seeg has joined #ocaml
bartholin has quit [Quit: Leaving]
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
alexherbo2 has joined #ocaml
average has joined #ocaml
a51 has joined #ocaml
gentauro has quit [Read error: Connection reset by peer]
gentauro has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
a51 has quit [Quit: WeeChat 4.2.1]
mima has quit [Ping timeout: 268 seconds]
jabuxas has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
wingsorc has quit [Ping timeout: 246 seconds]
Square3 has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
mima has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
average has joined #ocaml
olle has joined #ocaml
alexherbo2 has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
dnh has joined #ocaml
omegatron has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 256 seconds]
waleee has joined #ocaml
mro has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
aljazmc has joined #ocaml
Serpent7776 has quit [Ping timeout: 260 seconds]
mro has quit [Quit: Leaving]
Anarchos has joined #ocaml
szkl has joined #ocaml
<Anarchos>
How can i investigate 'This variant or record definition does not match that of type M.typ Their kinds differ.' ?
<Anarchos>
This message is not very explicit...
<discocaml>
<._null._> What OCaml version are you using ? I can't even find the error message when looking at the compiler code
alexherbo2 has quit [Remote host closed the connection]
<discocaml>
<._null._> If the meaning of "kind" ddn't change, this means that your definition is one of `[abstract; record; variant; extensible variant]` and the other one is a different one of these
<Anarchos>
._null_. 4.14.2+dev0-2022-12-19
<discocaml>
<._null._> I can reproduce, apparntly this was changed sometime after 5.0
<discocaml>
<._null._> This means I can confirm my explanation
<Anarchos>
i just do type t = M.typ so i can't understand how they are not compatible
Tuplanolla has joined #ocaml
<discocaml>
<._null._> Are you not doing `type t = M.t = ...` ?
<discocaml>
<._null._> The only path that I can see which produces your error message goes through the function which checks that an aliasing type export is coherent
<Anarchos>
itry to do type t = M.t and M.t is a record {...}
<Anarchos>
in the module i do type t =M.t so i can't see what goes wrong
<discocaml>
<._null._> What is following this declaration ? If this is not an `=` then I don't understand and you will need to give more code
<discocaml>
<._null._> `module T = struct type t = { a: int } end type a = T.t = A`
<discocaml>
<._null._> This is how I can reproduce your error
<discocaml>
<octachron> If I remember correctly, this can also be a recursive module error .
<discocaml>
<._null._> With the complete formulation including "variant or record definition", I'm pretty sure the only path is the function I described. Unless Github is trolling me and not showing all occurences of the related error constructor
<discocaml>
<octachron> Hm, yes; the recursive module message that has been improved since was just `Their kind differ`.
<Anarchos>
there is no recursive modules in my case
<discocaml>
<._null._> So what is following `type t = M.typ` ?
<discocaml>
<._null._> `theorem_prop` is not *the declaration of* a record, so it can't be reexported as *the declaration of* a record
average has quit [Quit: Connection closed for inactivity]
<octachron>
A type declaration creates (or re-export) a new type, new fields and constructors. An abbreviation is just an abbreviation. They are not interchangeable.
pi3ce has joined #ocaml
<Anarchos>
but i see some 'type a = M.b = {a:int }'
<discocaml>
<._null._> What I wrote was a minimal example of what you did, and it won't work
<discocaml>
<._null._> Well, not exactly, but it won't work nonetheless
<Anarchos>
i find it disturbing that a type abbreviation can not be used indifferently instead of the original type
<Anarchos>
it seems i can't do '...and type t = {...}' in a module type constraint
<octachron>
Type declarations are more than types.
<octachron>
Indeed, you can't mix type declarations and abbreviation declarations.
<octachron>
The usual solution is to avoid exposing record or sum type declaration in functors.
<octachron>
Because, if every functor application requires or results in the definition of a type with exactly the same constructor or record, it is better to define this type once and lift it out of the functor.
<Anarchos>
sure, in my case the record has 2 type variables. that's why i thought to put it inside the module type exposed