adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
enterprisey has quit [Ping timeout: 276 seconds]
kakadu_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
enterprisey has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
enterprisey has quit [Ping timeout: 256 seconds]
bobbypriambodo__ has quit [Quit: This computer has gone to sleep]
silver has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 has quit [Killed (orwell.freenode.net (Nickname regained by services))]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
ShalokShalom has quit [Quit: Konversation terminated!]
BitPuffin|osx has quit [Ping timeout: 240 seconds]
sh0t has quit [Remote host closed the connection]
enterprisey has joined #ocaml
shinnya has joined #ocaml
enterprisey has quit [Ping timeout: 240 seconds]
cbot has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
bobbypriambodo has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
FreeBirdLjj has joined #ocaml
shinnya has quit [Ping timeout: 272 seconds]
FreeBirdLjj has quit [Ping timeout: 272 seconds]
marsam has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
bobbypriambodo has quit [Quit: This computer has gone to sleep]
Soni has quit [Ping timeout: 250 seconds]
marsam has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 240 seconds]
alexelcu has quit [Quit: The Lounge - https://thelounge.github.io]
alexelcu has joined #ocaml
mbuf has joined #ocaml
pierpa has quit [Quit: Page closed]
spew has joined #ocaml
raduom has joined #ocaml
spew has quit [Read error: Connection reset by peer]
spew has joined #ocaml
spew has quit [Read error: Connection reset by peer]
raduom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kerrhau has quit [Ping timeout: 264 seconds]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
raduom has joined #ocaml
raduom has quit [Client Quit]
dogui has quit [Ping timeout: 268 seconds]
dogui has joined #ocaml
spew has joined #ocaml
moei has quit [Quit: Leaving...]
spew has quit [Read error: Connection reset by peer]
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
jimmyrcom_ has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
donflopez has joined #ocaml
zmt00 has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
malc_ has joined #ocaml
enterprisey has quit [Ping timeout: 240 seconds]
regnat[m] has quit [Ping timeout: 276 seconds]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
regnat[m] has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
enterprisey has joined #ocaml
raduom has joined #ocaml
enterprisey has quit [Remote host closed the connection]
mbuf has quit [Remote host closed the connection]
donflopez has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
mbuf has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
mbuf has quit [Remote host closed the connection]
donflopez has quit [Quit: Textual IRC Client: www.textualapp.com]
argent_smith has joined #ocaml
cbot has quit [Quit: Leaving]
freyr has joined #ocaml
AltGr has joined #ocaml
solrize has quit [Ping timeout: 255 seconds]
barcabuona has quit [Ping timeout: 248 seconds]
mfp has joined #ocaml
zolk3ri has joined #ocaml
Soni has joined #ocaml
raduom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
johnelse has joined #ocaml
moei has joined #ocaml
johnelse is now known as johnel_away
jimmyrcom has quit [Ping timeout: 255 seconds]
johnel_away is now known as johnelse
sepp2k has joined #ocaml
dhil has joined #ocaml
ziyourenxiang has joined #ocaml
Serpent7776 has joined #ocaml
fre has quit [Quit: WeeChat 1.9.1]
raduom has joined #ocaml
jao has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 260 seconds]
Exagone313 has quit [Quit: see ya!]
Exagone313 has joined #ocaml
lopex has quit [Quit: Connection closed for inactivity]
kakadu has joined #ocaml
malina has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
johnelse has quit [Ping timeout: 256 seconds]
nullifidian has quit [Ping timeout: 248 seconds]
kakadu_ has joined #ocaml
kakadu has quit [Read error: Connection reset by peer]
malina has quit [Quit: Throwing apples of Montserrat]
johnelse has joined #ocaml
silver has joined #ocaml
freusque has joined #ocaml
bobbypriambodo has joined #ocaml
govg has joined #ocaml
shinnya has joined #ocaml
FreeBirdLjj has joined #ocaml
spew has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
spew has quit [Read error: Connection reset by peer]
shinnya has quit [Ping timeout: 260 seconds]
barcabuona has joined #ocaml
nicoo has quit [Ping timeout: 248 seconds]
nicoo has joined #ocaml
Denommus has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
barcabuona has quit [Ping timeout: 246 seconds]
barcabuona has joined #ocaml
Denommus has quit [Quit: restarting emacs]
spew has joined #ocaml
barcabuona has quit [Ping timeout: 255 seconds]
sh0t has joined #ocaml
Denommus has joined #ocaml
nicoo has quit [Ping timeout: 248 seconds]
zmt00 has joined #ocaml
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 272 seconds]
KeyJoo has quit [Remote host closed the connection]
Denommus` has quit [Quit: rebooting]
KeyJoo has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
nicoo has joined #ocaml
Jesin has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
ski_ is now known as ski
FreeBirdLjj has joined #ocaml
raduom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jbrown has quit [Ping timeout: 250 seconds]
kakadu_ has quit [Read error: No route to host]
kakadu_ has joined #ocaml
jbrown has joined #ocaml
dhil has quit [Ping timeout: 272 seconds]
lopex has joined #ocaml
jbrown has quit [Read error: Connection timed out]
jbrown has joined #ocaml
BitPuffin|osx has joined #ocaml
simon has joined #ocaml
<simon> hi. how do you cope with second-class constructors for sum types? http://adam.chlipala.net/mlcomp/ -- the comparison doesn't give any positive examples of what you do in OCaml instead.
barcabuona has joined #ocaml
freyr has quit [Remote host closed the connection]
barcabuona has quit [Ping timeout: 250 seconds]
barcabuona has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Jesin has quit [Quit: Leaving]
FreeBirdLjj has quit [Ping timeout: 264 seconds]
<companion_cube> rgrinberg: you know if it's possible to have jbuilder run tests without capturing output (like, redirecting output directly)
<companion_cube> I'm moving zipperposition to jbuilder ;-)
<rgrinberg> Not sure what you mean. Do you mean you don't want jbuilder to buffer the output? Or just discard it?
barcabuona has quit [Ping timeout: 240 seconds]
<companion_cube> I just want to avoid buffering
<companion_cube> https://github.com/c-cube/zipperposition/tree/wip-jbuilder if you want to take a look ;-)
BitPuffin|osx has quit [Ping timeout: 264 seconds]
<companion_cube> (I'm still not sure exactly how to make it work properly for the libraries)
<companion_cube> (I tried opam files, for installing just a subset of the stuff, but it's not clear to me how to declare which libraries are part of which opam package)
Jesin has joined #ocaml
ocaml736 has joined #ocaml
ocaml736 has quit [Client Quit]
TarVanimelde has joined #ocaml
<rgrinberg> There's an option to give to runtest to avoid buffering. I forgot the name though
<rgrinberg> And don't have jbuilder installed on my phone ;)
<companion_cube> --no-buffer
<companion_cube> thanks
<rgrinberg> Every lib needs an opam package if it has a public name. Unless the public name is dotted. Aka a findlib sub library
<rgrinberg> If it's an internal library then you should just avoid giving it a public name
<companion_cube> ah, it's going to look automatically for the package of the same name? neat
<companion_cube> I do have several libs with dotted sublibs
<companion_cube> neat
<companion_cube> now I understand why (package foo) only exists for binaries
<companion_cube> when you develop with jbuilder, how do you easily run the binaries?
<companion_cube> so far I'm just doing symlinks
<companion_cube> (I like `jbuilder utop`, also, that's quite neaT)
<rgrinberg> There's jbuilder exec. It works for binaries you plan to install. It's been heavily improved in master though, so it will be able to run any binary in the next release
<companion_cube> right, it's still a bit more than ./foo.native, but thanks :-)
<rgrinberg> Yeah jbuilder utop is key. Still needs a little work to be really polished though
<companion_cube> (nothing for symlinking I guess?)
<rgrinberg> Those don't work too well on Windows. Jbuilder exec in the next version will also make sure the binaries are up to date before running. So using symlinks will really be inefficient in comparison
barcabuona has joined #ocaml
<companion_cube> yeah yeah, I don't care about windows in this case, and it's only for developers
dhil has joined #ocaml
<reynir> I want to run jbuilder utop in a project that uses nocrypto, but it fails with some C undefined references :/
<rgrinberg> reynir: yeah I believe there are some issues with bytecode and c stubs. Have to investigate what's the cause
marsam has joined #ocaml
ziyourenxiang has quit [Ping timeout: 264 seconds]
<rgrinberg> companion_cube: use jbuilder exec :) it has other advantages like letting you select the build context. We want to move away from polluting the source dir, certainly for trivial cases like this
<reynir> Yea, it's unfortunate because I'm not using any of the c-strubs bits :)
johnelse has quit [Ping timeout: 256 seconds]
<copy`> reynir: Temporary workaround: `opam pin add ocb-stubblr https://github.com/hannesm/ocb-stubblr.git#fix`
barcabuona has quit [Ping timeout: 272 seconds]
<reynir> Thanks!
Serpent7776 has quit [Quit: Leaving]
AltGr has left #ocaml [#ocaml]
barcabuona has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
Anarchos has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
mk9_ has joined #ocaml
TarVanimelde has quit [Client Quit]
Denommus has joined #ocaml
mk9_ has quit [Remote host closed the connection]
mk9 has joined #ocaml
jnavila has joined #ocaml
mk9 has quit [Remote host closed the connection]
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 272 seconds]
sepp2k has quit [Quit: Leaving.]
marsam has quit [Ping timeout: 272 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
bobbypriambodo_ has joined #ocaml
bobbypriambodo has quit [Ping timeout: 256 seconds]
kakadu_ has quit [Quit: Konversation terminated!]
andreas_ has joined #ocaml
solrize has joined #ocaml
solrize has quit [Changing host]
solrize has joined #ocaml
kakadu has joined #ocaml
zolk3ri has quit [Ping timeout: 268 seconds]
zolk3ri has joined #ocaml
malina has joined #ocaml
dhil has quit [Ping timeout: 272 seconds]
malina has quit [Remote host closed the connection]
spew has joined #ocaml
barcabuona has quit [Ping timeout: 272 seconds]
Denommus` is now known as Denommus
tane has joined #ocaml
jimmyrcom_ has joined #ocaml
nullifidian has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
zolk3ri has quit [Ping timeout: 272 seconds]
madroach has quit [*.net *.split]
artart78 has quit [*.net *.split]
picolino_ has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
h11 has quit [*.net *.split]
Armael has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
artart78 has joined #ocaml
artart78 has quit [Changing host]
artart78 has joined #ocaml
Geekingfrog has joined #ocaml
picolino has joined #ocaml
h11 has joined #ocaml
jpdeplaix has joined #ocaml
madroach has joined #ocaml
zolk3ri has joined #ocaml
leah2 has quit [Ping timeout: 250 seconds]
argent_smith has quit [Quit: Leaving.]
enterprisey has joined #ocaml
jmiven has quit [Quit: co'o]
ygrek has joined #ocaml
jmiven has joined #ocaml
jlouis_ has quit [Ping timeout: 240 seconds]
micro has quit [Ping timeout: 260 seconds]
jlouis has joined #ocaml
micro has joined #ocaml
argent_smith has joined #ocaml
argent_smith has quit [Client Quit]
ahf has quit [Ping timeout: 240 seconds]
leah2 has joined #ocaml
ahf has joined #ocaml
silver has quit [Read error: Connection reset by peer]
Jesin has quit [Ping timeout: 240 seconds]
enterprisey has quit [Quit: Leaving]
jimmyrcom_ has quit [Remote host closed the connection]
silver has joined #ocaml
Jesin has joined #ocaml
jimmyrcom has joined #ocaml
Jesin has quit [Ping timeout: 255 seconds]
orbifx has joined #ocaml
jnavila has quit [Remote host closed the connection]
orbifx has quit [Ping timeout: 240 seconds]
TarVanimelde has joined #ocaml
Jesin has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
nullifidian has quit [Read error: Connection reset by peer]
nullifidian has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
tane has quit [Quit: Leaving]
samrat[m] has quit [Ping timeout: 240 seconds]
peddie[m] has quit [Ping timeout: 240 seconds]
Muzer has quit [Ping timeout: 246 seconds]
samrat[m] has joined #ocaml
peddie[m] has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
Muzer has joined #ocaml
ttmtx has joined #ocaml
navaja has joined #ocaml
Denommus has quit [Ping timeout: 272 seconds]
dtornabene has joined #ocaml
Jesin has quit [Quit: Leaving]
ttmtx has quit [Quit: Page closed]
dtornabene has quit [Quit: Leaving]