lapinou changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Public logs at http://tunes.org/~nef/logs/ocaml/
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
willy_ has joined #ocaml
willy_ has quit [Remote host closed the connection]
zpe has joined #ocaml
jonludlam has quit [Ping timeout: 255 seconds]
divyanshu has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
WraithM has joined #ocaml
oriba has quit [Ping timeout: 240 seconds]
q66 has quit [Quit: Leaving]
oriba has joined #ocaml
WraithM has quit [Ping timeout: 255 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
divyanshu has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
NoNNaN has joined #ocaml
ygrek has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
zpe has joined #ocaml
claudiuc has quit [Ping timeout: 265 seconds]
claudiuc has joined #ocaml
vpm has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 240 seconds]
NoNNaN has quit [Remote host closed the connection]
vpm has joined #ocaml
NoNNaN has joined #ocaml
ia0 has quit [Ping timeout: 252 seconds]
claudiuc_ has joined #ocaml
claudiuc has quit [Ping timeout: 265 seconds]
ia0 has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
talzeus_ has quit [Read error: Connection reset by peer]
ousado has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 240 seconds]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
ia0 has quit [Ping timeout: 252 seconds]
Khady has quit [Ping timeout: 264 seconds]
ia0 has joined #ocaml
ygrek has joined #ocaml
tlockney_away is now known as tlockney
talzeus has joined #ocaml
oriba has quit [Quit: oriba]
zzing has joined #ocaml
zpe has joined #ocaml
Khady has joined #ocaml
ia0 has quit [Ping timeout: 252 seconds]
zpe has quit [Ping timeout: 252 seconds]
ia0 has joined #ocaml
divyanshu has quit [Ping timeout: 252 seconds]
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
mdenes1 has quit [Quit: WeeChat 0.4.1]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
zzing has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zzing has joined #ocaml
Watcher7 has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zzing has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
malo has quit [Remote host closed the connection]
tidren has joined #ocaml
divyanshu has joined #ocaml
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
ivan\ has joined #ocaml
siddharthv_away is now known as siddharthv
axiles has joined #ocaml
dobblego has joined #ocaml
dobblego has left #ocaml []
claudiuc_ has quit [Remote host closed the connection]
claudiuc_ has joined #ocaml
claudiuc_ has quit [Ping timeout: 265 seconds]
yacks has quit [Read error: Operation timed out]
tlockney is now known as tlockney_away
yacks has joined #ocaml
tidren has quit [Remote host closed the connection]
_5kg has quit [Ping timeout: 240 seconds]
tidren has joined #ocaml
elfring has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
WraithM has joined #ocaml
ggole has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
_5kg has joined #ocaml
iorivur has joined #ocaml
petterw has quit [Remote host closed the connection]
_5kg has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
michel_mno is now known as michel_mno_afk
ygrek has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
Kakadu has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
<Drup> tautologico: just define an opam repository localy
hyperboreean has quit [Ping timeout: 240 seconds]
<Drup> check the opam repository tutorial for how to do it
ygrek has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
ousado has joined #ocaml
troydm has quit [Ping timeout: 252 seconds]
jbrown has quit [Remote host closed the connection]
_5kg has joined #ocaml
michel_mno_afk is now known as michel_mno
adrien_oww has quit [Quit: leaving]
adrien_oww has joined #ocaml
adrien has quit [Quit: "bleed"]
adrien has joined #ocaml
_5kg has quit [Ping timeout: 255 seconds]
lordkryss has joined #ocaml
michael_lee has joined #ocaml
michael_lee has quit [Max SendQ exceeded]
troydm has joined #ocaml
sgnb` has quit [Remote host closed the connection]
sgnb has joined #ocaml
jonludlam has joined #ocaml
johnelse_ is now known as johnelse
johnelse has quit [Quit: leaving]
johnelse has joined #ocaml
pyon has joined #ocaml
zpe has joined #ocaml
steshaw has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
steshaw has quit [Client Quit]
zpe has joined #ocaml
avsm has joined #ocaml
michael_lee has joined #ocaml
ddosia has quit [Quit: Leaving.]
steshaw has joined #ocaml
steshaw has left #ocaml []
steshaw has joined #ocaml
troydm has quit [Ping timeout: 252 seconds]
nikki93 has quit [Remote host closed the connection]
maattdd_ has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
Simn has joined #ocaml
_5kg has joined #ocaml
Thooms has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
troydm has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
jonludlam has quit [Ping timeout: 255 seconds]
nikki93 has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
ollehar has joined #ocaml
petterw has joined #ocaml
avsm has joined #ocaml
_5kg has quit [Ping timeout: 255 seconds]
avsm has quit [*.net *.split]
petterw has quit [*.net *.split]
Yoric has quit [*.net *.split]
johnelse has quit [*.net *.split]
adrien has quit [*.net *.split]
rs0_ has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
esden has quit [*.net *.split]
teiresias has quit [*.net *.split]
lopex has quit [*.net *.split]
mrvn has quit [*.net *.split]
ruzu has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
morolin has quit [*.net *.split]
ccasin has quit [*.net *.split]
adrien has joined #ocaml
mrvn has joined #ocaml
ccasin has joined #ocaml
teiresias has joined #ocaml
avsm has joined #ocaml
petterw has joined #ocaml
rgrinberg has joined #ocaml
morolin has joined #ocaml
NoNNaN has quit [Read error: Connection reset by peer]
petterw has quit [*.net *.split]
ggole has quit [*.net *.split]
talzeus has quit [*.net *.split]
patronus_ has quit [*.net *.split]
araujo has quit [*.net *.split]
willb1 has quit [*.net *.split]
keen_ has quit [*.net *.split]
Cypi has quit [*.net *.split]
rz has quit [*.net *.split]
beurks has quit [*.net *.split]
rom1504 has quit [*.net *.split]
jzelinskie has joined #ocaml
beurks has joined #ocaml
Yoric has joined #ocaml
companion_cube has quit [*.net *.split]
hto has quit [*.net *.split]
rossberg has quit [*.net *.split]
robink has quit [*.net *.split]
termos has quit [*.net *.split]
passiveobserver has quit [*.net *.split]
j0sh has quit [*.net *.split]
diginux has quit [*.net *.split]
__marius___ has quit [*.net *.split]
igitoor has quit [*.net *.split]
stomp has quit [*.net *.split]
companion_cube has joined #ocaml
Cypi has joined #ocaml
robink has joined #ocaml
lopex has joined #ocaml
rossberg has joined #ocaml
rs0 has joined #ocaml
araujo has joined #ocaml
talzeus has joined #ocaml
termos has joined #ocaml
__marius___ has joined #ocaml
ruzu has joined #ocaml
ggole has joined #ocaml
willb1 has joined #ocaml
__marius___ has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
teiresias has quit [*.net *.split]
thomasga has quit [*.net *.split]
ousado has quit [*.net *.split]
iorivur has quit [*.net *.split]
[BNC]dant3 has quit [*.net *.split]
bartbes_ has quit [*.net *.split]
yroeht2 has quit [*.net *.split]
ohama has quit [*.net *.split]
rwmjones has quit [*.net *.split]
Mandus has quit [*.net *.split]
saarin has quit [*.net *.split]
Mandus has joined #ocaml
yroeht2 has joined #ocaml
jzelinskie has joined #ocaml
ousado has joined #ocaml
bartbes has joined #ocaml
ohama has joined #ocaml
thomasga has joined #ocaml
__marius___ has joined #ocaml
rs0 has quit [*.net *.split]
ollehar has quit [*.net *.split]
Thooms has quit [*.net *.split]
zpe has quit [*.net *.split]
mal`` has quit [*.net *.split]
milosn has quit [*.net *.split]
yan_ has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
thorsten` has quit [*.net *.split]
imortalk has quit [*.net *.split]
basus1 has quit [*.net *.split]
Muzer has quit [*.net *.split]
Armael has quit [*.net *.split]
mbac has quit [*.net *.split]
cross has quit [*.net *.split]
kerneis has quit [*.net *.split]
zarul has quit [*.net *.split]
finnrobi has quit [*.net *.split]
pango has quit [*.net *.split]
emias has quit [*.net *.split]
marky has quit [*.net *.split]
nicoo has quit [*.net *.split]
emias has joined #ocaml
milosn has joined #ocaml
ollehar has joined #ocaml
nickmeharry has joined #ocaml
basus1 has joined #ocaml
zarul has joined #ocaml
zarul has quit [Changing host]
zarul has joined #ocaml
imortalk has joined #ocaml
Armael has joined #ocaml
Thooms has joined #ocaml
iorivur has joined #ocaml
cross has joined #ocaml
Kakadu has quit [*.net *.split]
Ronan_ has quit [*.net *.split]
nicoo has joined #ocaml
nicoo has quit [Changing host]
nicoo has joined #ocaml
teiresias has joined #ocaml
saarin has joined #ocaml
stomp has joined #ocaml
gargawel has quit [Quit: Lost terminal]
esden has joined #ocaml
mal`` has joined #ocaml
johnelse has joined #ocaml
dant3 has joined #ocaml
igitoor has joined #ocaml
zpe has joined #ocaml
keen_ has joined #ocaml
jpdeplaix has joined #ocaml
mbac has joined #ocaml
rwmjones has joined #ocaml
pango has joined #ocaml
marky has joined #ocaml
marky has quit [Changing host]
marky has joined #ocaml
Muzer has joined #ocaml
yan_ has joined #ocaml
patronus has joined #ocaml
thorsten` has joined #ocaml
j0sh has joined #ocaml
finnrobi has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
divyanshu has joined #ocaml
kerneis has joined #ocaml
petterw has joined #ocaml
rom1504 has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
lopex has quit [Changing host]
lopex has joined #ocaml
rossberg has quit [Changing host]
rossberg has joined #ocaml
termos has quit [Changing host]
termos has joined #ocaml
ollehar has joined #ocaml
jzelinskie has quit [Changing host]
jzelinskie has joined #ocaml
__marius___ has quit [Changing host]
__marius___ has joined #ocaml
Kakadu has joined #ocaml
Kakadu has quit [Changing host]
Kakadu has joined #ocaml
passiveobserver has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
hto has joined #ocaml
diginux has joined #ocaml
teiresias has quit [*.net *.split]
iorivur has quit [*.net *.split]
thomasga has quit [*.net *.split]
bartbes has quit [*.net *.split]
ousado has quit [*.net *.split]
rossberg has quit [*.net *.split]
lordkryss has quit [*.net *.split]
darkf has quit [*.net *.split]
flux has quit [*.net *.split]
saml has quit [*.net *.split]
tianon has quit [*.net *.split]
chris2 has quit [*.net *.split]
gustav_ has quit [*.net *.split]
Nahra has quit [*.net *.split]
knz has quit [*.net *.split]
tchell has quit [*.net *.split]
bitbckt has quit [*.net *.split]
_habnabit has quit [*.net *.split]
gereedy has quit [*.net *.split]
gustav_ has joined #ocaml
bartbes has joined #ocaml
tianon has joined #ocaml
tchell has joined #ocaml
bartbes has quit [Changing host]
bartbes has joined #ocaml
knz has joined #ocaml
tianon has quit [Changing host]
tianon has joined #ocaml
darkf has joined #ocaml
rossberg has joined #ocaml
lordkryss has joined #ocaml
ousado has joined #ocaml
flux has joined #ocaml
chris2 has joined #ocaml
teiresias has joined #ocaml
iorivur has joined #ocaml
thomasga has joined #ocaml
rs0 has joined #ocaml
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
gargawel has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
knz has quit [Read error: Network is unreachable]
kerneis has quit [Quit: leaving]
kerneis has joined #ocaml
rand000 has joined #ocaml
stomp has quit [Ping timeout: 264 seconds]
lordkryss has quit [Read error: Connection reset by peer]
lordkryss has joined #ocaml
NoNNaN has joined #ocaml
tianon has quit [Ping timeout: 264 seconds]
igitoor has quit [Ping timeout: 264 seconds]
tianon has joined #ocaml
igitoor has joined #ocaml
siddharthv is now known as siddharthv_away
stomp has joined #ocaml
_habnabit has joined #ocaml
knz has joined #ocaml
gereedy has joined #ocaml
_5kg has joined #ocaml
pango has quit [*.net *.split]
Thooms has quit [*.net *.split]
Armael has quit [*.net *.split]
cross has quit [*.net *.split]
__marius___ has quit [*.net *.split]
ohama has quit [*.net *.split]
termos has quit [*.net *.split]
talzeus has quit [*.net *.split]
Cypi has quit [*.net *.split]
araujo has quit [*.net *.split]
lopex has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
Simn has quit [*.net *.split]
pyon has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
tidren has quit [*.net *.split]
yacks has quit [*.net *.split]
iZsh has quit [*.net *.split]
devn_ has quit [*.net *.split]
gasche_ has quit [*.net *.split]
olasd has quit [*.net *.split]
rta has quit [*.net *.split]
cantstanya has quit [*.net *.split]
maufred has quit [*.net *.split]
cthuluh has quit [*.net *.split]
siddharthv_away has quit [*.net *.split]
acieroid has quit [*.net *.split]
smondet has quit [*.net *.split]
mk270 has quit [*.net *.split]
nk0 has quit [*.net *.split]
rixed has quit [*.net *.split]
the-gibson has quit [*.net *.split]
shalicke has quit [*.net *.split]
whitequark has quit [*.net *.split]
vbmithr has quit [*.net *.split]
tlockney_away has quit [*.net *.split]
deavid has quit [*.net *.split]
dinosaure has quit [*.net *.split]
ggherdov_ has quit [*.net *.split]
_tca has quit [*.net *.split]
strmpnk has quit [*.net *.split]
bitbckt has joined #ocaml
olasd has joined #ocaml
acieroid has joined #ocaml
adrien_oww has joined #ocaml
the-gibson has joined #ocaml
the-gibson has quit [Changing host]
the-gibson has joined #ocaml
Cypi has joined #ocaml
smondet has joined #ocaml
vbmithr has joined #ocaml
siddharthv_away has joined #ocaml
yacks has joined #ocaml
dinosaure has joined #ocaml
maufred has joined #ocaml
mk270 has joined #ocaml
tlockney_away has joined #ocaml
Armael has joined #ocaml
pango has joined #ocaml
shalicke has joined #ocaml
rgrinberg has joined #ocaml
gasche has joined #ocaml
cthuluh has joined #ocaml
Simn has joined #ocaml
cross has joined #ocaml
ohama has joined #ocaml
iZsh has joined #ocaml
tlockney_away is now known as tlockney
tidren has joined #ocaml
talzeus has joined #ocaml
termos has joined #ocaml
deavid has joined #ocaml
termos has quit [Changing host]
termos has joined #ocaml
strmpnk has joined #ocaml
Thooms has joined #ocaml
araujo has joined #ocaml
rta has joined #ocaml
cantstanya has joined #ocaml
pyon has joined #ocaml
flux has quit [Write error: Broken pipe]
flx_ has joined #ocaml
flx_ is now known as flux
igitoor has quit [Changing host]
igitoor has joined #ocaml
_tca has joined #ocaml
whitequark has joined #ocaml
lopex has joined #ocaml
__marius___ has joined #ocaml
nk0 has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
devn has joined #ocaml
ddosia has joined #ocaml
Cypi has quit [*.net *.split]
pango has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
the-gibson has quit [*.net *.split]
acieroid has quit [*.net *.split]
cross has quit [*.net *.split]
rand000 has quit [*.net *.split]
gargawel has quit [*.net *.split]
tchell has quit [*.net *.split]
ollehar has quit [*.net *.split]
rom1504 has quit [*.net *.split]
finnrobi has quit [*.net *.split]
mbac has quit [*.net *.split]
johnelse has quit [*.net *.split]
imortalk has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
ruzu has quit [*.net *.split]
companion_cube has quit [*.net *.split]
Yoric has quit [*.net *.split]
morolin has quit [*.net *.split]
avsm has quit [*.net *.split]
mrvn has quit [*.net *.split]
sgnb has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
nickmeharry has joined #ocaml
finnrobi has joined #ocaml
Asmadeus has joined #ocaml
mrvn has joined #ocaml
rand000 has joined #ocaml
Cypi has joined #ocaml
tchell has joined #ocaml
adrien_oww has joined #ocaml
the-gibson has joined #ocaml
the-gibson has quit [Changing host]
the-gibson has joined #ocaml
ollehar has joined #ocaml
acieroid has joined #ocaml
companion_cube has joined #ocaml
imortalk has joined #ocaml
morolin has joined #ocaml
gargawel has joined #ocaml
sgnb has joined #ocaml
avsm has joined #ocaml
cross has joined #ocaml
bjorkintosh has joined #ocaml
pango has joined #ocaml
Yoric has joined #ocaml
mbac has joined #ocaml
johnelse has joined #ocaml
rom1504 has joined #ocaml
ruzu has joined #ocaml
Hannibal_Smith has joined #ocaml
ggherdov_ has joined #ocaml
lopex has quit [Read error: Connection timed out]
steshaw has left #ocaml []
divyanshu has joined #ocaml
lopex has joined #ocaml
yacks has quit [Quit: Leaving]
yacks has joined #ocaml
maattdd_ has joined #ocaml
michael_lee has quit [Read error: Connection reset by peer]
siddharthv_away is now known as siddharthv
ygrek has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
ollehar1 has joined #ocaml
thomasga has quit [Ping timeout: 252 seconds]
Hannibal_Smith has quit [Quit: Sto andando via]
yacks has quit [Ping timeout: 255 seconds]
michael_lee has joined #ocaml
steshaw has joined #ocaml
steshaw has quit [Quit: Leaving.]
yacks has joined #ocaml
shinnya has joined #ocaml
talzeus has quit [Remote host closed the connection]
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
tidren has quit [Remote host closed the connection]
Simn has quit [Read error: Network is unreachable]
ousado has quit [Remote host closed the connection]
Simn has joined #ocaml
ousado has joined #ocaml
termos has quit [Ping timeout: 252 seconds]
flx_ has joined #ocaml
flx_ is now known as Guest95409
termos has joined #ocaml
lopex has quit [Read error: Network is unreachable]
bitbckt has quit [Ping timeout: 252 seconds]
gereedy has quit [Ping timeout: 252 seconds]
stomp has quit [Ping timeout: 252 seconds]
strmpnk has quit [Read error: Connection reset by peer]
iorivur has quit [Quit: No Ping reply in 180 seconds.]
bartbes has quit [Remote host closed the connection]
strmpnk has joined #ocaml
lopex has joined #ocaml
iorivur has joined #ocaml
ollehar1 has quit [Ping timeout: 265 seconds]
bartbes has joined #ocaml
ocp has joined #ocaml
rossberg has quit [Ping timeout: 252 seconds]
siddharthv is now known as siddharthv_away
igitoor has quit [Ping timeout: 252 seconds]
wwilly_ has joined #ocaml
rta has quit [Ping timeout: 252 seconds]
olasd has quit [Ping timeout: 252 seconds]
_habnabit has quit [Ping timeout: 252 seconds]
rwmjones has quit [Ping timeout: 252 seconds]
wwilly_ has quit [Client Quit]
igitoor has joined #ocaml
flux has quit [Remote host closed the connection]
Guest95409 is now known as flux
_habnabit has joined #ocaml
_habnabit has quit [Changing host]
_habnabit has joined #ocaml
rossberg has joined #ocaml
olasd has joined #ocaml
stomp has joined #ocaml
gereedy has joined #ocaml
bitbckt has joined #ocaml
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
rwmjones has joined #ocaml
araujo has quit [Quit: Leaving]
<bernardofpc> The following packages have been UPDATED upstream: - camlp5.6.11 - coq.8.4pl2
rta has joined #ocaml
<bernardofpc> ^ what exactly should I do with this kind of message ?
<bernardofpc> opam upgrade does nothing, but I do have coq.8.4pl2 installed... so should I rebuild it ? how ?
_andre has joined #ocaml
<companion_cube> I think that's ok
<adrien_oww> you're a lumberjack
araujo has joined #ocaml
<bernardofpc> "ok" to rebuild ?
<bernardofpc> or "ok" to "do nothing" ?
igitoor has quit [Changing host]
igitoor has joined #ocaml
<companion_cube> do nothing
<companion_cube> if you try opam upgrade , you may not have anything to update imho
zarul has quit [Remote host closed the connection]
troydm has quit [Ping timeout: 252 seconds]
zarul has joined #ocaml
zarul has quit [Remote host closed the connection]
zarul has joined #ocaml
avsm has joined #ocaml
zzing has joined #ocaml
zzing has quit [Client Quit]
divyanshu has quit [Quit: Computer has gone to sleep.]
thomasga has joined #ocaml
<kerneis> ocamlopt.opt returns "Fatal error: exception Stack_overflow" when I try to compile a large file :-(
troydm has joined #ocaml
darkf has quit [Quit: Leaving]
<flux> large as in machine-generated?
<kerneis> yes, 5.4MB
<flux> file an issue about it :)
<flux> it could be it could be addressed by changing the generator a bit
<kerneis> ok
<kerneis> it's a bit hard to reduce this to a minimal case, but I'll try
<kerneis> ocamlc.opt handles it correctly btw
talzeus has joined #ocaml
talzeus_ has joined #ocaml
talzeus has quit [Ping timeout: 252 seconds]
<ggole> Could be mapping a huge list
<kerneis> I have a minimal test case
<ggole> A lot of the stdlib functions are not tail recursive, so they can blow the stack
<adrien_oww> and ocamlopt (not .opt) errors out too?
<kerneis> yes
<adrien_oww> you can raise the stack limit for bytecode
<adrien_oww> but overall, the trace would be helfpul in a bug report
<kerneis> ok
<whitequark> where is canonical source for ocaml-inotify?!
<whitequark> it seems to have been updated to 1.4 recently, but I can't even find 1.4 anywhere
<whitequark> oh, tps://github.com/seanmcl/ocaml-inotify
<kerneis> adrien_oww: Fatal error: exception Stack_overflow
<kerneis> (Cannot print stack backtrace: program not linked with -g)
<ggole> You could try raising the stack limit with, I think, ulimit -Ss 32768
<ggole> That won't inform you of the source of the problem, but it may let you compile your code.
<flux> kerneis, did you link it with -g?-)
<ggole> He probably did not build the compiler
<kerneis> this is how opam builds the compiler apparently
<ggole> (Er, I shouldn't assume that kerneis is a he. Sorry.)
<kerneis> ggole: no offence, you must assume *something* after all
<kerneis> (and, as a matter of fact, I am)
<ggole> Well, I could just use your name there without too much damage to the sentence.
<kerneis> someone recently assumed I spoke German because of my name --- that was fun
<ggole> Mmm, assumptions are very easy to fall into.
divyanshu has joined #ocaml
<whitequark> or "they"
<kerneis> Upload File (Maximum size: 2,097k)
<kerneis> hmmm
cantstanya has quit [Changing host]
cantstanya has joined #ocaml
thomasga has quit [Quit: Leaving.]
<adrien_oww> kerneis: ='(
<adrien_oww> 100 % 135.9 KiB / 5,459.9 KiB = 0.025 0:02
<adrien_oww> xz is <3
<adrien_oww> -rw-r--r-- 1 adrien users 245K Apr 8 15:29 gistfile1.ml.gz
<adrien_oww> -rw-r--r-- 1 adrien users 136K Apr 8 15:29 gistfile1.ml.xz
<kerneis> ah, I could have done that indeed
<kerneis> I guess I'm too young to know those tools
<adrien_oww> xz is fairly recent :)
michel_mno has quit [Ping timeout: 240 seconds]
nlucaroni has joined #ocaml
thomasga has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
michel_mno has joined #ocaml
rand000 has quit [Ping timeout: 264 seconds]
rand000 has joined #ocaml
zzing has joined #ocaml
zzing has quit [Client Quit]
michel_mno has quit [Ping timeout: 255 seconds]
michel_mno has joined #ocaml
michel_mno has quit [Ping timeout: 240 seconds]
tizoc has quit [Quit: Coyote finally caught me]
mort___ has joined #ocaml
tizoc has joined #ocaml
divyanshu has quit [Ping timeout: 265 seconds]
mk270 has left #ocaml []
mk270 has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
divyanshu has joined #ocaml
troydm has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
<chris2> i'm trying to understand ocamlmktop... i use ocamlmktop -I _build -o foo _build/a.cmo _build/b.cmo
<chris2> but i can only "open A;;" when i run ./foo -I _build
<chris2> shouldnt that stuff builtin somehow?
<companion_cube> I'm sorry, I never used ocamlmktop
* chris2 ponders just making a init file
<companion_cube> .ocamlinit files are cool, indeed
<ggole> I usually make a .ocamlinit and #cd in it
<ggole> You tend to want to install printers and maybe make some short module names for toplevelling anyway
<chris2> yeah
michel_mno has joined #ocaml
<ggole> By the way, if you are using ocamlbuild, there's a nice shortcut for making toplevels
<chris2> but i kinda expected ocamlmktop to result in a standalone byte file
<chris2> not sure why it needs -I at all
<ggole> Create a toplevel.mltop with a list of the names of the modules you want included, and then ocamlbuild toplevel.top
<ggole> Otherwise it can't find the .cmo files it links to
<adrien_oww> no
<adrien_oww> .ocamlinit files are PURE CRAP
<ggole> They're fine for testing stuff in the toplevel
<adrien_oww> I shall explain
<adrien_oww> ".ocamlinit" in $PWD is awful
<adrien_oww> remove the '.' and I'm fine with them
<ggole> They could be problematic if you want to distribute them to other devs
<ggole> Since you lose access to whatever happens to be in ~/.ocamlinit
<ggole> I don't understand the issue: how is that different to any other dotfile?
zzing has joined #ocaml
<adrien_oww> because they're read from the _current_ directory and not only $HOME
<adrien_oww> they're hidden
<adrien_oww> if I make you clone a repository and you then run 'ocaml' from it, I've gotten you to run any code I wanted
<ggole> If I'm cloning an untrusted repository, I'm in pretty hot water anyway :)
<ggole> But point taken.
<hcarty> companion_cube: I replied to your email, but to repeat - yes, more frequent releases! Particularly patch-level bugfix and backwards-compatible minor releases.
zzing has quit [Ping timeout: 265 seconds]
<hcarty> companion_cube: Of course it's easy for me to say that as a Batteries user who only contributes code infrequently.
<adrien_oww> ggole: thing is you only have to 'cd' into the directory
<companion_cube> o/ hcarty
siddharthv_away is now known as siddharthv
<hcarty> companion_cube: Greetings
<ggole> adrien_oww: so you'd what, write a wrapper script that passed -init some_explicit_file.ocamlinit?
<companion_cube> it looks like Core does something like this, they release pretty often
<adrien_oww> ggole: s/.ocamlinit/ocamlinit/
<hcarty> I'm not sure how their release numbering works as they seem to introduce backwards-incompatible changes without major version number bumps.
<hcarty> It would be nice if Batteries maintained its current adherence to semantic versioning
<companion_cube> right
<companion_cube> just bumping the third component would do.
<companion_cube> (although currently we have some new features)
malo has joined #ocaml
clog has joined #ocaml
wormphlegm has joined #ocaml
cow-orker has joined #ocaml
hnrgrgr has joined #ocaml
basus1 has joined #ocaml
Khady has joined #ocaml
ivan\ has joined #ocaml
nikki93 has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
Valdo has joined #ocaml
cdidd has joined #ocaml
alex_nx has joined #ocaml
saml has joined #ocaml
maurer has joined #ocaml
axiles has joined #ocaml
Enjolras has joined #ocaml
Enjolras has quit [Changing host]
Enjolras has joined #ocaml
brendan has joined #ocaml
asmanur has joined #ocaml
Guest16571 has joined #ocaml
Watcher7 has joined #ocaml
julm has joined #ocaml
zzing has joined #ocaml
siddharthv is now known as siddharthv_away
zzing has quit [Ping timeout: 265 seconds]
lostcuaz has joined #ocaml
lostcuaz has quit [Read error: Connection reset by peer]
lostcuaz has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
iorivur has quit [Ping timeout: 265 seconds]
fayden has joined #ocaml
<pippijn> gasche: Boris Düdder, Moritz Martens and Jakob Rehof. Staged Composition Synthesis
* whitequark is entirely puzzled by opam's behavior
Guest16571 is now known as amiller
<whitequark> opam upgrade says: 8 to reinstall | 1 to upgrade | 25 to downgrade
amiller has quit [Changing host]
amiller has joined #ocaml
<whitequark> how on earth is that "upgrade"?!
<whitequark> now it's even this: 8 to reinstall | 0 to upgrade | 25 to downgrade
<adrien_oww> :P
<gasche> whitequark: trunk opam versions can explain to you the choices they make
<gasche> also you need to use an external solver
<gasche> pippijn: yeah, I know about that brand of work, I met them at last year's ESOP
<gasche> are they presenting their work at ESOP right now?
divyanshu has quit [Quit: Textual IRC Client: www.textualapp.com]
Thooms has quit [Quit: WeeChat 0.3.8]
Hannibal_Smith has joined #ocaml
ygrek has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
tane has joined #ocaml
<whitequark> how do I properly specify a conditional dependency in oasis?
ikaros has joined #ocaml
<whitequark> e.g. "only build Lwt_inotify if --enable-lwt is passed"
<companion_cube> use a Flag
<whitequark> yeah, I just looked at Lwt, too
michel_mno is now known as michel_mno_afk
<companion_cube> at first glance, it does
<whitequark> \o/ it works
Kakadu has quit [Quit: Page closed]
<companion_cube> oasis makes ./configure really easy :)
malvarez has joined #ocaml
<whitequark> it does.
<pippijn> gasche: yes
tane has quit [Quit: Verlassend]
nikki93 has quit [Ping timeout: 240 seconds]
q66 has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
watermind has joined #ocaml
boogie has joined #ocaml
malvarez has quit [Ping timeout: 240 seconds]
Kakadu has joined #ocaml
malvarez has joined #ocaml
unknownmosquito has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
imortalk has quit [Ping timeout: 264 seconds]
lordkryss_ has joined #ocaml
ocp has quit [Ping timeout: 246 seconds]
watermind has joined #ocaml
thomasga has quit [Quit: Leaving.]
WraithM has joined #ocaml
avsm has quit [Quit: Leaving.]
Hannibal_Smith has joined #ocaml
msch has joined #ocaml
refaktor has joined #ocaml
tidren has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
thomasga has joined #ocaml
<elfring> Did anybody try to build OCaml software with the tool "CMake" already?
Arsenik has joined #ocaml
<Drup> Use oasis already.
nikki93 has joined #ocaml
<adrien> cmake...
<adrien> the horror
<unknownmosquito> aint that the truth
<elfring> Is the tool "http://oasis.forge.ocamlcore.org/" mature enough?
<Drup> yes
claudiuc has joined #ocaml
<mrvn> since when does cmake support ocaml?
<adrien> I don't think it does
mort___ has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
michael_lee has quit [Quit: Ex-Chat]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
thomasga has quit [Quit: Leaving.]
<whitequark> cmake seems fine to me
<whitequark> (but I wish they used e.g. Lua instead of a homegrown DSL)
<adrien> their dsl is complete crap
<adrien> it's macros, it's ugly, it's worse than viml and it's inconsisten
<adrien> t
<adrien> basically it's COBOL, PHP and m4 in a single language
<adrien> yeah, remove the dsl and you might get something fine(*)
tidren has quit [Remote host closed the connection]
<adrien> but the dsl is something that defines the tool
<adrien> (*) it lacks support in some fields, most notably cross-compilation and it seems the people behind it insist on reinventing everything
Yoric has joined #ocaml
<unknownmosquito> what's m4
<adrien> template language
<mrvn> a macro language
<unknownmosquito> gotcha
<adrien> true
tidren has joined #ocaml
tidren has quit [Remote host closed the connection]
<unknownmosquito> soo I'm basically hanging out in here because I'm ocaml-curious lol, just for the record
<unknownmosquito> there aren't too many folks in here so I thought I'd say that
<unknownmosquito> just sort of interested to see how the community is generally
<unknownmosquito> i'm glad the channel doesnt appear to be a ghost town
refaktor has quit [Quit: Lost terminal]
<malvarez> well I'm glad to see that more and more people are curious about ocaml
Submarine has quit [Remote host closed the connection]
<unknownmosquito> well I need a new language for messing around with outside of work, because I got a job that's writing primarily Python and that used to be my "fun" language. I decided I wanted something high level, statically typed, and that compiles to native bytecode
<unknownmosquito> and I played with Haskell a bit over the summer and enjoyed that
<unknownmosquito> and I interviewed with Jane Street in NY over the summer also, and they use OCaml for everything and that piqued my interest
<unknownmosquito> but OCaml seems like it fits the bill for "something different" to make me a better coder -- considered a few other languages, Rust and Go among others, but IDK, I keep coming back to OCaml, it seems to be what I want to write in
_andre has quit [Quit: leaving]
lordkryss_ has quit [Quit: Connection closed for inactivity]
tnguyen has quit [Remote host closed the connection]
troydm has joined #ocaml
ggole has quit []
sgnb has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
robink has quit [Remote host closed the connection]
elfring has quit [Quit: Konversation terminated!]
robink has joined #ocaml
<Drup> unknownmosquito: you should read this if you haven't already : http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/
Arsenik has quit [Remote host closed the connection]
Thooms has joined #ocaml
<gargawel> Hi, does anyone know a quick and easy way to decompose a float into the underlying sign/mantissa/exponent representation ?
<gargawel> It wouldn't be hard to do it in C and call that function from OCaml, I'm just wondering whether there is an existing lib that would spare me the burden of writing those 50 lines of code.
<Drup> gargawel: found it : BatFloat.frexp
<Drup> and signbit for the sign
<Drup> oh, it's in the stdlib already, in fact
<gargawel> Drup: <3 Thanks :)
<gargawel> frexp as well ?
<Drup> yes, in Pervasives
<gargawel> heeeey: val frexp : float -> float * int
<gargawel> why is the significand a float in the return type ?
<Drup> 1.foo
<gargawel> Oh.
<nlucaroni> probably since it's between 0 and 1 .
<Drup> 0.foo, then
<gargawel> Just getting the "integer" value of the corresponding bits would be easier to handle, but OK
<gargawel> that's not too hard to get
<unknownmosquito> wow this is cool Drup
<unknownmosquito> thanks for the link
<unknownmosquito> (also holy crap how that like five line sample of Python expanded to several hundred lines of ATS)
<Drup> that's normal
avsm has quit [Quit: Leaving.]
<unknownmosquito> haha I'd never heard of ATS before but it doesn't sound like fun
Hannibal_Smith has quit [Quit: Sto andando via]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<unknownmosquito> "Go is worse than OCaml in just about every respect" LOL
Yoric has quit [Quit: Instantbird 1.5a1pre -- http://www.instantbird.com]
malvarez has quit [Ping timeout: 240 seconds]
thomasga has quit [Quit: Leaving.]
malvarez has joined #ocaml
axiles has quit [Remote host closed the connection]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Kakadu has quit [Quit: Konversation terminated!]
lordkryss_ has joined #ocaml
ivan\ has joined #ocaml
Submarine has quit [Remote host closed the connection]
steshaw has joined #ocaml
nikki93 has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
nlucaroni has quit [Quit: leaving]
steshaw has quit [Quit: Leaving.]
lpw25 has joined #ocaml
Thooms has quit [Ping timeout: 240 seconds]
jwatzman|work has joined #ocaml
darkf has joined #ocaml
Simn has quit [Quit: Leaving]
lpw25 has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
julm has quit [Ping timeout: 246 seconds]
cthuluh has quit [Ping timeout: 255 seconds]
julm has joined #ocaml
cthuluh has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
ikaros has quit [Quit: Ex-Chat]
tautologico has joined #ocaml
<whitequark> probably the only thing go excels at is attracting c coders to something slightly less horrible
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
unknownmosquito has quit [Ping timeout: 240 seconds]
<tautologico> in many situation, yes. but if you don't want (or can't use) a GC, Go can't help you. so it's not really a replacement for C/C++
<malvarez> Ja
<malvarez> i never understood the hype with go myself
<malvarez> but i know a few python guys that are ok with no type safety and love it
nikki93 has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
jwatzman|work has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
maattdd_ has quit [Ping timeout: 264 seconds]
malvarez has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]