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?
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 :)