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
<Fardale> kristof: did you compile the project ?
<Fardale> merlin work with compile file to know about other module
<kristof> Fardale: I'm compiling to native. Does it only work with bytecode?
<kristof> Oh, the native compilation probably wouldn't have tags for code completion... that's just me guessing.
<Fardale> No, it work also for native
<Fardale> It don't use the compile programme but some file generated at compile time
<kristof> _tags?
<kristof> I've seen that elsewhere before
<Fardale> _tags is for ocamlbuild
<kristof> Hrm.
<kristof> I'm generating a makefile with oasis. Then I run make. Woulld you like to see my _oasis? :^)
<Fardale> Well I not on my PC so I can look at what missing
<Fardale> But you have to put the build directory in your .merlin file
<kristof> oh.
<kristof> lemme try that.
<kristof> If it works, I"ll buy you a pint.
<Fardale> I don't know how oasis work
<kristof> neither do I, I picked up ocaml yesterday
<kristof> I've known about it for years but I never gave it a fair shake. I'm impressed by how it's survived over the years but the incremental layering of tools is pretty obvious
<Fardale> kristof: you have to add "B your_build_directory"
<Fardale> To your .merlin file
<Fardale> Which may be "B _build/*"
<kristof> Fardale: Ugh. You're a gorgeous person. Thank you.
<Fardale> Your welcome
spew has joined #ocaml
kristof has left #ocaml ["WeeChat 2.0.1"]
kristof has joined #ocaml
kristof has left #ocaml ["WeeChat 2.0.1"]
john51 has quit [Remote host closed the connection]
john51 has joined #ocaml
infinity0 has quit [Ping timeout: 256 seconds]
spew has quit [Ping timeout: 255 seconds]
infinity0 has joined #ocaml
rostero has joined #ocaml
jimmyrcom_ has joined #ocaml
mfp has quit [Ping timeout: 256 seconds]
silver has quit [Read error: Connection reset by peer]
barcabuona has quit [Quit: WeeChat 2.0.1]
spew has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
jao has joined #ocaml
FreeBirdLjj has joined #ocaml
<companion_cube> awwwww, jbuilder :/
<companion_cube> rgrinberg: sorry to disturb again, but is there any way to enable flags depending on OCaml's version, again? -color and the likes are not retrocompatible :/
kalio has joined #ocaml
_habnabit has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
spew has quit [Ping timeout: 256 seconds]
jao has quit [Ping timeout: 256 seconds]
seangrove has joined #ocaml
kristof has joined #ocaml
<kristof> I have a variant type in a module A. How do I import its constructors?
_habnabit has joined #ocaml
jao has joined #ocaml
jimmyrcom has quit [Ping timeout: 256 seconds]
<copy`> companion_cube: Have a look at lwt. I believe you write a script that is called at compile-time to generate the flags and then include them using `:include`
<companion_cube> oh god
<copy`> Yeah :P
<companion_cube> that should *really* be done by jbuilder :/
andrewalker has quit [Quit: ZNC 1.6.2 - http://znc.in]
jao has quit [Ping timeout: 256 seconds]
<companion_cube> this sucks
<companion_cube> (even tho it seems to work)
<companion_cube> such hacks
<companion_cube> thanks for the pinter copy`
<copy`> Glad to help
<companion_cube> sequence and containers are being ugpraded to jbuilder!
<copy`> That's great!
<companion_cube> :)
FreeBirdLjj has joined #ocaml
<companion_cube> and… bumping major version in the process
FreeBirdLjj has quit [Ping timeout: 255 seconds]
pierpa has quit [Quit: Page closed]
mbuf has joined #ocaml
dtornabene has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
seangrove has quit [Ping timeout: 256 seconds]
spew has joined #ocaml
mbuf has quit [Quit: Leaving]
mbuf has joined #ocaml
govg has joined #ocaml
jimmyrcom has joined #ocaml
jimmyrcom has quit [Max SendQ exceeded]
jimmyrcom has joined #ocaml
Hydan has joined #ocaml
<rgrinberg> companion_cube: the duneification continues. re is about to switch over as well
<companion_cube> yeah, I'm watching the thread
<rgrinberg> We should have a new release with the improved jbuilder exec and --force this week
Hydan has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<companion_cube> but I'm a bit sad with the :include hack :/
<rgrinberg> I warned ya about it before :P
<rgrinberg> We'll fix it properly eventually. We have a good idea on how to do it now
<companion_cube> I guess it's still better than the myocamlbuild hacks
<companion_cube> the "worst" so far is moving to ≥ 4.02
<companion_cube> anyway, good night
<rgrinberg> good night. on the other hand, we'll finally get to deprecate things properly with ppx!
<companion_cube> yay
<companion_cube> well, attributes
<companion_cube> not ppx :]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
KeyJoo has joined #ocaml
KeyJoo has quit [Ping timeout: 255 seconds]
sonologico has quit [Quit: WeeChat 1.9.1]
MercurialAlchemi has joined #ocaml
mbuf has quit [Quit: Leaving]
freusque has joined #ocaml
Hydan has joined #ocaml
Guest41004 has joined #ocaml
Hydan has quit [Client Quit]
argent_smith has joined #ocaml
Hydan has joined #ocaml
Hydan has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
spew has quit [Read error: Connection reset by peer]
Hydan has joined #ocaml
Guest41004 has quit [Remote host closed the connection]
TheRuralJuror has joined #ocaml
TheRuralJuror is now known as Haudegen
zolk3ri has joined #ocaml
mfp has joined #ocaml
mk9 has joined #ocaml
cuicui has joined #ocaml
Hydan has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
maattdd has quit [Ping timeout: 240 seconds]
fre has joined #ocaml
freusque has quit [Ping timeout: 256 seconds]
cuicui has quit [Quit: leaving]
mk9 has quit [Quit: mk9]
cuicui has joined #ocaml
dhil has joined #ocaml
sapristi has joined #ocaml
ziyourenxiang has joined #ocaml
maattdd has joined #ocaml
TarVanimelde has joined #ocaml
Serpent7776 has joined #ocaml
jimmyrcom has quit [Ping timeout: 276 seconds]
kristof has quit [Ping timeout: 256 seconds]
ipfix is now known as mauf
sapristi_ has joined #ocaml
sapristi has quit [Ping timeout: 240 seconds]
kerrhau has quit [Ping timeout: 255 seconds]
mauf is now known as maufred
<rks`> n
<rks`> ("oops")
sapristi has joined #ocaml
sapristi_ has quit [Ping timeout: 256 seconds]
sh0t has quit [Ping timeout: 268 seconds]
Haudegen has quit [Remote host closed the connection]
TarVanimelde has quit [Quit: TarVanimelde]
silver has joined #ocaml
sapristi_ has joined #ocaml
sapristi has quit [Ping timeout: 265 seconds]
sh0t has joined #ocaml
kakadu has joined #ocaml
kakadu has quit [Client Quit]
kakadu has joined #ocaml
KeyJoo has joined #ocaml
sh0t has quit [Ping timeout: 255 seconds]
KeyJoo has quit [Ping timeout: 256 seconds]
sapristi__ has joined #ocaml
sapristi_ has quit [Ping timeout: 248 seconds]
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
hnrgrgr has joined #ocaml
sepp2k has joined #ocaml
KeyJoo has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 255 seconds]
sapristi has joined #ocaml
sapristi__ has quit [Ping timeout: 240 seconds]
freyr has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
shinnya has joined #ocaml
jbrown has joined #ocaml
FreeBirdLjj has joined #ocaml
barcabuona has joined #ocaml
ziyourenxiang has quit [Ping timeout: 256 seconds]
sapristi_ has joined #ocaml
sapristi has quit [Ping timeout: 265 seconds]
dhil has joined #ocaml
govg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
sh0t has joined #ocaml
fre has quit [Ping timeout: 276 seconds]
shinnya has quit [Ping timeout: 256 seconds]
sapristi has joined #ocaml
sapristi_ has quit [Ping timeout: 255 seconds]
fre has joined #ocaml
sadiq has quit [Ping timeout: 248 seconds]
dhil has quit [Ping timeout: 256 seconds]
dhil has joined #ocaml
freyr has quit [Remote host closed the connection]
<theblatte> how do I suppress a warning 32 locally for a value? E.g. I was expecting this to work: `let[@warning "-32"] x = ()`
moei has joined #ocaml
<Drup> That might be solved in trunk
<Leonidas> can't you use _x?
<theblatte> I found that `[@@@warning "-32"] let x = () [@@@warning "+32"]` does what I want, but it's verbose
<Leonidas> MORE @@@@! JUST ADD MORE @@@@@!
<theblatte> Leonidas: no, the actual code is, eg, let[@warning "-32"] compare = No_polymorphic_compare.compare
<theblatte> to disable use of `compare`
<Drup> generated code, I presume ? you should just open a module that contains the comparison
<Leonidas> ah, I see, that does sound reasonable to have it named like so.
<Leonidas> I wonder how Jane Street does it?
<theblatte> Drup: no, just a module that's included everywhere and tries to be the police :)
<Drup> then compare should be in the API, no ? Then it's not unused
<theblatte> well that particular module has no .mli because of some unsupported stuff with destructive updates :/
<rks`> uh?
<Drup> then 32 should not trigger at all
<theblatte> or something else that makes more sense :)
<Drup> 32 only triggers if there is a .mli
<rks`> is the module part of an exe or a library ?
<theblatte> Drup: ok, so the last "but ..." is that I'm putting everything into one giant .ml so that ocaml lets me know of unused values globally even when they are "used" in a .mli
<Drup> (well, that is not exactly correct)
<theblatte> :D
<rks`> Drup: I think you're right, but the compiler might be smart if you ocamlc/opt -o foo.exe a.ml b.ml foo.ml ?
<rks`> ah ok
<Drup> I see
<rks`> theblatte does even worse than what I imagined.
<Drup> rks`: pretty sure the compiler is not smart that way
<rks`> theblatte: are you compiling to javascript with bucklescript as well?
<theblatte> already removed 2k lines and I'm not remotely finished ^^
<rks`> Drup: yep, most likely not
<Drup> theblatte: are you aware that there is a dead code analyzer for ocaml .
<theblatte> yup, didn't work :/
<rks`> anyway theblatte, you can always use "the old way": "let _no_unused_warning = compare"
<Drup> Ah, I see
<theblatte> rks`: :thumbup:
<Drup> I'm not going to ask you why it didn't work, I don't want to have nightmares
<theblatte> Drup: it's <4.05.0 in opam, and someone else tried it from source and it didn't support packed modules well apparently
<rks`> haha
<Drup> packed modules, ah, yes, right
<rks`> you've just got the best of everything theblatte
<theblatte> #blessed
<Drup> theblatte: are you using multicore ocaml with implicits too ?
<theblatte> I wish :D
<theblatte> interestingly val[@warning "-32"] works in .mli, on the other hand
<zozozo> theblatte: well if it's in the mli, then it is used, by definition, no ?
<rks`> :D
<theblatte> zozozo: right, sorry, I meant it works in signatures
<theblatte> if you have an inlined modules and only use some of the signature then you get warnings on unused values/types/...
<theblatte> -s
<theblatte> which is why my "approach" of "detect dead code by cramming everything in a giant .ml file" works ;)
Jesin has joined #ocaml
Jesin has quit [Quit: Leaving]
<infinity0> Error: This expression has type int -> (int -> 'weak7) -> 'weak7 list
<infinity0> but an expression was expected of type VSet.t = VSet.t
<infinity0> i get that with 4.06.0 but not 4.05.0, any ideas?
KeyJoo has quit [Ping timeout: 248 seconds]
sadiq has joined #ocaml
<adrien> infinity0: your description lacks context
fre has quit [Quit: WeeChat 1.9.1]
<infinity0> yeah i'm reducing the case atm, buth thought the error might "look familiar" to someone in the meantime
<adrien> and is that with a toplevel, if so, is it freshly started?
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<infinity0> oh, right, they added a List.init
<infinity0> it clashed with one of my local vars
zpe has quit [Ping timeout: 255 seconds]
<infinity0> i was using let f init x = let open List in (* etc *)
KeyJoo has joined #ocaml
sh0t has quit [Remote host closed the connection]
webshinra has quit [Ping timeout: 252 seconds]
webshinra has joined #ocaml
demonimin has quit [Read error: Connection reset by peer]
tane has joined #ocaml
demonimin has joined #ocaml
Haudegen has quit [Remote host closed the connection]
cuicui has quit [Quit: leaving]
Serpent7776 has quit [Quit: Leaving]
spew has joined #ocaml
Hydan has joined #ocaml
Hydan has quit [Client Quit]
jimmyrcom has joined #ocaml
Haudegen has joined #ocaml
sonologico has joined #ocaml
aphprentice has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
spew has quit [Ping timeout: 256 seconds]
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
slash^ has joined #ocaml
ygrek has joined #ocaml
Haudegen has quit [Ping timeout: 276 seconds]
eni has joined #ocaml
kakadu has joined #ocaml
andreas_ has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
sepp2k has quit [Quit: Leaving.]
slash^ has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
an-tuan has joined #ocaml
Haudegen has joined #ocaml
kristof has joined #ocaml
dhil has joined #ocaml
quernd has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
dhil has quit [Ping timeout: 256 seconds]
KeyJoo has quit [Ping timeout: 248 seconds]
jnavila has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
sapristi has quit [Ping timeout: 276 seconds]
mk9 has joined #ocaml
jnavila has joined #ocaml
superherointj has joined #ocaml
mk9 has quit [Quit: mk9]
superherointj has quit [Quit: Leaving]
orbifx1 has joined #ocaml
zolk3ri has quit [Quit: Changing server]
zolk3ri has joined #ocaml
tane has quit [Quit: Leaving]
VermillionAzure has joined #ocaml
jnavila has quit [Remote host closed the connection]
bbc- is now known as bbc
eni has quit [Quit: Leaving]
Haudegen has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
sz0 has joined #ocaml
moei has quit [Quit: Leaving...]
argent_smith has quit [Quit: Leaving.]
kristof has quit [Ping timeout: 264 seconds]
VermillionAzure has quit [Ping timeout: 256 seconds]
john51 has quit [Ping timeout: 255 seconds]
john51 has joined #ocaml
john51 has quit [Read error: Connection reset by peer]
john51 has joined #ocaml
shinnya has joined #ocaml
an-tuan has quit [Quit: WeeChat 2.0.1]
zolk3ri has quit [Quit: Lost terminal]
quernd has quit [Quit: rcirc on GNU Emacs 25.1.1]
pierpa has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
CcxWrk has quit [Ping timeout: 260 seconds]
CcxWrk has joined #ocaml
orbifx1 has quit [Ping timeout: 276 seconds]
kakadu has quit [Remote host closed the connection]
jao has joined #ocaml