adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
sepp2k has quit [Quit: Leaving.]
cross has quit [Ping timeout: 256 seconds]
nomicflux has quit [Quit: nomicflux]
yomimono has joined #ocaml
rgrinberg has joined #ocaml
cross has joined #ocaml
yomimono has quit [Ping timeout: 256 seconds]
nicoo has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
nicoo has joined #ocaml
wtetzner has quit [Remote host closed the connection]
micro___ has joined #ocaml
segmond has joined #ocaml
micro___ is now known as `micro
fre3 has quit [Ping timeout: 255 seconds]
fre3 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
jao has joined #ocaml
infinity0 has joined #ocaml
mfp has quit [Ping timeout: 255 seconds]
wtetzner has joined #ocaml
nomicflux has joined #ocaml
wtetzner has quit [Ping timeout: 248 seconds]
ygrek has quit [Ping timeout: 240 seconds]
fre3 has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
william-s has quit [Quit: WeeChat 1.7]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
fre3 has joined #ocaml
nomicflux has quit [Quit: nomicflux]
lucasem has quit [Ping timeout: 256 seconds]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
jao has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
wtetzner has joined #ocaml
nomicflux has quit [Client Quit]
wtetzner has quit [Ping timeout: 240 seconds]
snhmib has quit [Ping timeout: 264 seconds]
snhmib has joined #ocaml
lucasem has joined #ocaml
wtetzner has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
wtetzner has quit [Remote host closed the connection]
snhmib has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
snhmib has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
lujara has quit [Ping timeout: 248 seconds]
rom1504 has quit [Ping timeout: 264 seconds]
alfredo has joined #ocaml
DidierMedichon has quit [Ping timeout: 258 seconds]
lujara has joined #ocaml
lujara has quit [Changing host]
lujara has joined #ocaml
rom1504 has joined #ocaml
DidierMedichon has joined #ocaml
snhmib has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
omongo has joined #ocaml
omongo has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
snhmib has joined #ocaml
govg has joined #ocaml
jnavila has joined #ocaml
Simn has joined #ocaml
ziyourenxiang has joined #ocaml
AltGr has joined #ocaml
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
djellemah has joined #ocaml
govg has quit [Ping timeout: 258 seconds]
govg has joined #ocaml
silver has joined #ocaml
justicefries has joined #ocaml
yaewa has joined #ocaml
moei has quit [Ping timeout: 255 seconds]
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 255 seconds]
fre has joined #ocaml
nahra has quit [Remote host closed the connection]
fre3 has quit [Ping timeout: 252 seconds]
nahra has joined #ocaml
mfp has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
nahra has quit [Remote host closed the connection]
nahra has joined #ocaml
nahra has quit [Ping timeout: 264 seconds]
fre has quit [Ping timeout: 252 seconds]
fre has joined #ocaml
nahra has joined #ocaml
govg has quit [Ping timeout: 276 seconds]
_andre has joined #ocaml
govg has joined #ocaml
FreeBirdLjj has joined #ocaml
dhil has joined #ocaml
snowcrshd has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
nahra has quit [Remote host closed the connection]
nahra has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
vramana1 has joined #ocaml
vramana has quit [Ping timeout: 248 seconds]
vramana1 is now known as vramana
dhil has joined #ocaml
freusque has quit [Quit: WeeChat 1.6]
freusque has joined #ocaml
sspi has joined #ocaml
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
sepp2k has joined #ocaml
freusque has quit [Ping timeout: 255 seconds]
zv has quit [Ping timeout: 240 seconds]
malc_ has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
djellemah has quit [Ping timeout: 252 seconds]
zv has joined #ocaml
dhil has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
nomicflux has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
freusque has joined #ocaml
unbalanced has joined #ocaml
djellemah has joined #ocaml
al-damiri has joined #ocaml
nomicflux has quit [Quit: nomicflux]
agarwal1975 has quit [Quit: agarwal1975]
snhmib has quit [Ping timeout: 248 seconds]
mfp_ has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
rossberg has quit [Ping timeout: 264 seconds]
snhmib has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
malc_ has quit [Remote host closed the connection]
mengu has joined #ocaml
rossberg has joined #ocaml
agarwal1975 has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 245 seconds]
unbalanced has quit [Quit: WeeChat 1.6]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
sspi has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
FreeBird_ has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
yomimono has joined #ocaml
sh0t has joined #ocaml
jlongster has joined #ocaml
omongo has joined #ocaml
SpaceSheep has joined #ocaml
yomimono has quit [Ping timeout: 264 seconds]
larhat has joined #ocaml
omongo has quit [Quit: Leaving]
brunoro has joined #ocaml
brunoro has left #ocaml [#ocaml]
hcarty has joined #ocaml
FreeBirdLjj has joined #ocaml
beise has joined #ocaml
yomimono has joined #ocaml
beise has quit [Client Quit]
beise has joined #ocaml
beise has quit [Client Quit]
govg has quit [Ping timeout: 276 seconds]
beise has joined #ocaml
jao has joined #ocaml
larhat has quit [Quit: Leaving.]
mengu has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
SpaceSheep has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
vicfred has quit [Quit: Leaving]
bbc_ has joined #ocaml
bbc has quit [Read error: Connection reset by peer]
dhil has quit [Ping timeout: 240 seconds]
sepp2k has quit [Quit: Leaving.]
shinnya has joined #ocaml
jnavila has quit [Quit: It was time]
copy` has joined #ocaml
mengu has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 264 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
dhil has joined #ocaml
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
fre has quit [Ping timeout: 255 seconds]
yomimono has quit [Ping timeout: 255 seconds]
fre has joined #ocaml
mengu has joined #ocaml
shinnya has quit [Quit: ZNC - http://znc.in]
yomimono has joined #ocaml
shinnya has joined #ocaml
kakadu has joined #ocaml
slash^ has joined #ocaml
ygrek has joined #ocaml
jao has joined #ocaml
snhmib has quit [Ping timeout: 240 seconds]
yomimono_ has joined #ocaml
yomimono has quit [Ping timeout: 240 seconds]
fre has quit [Ping timeout: 240 seconds]
fre has joined #ocaml
philtor has joined #ocaml
snhmib has joined #ocaml
orbifx has joined #ocaml
<cheater> hi
<cheater> is Not_found some sort of standard OCaml exception?
<reynir> Yes
<reynir> hmm, can't find where it's defined
<jeroud> It's definitely used in the List module and various other places.
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<reynir> Yea, I just can't find its definition documented
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
KV has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
<DidierMedichon> reynir: Pervasives maybe?
<reynir> Error: Unbound constructor Pervasives.Not_found
Denommus has joined #ocaml
<reynir> Maybe it's built-in :o
<DidierMedichon> probably it doesn't show up in the manual https://caml.inria.fr/pub/docs/manual-ocaml/libref/index_exceptions.html
sh0t has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
<reynir> Yea
beise has quit [Ping timeout: 252 seconds]
KV has quit [Quit: leaving]
<cheater> thanks jeroud and reynir
<cheater> and DidierMedichon
fre has quit [Ping timeout: 264 seconds]
orbifx1 has joined #ocaml
fre has joined #ocaml
<Drup> and yes, it's part of the built-in
<reynir> Hmm, why is it not in Pervasives?
<Drup> huum, not sure why it's in predef, actually
<Drup> yeah, it's not used in the compiler itself, maybe just in order to avoid having pervasives change cmi on some occasion, it's a bit dubious
<Drup> (I meant "in the generated code itself)
mengu has quit [Read error: Connection reset by peer]
mengu_ has joined #ocaml
octachron has joined #ocaml
_andre has quit [Quit: leaving]
orbifx1 has quit [Ping timeout: 240 seconds]
slash^ has quit [Read error: Connection reset by peer]
idegen has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
jlongster has quit [Quit: Textual IRC Client: www.textualapp.com]
jao has joined #ocaml
snowcrshd has quit [Ping timeout: 240 seconds]
idegen is now known as oschwald
oschwald has quit [Quit: Leaving.]
oschwald has joined #ocaml
kakadu has quit [Remote host closed the connection]
jnavila has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
mengu_ has quit [Ping timeout: 264 seconds]
larhat has joined #ocaml
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
mengu has quit [Quit: Leaving...]
two_wheels has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
orbifx1 has joined #ocaml
agarwal1975 has joined #ocaml
<octachron> I think that I am missing a "for fun (and nonprofit)" label for compiler PR.
<companion_cube> not on my PR, certainly
<companion_cube> no fun in there
<Drup> octachron: just make the PR on 1st of April, and everyone will assume that the tag is present
<octachron> companion_cube, true, a "suffering ahead" label is also clearly missing
<companion_cube> it's called "stdlib" apparently :D
<companion_cube> ah right, too bad, I wanted to work on that tonight
<octachron> Drup, a 48 hours by year window feels short
<Drup> octachron: the problem is more that I note ideas every where, and I fail to actually execute them because I lack time before april each time
<Drup> every year*
MercurialAlchemi has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
mfp_ is now known as mfp
orbifx has joined #ocaml
beise has joined #ocaml
jnavila has quit [Remote host closed the connection]
mengu has joined #ocaml
bbc_ is now known as bbc
AltGr has left #ocaml [#ocaml]
two_wheels has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ollehar has joined #ocaml
Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
two_wheels has joined #ocaml
two_wheels has quit [Client Quit]
beise has quit [Ping timeout: 245 seconds]
agarwal1975 has quit [Quit: agarwal1975]
orbifx has quit [Ping timeout: 255 seconds]
larhat has quit [Quit: Leaving.]
agarwal1975 has joined #ocaml
P4Titan has joined #ocaml
P4Titan has quit [Client Quit]
P4Titan has joined #ocaml
<P4Titan> Hi all. I have a function signature where one of the arguments has a rather lengthy signature, and I use it in multiple places. Is there a way to give it an alias only for the sig ... end part?
<Drup> no
<Drup> a type present in the signature should be in the associated structure
<P4Titan> Hmmf
<P4Titan> so what should I do in this case?
<Drup> make a type alias, and put it in the module too
<P4Titan> ok
orbifx1 has quit [Ping timeout: 255 seconds]
<P4Titan> But this module I refer to is a functor
<P4Titan> so I may not want to redefine this type in all of the modules that implement it...
<Drup> hum, then you're stuck :/
<P4Titan> what if I define this type outside the sig, but don't let is go out of the scope of the file?
<Drup> does the type depends on things inside the functor arg ?
<P4Titan> nop
<Drup> then you're fine, sure
<P4Titan> also, on the note of functors
<P4Titan> I want to do: "Server(P2P).start !server_port"
<P4Titan> but I get a syntax error
<Drup> You can't do that for values, you need to bind it first
<P4Titan> Why so? What do you mean?
<Drup> the notation Foo(Bar).t is only available for types
<P4Titan> oo, ok
<Drup> you can do "let module M = Foo(Bar) in M.baz bla"
<P4Titan> ya, that's what I was thinking
<P4Titan> Thanks!
<Drup> but you need to bind it, one way or another
<P4Titan> Cool
arxanas has joined #ocaml
<Drup> P4Titan: https://caml.inria.fr/mantis/view.php?id=7140 good explanation of why you need to bind all this stuff
<P4Titan> I'll look into that. Thanks
arxanas has quit [Client Quit]
tg has quit [Ping timeout: 252 seconds]
sh0t has quit [Remote host closed the connection]
yomimono_ has quit [Ping timeout: 240 seconds]
orbifx1 has joined #ocaml
tg has joined #ocaml
wtetzner has joined #ocaml
nomicflux has joined #ocaml
yomimono_ has joined #ocaml
yomimono_ has quit [Ping timeout: 256 seconds]
beise has joined #ocaml
ollehar has quit [Quit: ollehar]
govg has joined #ocaml
FreeBirdLjj has joined #ocaml