adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
pierpal has joined #ocaml
mfp has quit [Ping timeout: 250 seconds]
sonologico has quit [Ping timeout: 268 seconds]
hannes has quit [Ping timeout: 252 seconds]
hannes` has joined #ocaml
rambocoder has quit [Quit: Connection closed for inactivity]
shmibs has quit [Quit: leaving =o]
shmibs has joined #ocaml
silver has quit [Quit: rakede]
deltafarce has joined #ocaml
deltafarce has left #ocaml [#ocaml]
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
kvda has joined #ocaml
maarhart has joined #ocaml
maarhart has quit [Excess Flood]
maarhart has joined #ocaml
maarhart has quit [Excess Flood]
maarhart has joined #ocaml
maarhart has quit [Remote host closed the connection]
zmt01 has joined #ocaml
zmt00 has quit [Ping timeout: 264 seconds]
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
themsay has quit [Ping timeout: 246 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AnAverageHuman has joined #ocaml
keep_learning_M has quit [Quit: This computer has gone to sleep]
kvda has joined #ocaml
keep_learning_M has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 268 seconds]
sonologico has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
gravicappa has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<cemerick> I'd like to be able to recover the value behind a set of variants, but it looks like that's not possible if the types are divergent. I suspect not, but is there any way to have the unification of those types deferred? https://gist.github.com/cemerick/9513c5448b7f16c839119043af796683
<cemerick> e.g. if I only ever access the `info` field of the returned nodes, then it'd be nice if the compiler just ignored whether or not `'a` is the same or not
<cemerick> otherwise, it seems I'd have to write a bunch of accessors over `t`, which would get pretty annoying proportional to the number/depth of the fields in question
AnAverageHuman has quit [Ping timeout: 256 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
gravicappa has quit [Ping timeout: 246 seconds]
kvda has joined #ocaml
kvda has quit [Client Quit]
kvda has joined #ocaml
<sagax> hi all!
<sagax> what awesome plugins for vim we have?
<sagax> in ocaml context
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<companion_cube> 'rgrinberg/vim-ocaml'
<companion_cube> and merlin
jao has quit [Ping timeout: 245 seconds]
<sagax> thanks
tane has joined #ocaml
kvda has joined #ocaml
kvda has quit [Client Quit]
sz0 has joined #ocaml
carlosdagos has joined #ocaml
<_y> and ocp-indent
dhil has joined #ocaml
TheLemonMan has joined #ocaml
mfp has joined #ocaml
carlosdagos has quit [Read error: Connection reset by peer]
hannes` has quit [Read error: Connection reset by peer]
hannes has joined #ocaml
carlosdagos has joined #ocaml
kvda has joined #ocaml
themsay has joined #ocaml
ggole has joined #ocaml
dimitarvp has joined #ocaml
sonologico has quit [Remote host closed the connection]
themsay has quit [Ping timeout: 268 seconds]
carlosda1 has joined #ocaml
carlosdagos has quit [Ping timeout: 246 seconds]
kalio has quit [Ping timeout: 255 seconds]
kalio has joined #ocaml
carlosdagos has joined #ocaml
carlosda1 has quit [Ping timeout: 244 seconds]
freyr69 has joined #ocaml
carlosda1 has joined #ocaml
carlosda1 has quit [Client Quit]
silver has joined #ocaml
carlosda1 has joined #ocaml
carlosdagos has quit [Ping timeout: 244 seconds]
carlosda1 has quit [Client Quit]
Guest28148 has joined #ocaml
Guest28148 has quit [Remote host closed the connection]
gravicappa has joined #ocaml
tane has quit [Quit: Leaving]
dimitarvp has quit [Quit: Bye]
Haudegen has joined #ocaml
carlosdagos has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dhil has quit [Ping timeout: 250 seconds]
dhil has joined #ocaml
dhil has quit [Ping timeout: 268 seconds]
notnotda1 has quit [Quit: leaving]
Amaan has left #ocaml [#ocaml]
kvda has joined #ocaml
kvda has quit [Client Quit]
hannes` has joined #ocaml
hannes has quit [Read error: Connection reset by peer]
tane has joined #ocaml
jao has joined #ocaml
Netsu has joined #ocaml
Netsu has quit [Client Quit]
dhil has joined #ocaml
Birdface has joined #ocaml
nalc has joined #ocaml
nalc has quit [Client Quit]
catern has quit [Excess Flood]
catern has joined #ocaml
freyr69 has quit [Remote host closed the connection]
Netsu has joined #ocaml
<Netsu> hi there, trying to build https://github.com/dbuenzli/hmap/blob/master/opam but get "Cannot find file topfind. Unknown directive `require'." What can I miss?
<companion_cube> were you running `#use "topfind";;` ?
<Netsu> companion_cube: I'm not, hmap author -- does" https://github.com/dbuenzli/hmap/blob/master/pkg/pkg.ml#L2
<Netsu> let me explain: it successfully builds by opam, but I need to wrice custom script to build and install it.
<companion_cube> ah right
<Netsu> s/wrice/write/
<companion_cube> this script seems correct, though
<Netsu> companion_cube: the opam -- yes. Mine is here: https://gist.github.com/Pitometsu/1d12a5406cdaf4991937a00bdd211a91
<companion_cube> well you'll have to do the same, I suppose?
<Netsu> companion_cube: I need reproducible builds on CI/deploy, so porting dependencies to nix. With dune-based packages it's easy, but that one I can't guess how to build/install and what exactly it require in environment.
<Netsu> companion_cube: but there's no install phase described here
<companion_cube> I think it just requires the `topkg` package
<companion_cube> which probably produces a .install file that opam knows how to pick up
<Netsu> companion_cube: do I need opam or opaline here to install, what do you think?
<companion_cube> at least ocamlfind with topkg installed on it, afaict
<companion_cube> and something that understands .install files
philt has quit [Ping timeout: 258 seconds]
<Netsu> companion_cube: thank you to point .install file, I miss them
<companion_cube> it's also how dune works!
sz0 has quit [Quit: Connection closed for inactivity]
<Netsu> companion_cube: looks like I have both ocamfind and topkg in PATH. Which envnironment variables it may use to find that? Like OCAML_?/CAML_?
<Netsu> Can't find the topfind yet.
<companion_cube> hum
<companion_cube> I don't remember, look into other OCaml nix packages
<companion_cube> nix is too much magic for me
<Netsu> companion_cube: ok, thanks anyway
dimitarvp has joined #ocaml
<Netsu> heh, added ${ocaml}/bin/ocaml -I ${findlib}/lib/ocaml/${ocaml.version}/site-lib/ pkg/pkg.ml looks like this hardcode working for me
ziyourenxiang__ has quit [Ping timeout: 268 seconds]
Netsu has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
xuib has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
rambocoder has joined #ocaml
dimitarvp has quit [Quit: Bye]
Serpent7776 has joined #ocaml
dhil has quit [Ping timeout: 244 seconds]
_whitelogger has joined #ocaml
yomimono_ has joined #ocaml
yomimono has quit [Ping timeout: 255 seconds]
gravicappa has quit [Ping timeout: 246 seconds]
jim7j1ajh has joined #ocaml
crowley95 has quit [Ping timeout: 246 seconds]
jimt has quit [Ping timeout: 268 seconds]
crowley95 has joined #ocaml
jmagnusj_ has quit [Remote host closed the connection]
jmagnusj__ has joined #ocaml
crowley95 has quit [Ping timeout: 255 seconds]
crowley95 has joined #ocaml
silver has quit [Ping timeout: 246 seconds]
silver has joined #ocaml
smondet has joined #ocaml
smondet has quit [Client Quit]
Haudegen has quit [Remote host closed the connection]
jao has joined #ocaml
yomimono_ has quit [Ping timeout: 268 seconds]
groovy2shoes has quit [Quit: moritura te salutat]
ggole has quit [Quit: Leaving]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
ale64bit has joined #ocaml
yomimono has joined #ocaml
Haudegen has joined #ocaml
kakadu_ has joined #ocaml
sora has joined #ocaml
sora has left #ocaml [#ocaml]
sora has joined #ocaml
ale64bit has quit [Ping timeout: 246 seconds]
sora has quit [Ping timeout: 256 seconds]
troydm has quit [Ping timeout: 252 seconds]
troydm has joined #ocaml
n00by has joined #ocaml
sonologico has joined #ocaml
Serpent7776 has quit [Quit: leaving]
n00by has quit [Quit: Leaving]
silver has quit [Read error: Connection reset by peer]
Haudegen has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
sonologico has quit [Ping timeout: 245 seconds]
yomimono has quit [Ping timeout: 255 seconds]
ale64bit has joined #ocaml
kalio has quit [Ping timeout: 250 seconds]
kalio has joined #ocaml
rambocoder has quit [Quit: Connection closed for inactivity]
kakadu_ has quit [Remote host closed the connection]
ale64bit has quit [Ping timeout: 246 seconds]