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
Chobbes has joined #ocaml
jrslepak has quit [Read error: Connection reset by peer]
jrslepak has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (orwell.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
iZsh has quit [Ping timeout: 260 seconds]
mfp has quit [Ping timeout: 240 seconds]
iZsh has joined #ocaml
dedgrant has quit [Ping timeout: 276 seconds]
sh0t has quit [Remote host closed the connection]
jao has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
huglovefan has quit [Quit: huglovefan]
pierpa has quit [Quit: Page closed]
pierpa has joined #ocaml
malina has joined #ocaml
Chobbes has quit [Ping timeout: 240 seconds]
Chobbes has joined #ocaml
silver has quit [Read error: Connection reset by peer]
unyu has quit [Quit: Unyu~?]
struktured has joined #ocaml
jbrown has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 260 seconds]
jao has quit [Ping timeout: 260 seconds]
unyu has joined #ocaml
dtornabene has joined #ocaml
govg has joined #ocaml
ShalokShalom2 has quit [Read error: Connection reset by peer]
ShalokShalom2 has joined #ocaml
jbrown has quit [Ping timeout: 256 seconds]
tarptaeya has joined #ocaml
MercurialAlchemi has joined #ocaml
mbuf has joined #ocaml
ygrek has joined #ocaml
zpe has quit [Remote host closed the connection]
cbot has quit [Quit: Leaving]
snhmib has joined #ocaml
zolk3ri has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 260 seconds]
snhmib has quit [Ping timeout: 260 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
malina has quit [Ping timeout: 256 seconds]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
ygrek has quit [Ping timeout: 240 seconds]
dakk has joined #ocaml
tarptaeya has quit [Ping timeout: 264 seconds]
mk9 has joined #ocaml
zpe has joined #ocaml
mk9 has quit [Remote host closed the connection]
rwmjones|AFK is now known as rwmjones
snhmib has joined #ocaml
ygrek has joined #ocaml
mk9 has joined #ocaml
tarptaeya has joined #ocaml
mk9 has quit [Quit: mk9]
mfp has joined #ocaml
snhmib has quit [Ping timeout: 260 seconds]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
snhmib has joined #ocaml
snhmib has quit [Client Quit]
mk9 has joined #ocaml
djellemah has joined #ocaml
argent_smith has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
jao has joined #ocaml
pierpa has joined #ocaml
<Leonidas> rgr[m]: what is the status of opam-lock? We're thinking of using it, but it looks like you haven't published it to opam?
<Leonidas> I think it is potentially a very useful tool
<rgr[m]> It's an incomplete solution and I think altgr's opam-lock is a lot more robust. Though it's coupled to the opam api which makes it very hard to use
<Leonidas> rgr[m]: ah, didn't know about the other opam-lock. Yours has better SEO :)
<rgr[m]> Yes, my own is a bit older :)
<Leonidas> Ultimately version locking *might* be something that opam itself should do.
<rgr[m]> Yes, I think even altgr's solution is incomplete
<Leonidas> I am trying to build something and now I am basically pinning all dependencies *and* their dependencies :(
<rgr[m]> btw, version locking is kind of a deceptive thing b/c of the way opam is implemented
<theblatte> fwiw we use opam-lock for infer and it's working well, except that the build can still break because opam packages are mutable
<Leonidas> rgr[m]: deceptive in which way?
<rgr[m]> Exactly in the way theblatte said
<Leonidas> Yeah, ok, that I was aware of :)
<rgr[m]> package.x <> package.x for different values of t ;)
<theblatte> even with a fixed package version you can get breaking changes
<rgr[m]> You could still fix this issue FYI. By locking the entire switch
<rgr[m]> The issue with this is twofold:
<rgr[m]> 1) coupled to the opam api which makes it impossible to support 1.0 and 2.0
<rgr[m]> 2) the lock will be huge unless you work very hard to make it small
<theblatte> is that the same as locking the opam repo git hash?
<rgr[m]> theblatte: Almost. Since you could force push to github :P
<Leonidas> if you lock the git hash you might actually reach a point where you don't need any explicit locking because you locked the entire package universe
<Leonidas> but updating will be a complete pain
<rgr[m]> Oh and there's a 3rd piece of infrastructure missing. The ability to make opam execute a build plan and ignore the constaint solver.
<theblatte> rgr[m]: please tell me opam doesn't do that :)
<theblatte> (force push)
<Drup> No, it doesn't
<rgr[m]> theblatte: not that I know of :) I'd stlil prefer a locking solution that didn't depend on git though
<Drup> pretty sure the master branch is "protected"
ygrek has quit [Ping timeout: 268 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
ziyourenxiang has joined #ocaml
MercurialAlchemi has joined #ocaml
Haudegen has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
huglovefan has joined #ocaml
TarVanimelde has joined #ocaml
gtrak has joined #ocaml
tarptaeya has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
freusque has joined #ocaml
h11 has quit [Quit: WeeChat 2.1]
Haudegen has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
spew has joined #ocaml
dtornabene has quit [Quit: Leaving]
spew has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 240 seconds]
mbuf has quit [Quit: Leaving]
jao has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
shinnya has joined #ocaml
kakadu has joined #ocaml
sh0t has joined #ocaml
kakadu has quit [Remote host closed the connection]
unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]
unyu has joined #ocaml
_andre has quit [Quit: leaving]
ygrek has joined #ocaml
Mercuria1Alchemi has joined #ocaml
Mercuria1Alchemi has quit [Client Quit]
Mercuria1Alchemi has joined #ocaml
Mercuria1Alchemi has quit [Client Quit]
_andre has joined #ocaml
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
kakadu has joined #ocaml
jbrown has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
Harzilein has joined #ocaml
<Harzilein> hi
sh0t has quit [Remote host closed the connection]
pierpa has joined #ocaml
freusque has quit [Quit: WeeChat 2.0]
jimmyrcom_ has joined #ocaml
mk9 has quit [Quit: mk9]
jimmyrcom_ has quit [Ping timeout: 276 seconds]
shinnya has quit [Ping timeout: 256 seconds]
gtrak has quit [Ping timeout: 240 seconds]
gtrak has joined #ocaml
struktured has quit [Ping timeout: 268 seconds]
sh0t has joined #ocaml
deba5e12 has quit [Quit: WeeChat 1.9.1]
Haudegen has quit [Remote host closed the connection]
troydm has quit [Ping timeout: 265 seconds]
silver has joined #ocaml
baroud has joined #ocaml
Haudegen has joined #ocaml
ars23 has joined #ocaml
<M-ErkkiSeppl> hmm, noticed reddit.com/r/ocaml no longer tracks multicore progress, gave up hope?-)
<companion_cube> no, it's more that it was keeping this sensitive topic on top of the page, even without news
<M-ErkkiSeppl> just as we got this 4.06-rebase-news!
<companion_cube> heh :D
<M-ErkkiSeppl> does anyone know if the mc branch actually works for writing mc apps, in that it can compile and produce non-crashing binaries with mc-features even if not executes it optimally?
<Drup> M-ErkkiSeppl: I wrote a cute toy scheduler a few month ago, and there was a tutorial at ICFP
<Drup> so, yes, I suppose
<M-ErkkiSeppl> and if one isn't really into writing schedulers but rather running ocaml code in parallel and exchange messages between those code fragments? perhaps a C binding thrown in for a good measure?
al-damiri has joined #ocaml
<companion_cube> hey while you're answering questions, Drup: does it make sense to release the lock when calling Z3? Hypothetically
<Drup> companion_cube: uh, is it safe to call Z3 concurrently ?
<Drup> M-ErkkiSeppl: try and report your findings :D
<companion_cube> Drup: with different solvers, I suppose so? Z3 even has multithreading internally, so…
<Drup> companion_cube: maybe ? :D
<companion_cube> :D
<companion_cube> oh well
<Drup> companion_cube: try and report your findings :D
<companion_cube> we're not there yet anyway
<companion_cube> my current findings are: Z3's API is not that bad, actually
<Drup> well, I'll disagree on that
<companion_cube> well, compared to outputing smtlib
<companion_cube> (but ok, we do some… strange things in my company)
<Drup> companion_cube: that's .... the wrong thing to compare to
<companion_cube> well that's the usual API to SMT solvers
<Drup> Sure, it's very portable
FreeBirdLjj has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
baroud has quit [Quit: leaving]
baroud has joined #ocaml
baroud has quit [Client Quit]
zpe has quit [Ping timeout: 256 seconds]
troydm has joined #ocaml
huglovefan has quit [Quit: huglovefan]
ars23 has quit [Remote host closed the connection]
<Drup> rgr[m]: jbuilder refuses to use a module in both a library and an executable which is used as a code generator for said library
<Drup> it's ... a bit annoying. How do I work around that ?
djellemah_ has joined #ocaml
<Drup> I don't want to pull that module in a separate library, as that wouldn't make the slightest sense, packaging-wise
<rgr[m]> Yeah, that's a bit awkward. Private libraries would solve this neatly. For now you can setup some silly copy rule and build the exe in a different dir
<companion_cube> maybe you can copy the file?
<companion_cube> heh
<Drup> rgr[m]: é_è
djellemah has quit [Ping timeout: 256 seconds]
pierpa has quit [Ping timeout: 260 seconds]
<Drup> rgr[m]: is the short form for "rule" documented somewhere ? It appears ocasionally in the doc but I don't see an explanation
<rgr[m]> It's mentioned somewhere.
<Drup> In that case, the documentation for each stanza should probably mention its short version instead. :)
jao has joined #ocaml
dakk has quit [Ping timeout: 256 seconds]
pierpa has joined #ocaml
dakk has joined #ocaml
huglovefan has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
sepp2k has joined #ocaml
isd has joined #ocaml
dakk has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
djellemah_ is now known as djellemah
zolk3ri has quit [Ping timeout: 260 seconds]
ddosia has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
pierpa has joined #ocaml
ziyourenxiang has quit [Ping timeout: 276 seconds]
takanuva has joined #ocaml
Soni has quit [Ping timeout: 265 seconds]
malina has joined #ocaml
<takanuva> is it possible to give a custom backend for menhir without modifying the tool? actually I just need a menhir-like syntax for a parser generator
Soni has joined #ocaml
dedgrant has joined #ocaml
lynn has joined #ocaml
<Drup> rgr[m]: are .merlin file generated by jbuilder supposed to handle local ppxs ?
<Drup> Should I report it ?
<rgr[m]> Drup: yup they should. Before you report something however, make sure you only have 1 dir per exe/lib stanza
<rgr[m]> There are some bugs around multiple exe/lib stanzas in the same dir with regarding to generating a proper .merlin
<Drup> ah, I do not
<rgr[m]> There's no way to fix them as the .merlin format is a bit flawed
malina has quit [Ping timeout: 276 seconds]
zolk3ri has joined #ocaml
<Drup> rgr[m]: that being said, all the lib/ex in the same directory use the ppx
<theblatte> that's the edge case where it should work
<rgr[m]> Hmm, there was a bug that Jeremie fixed regarding something like that recently
<rgr[m]> I'd try master
<theblatte> yes, also true :)
<rgr[m]> The bug was caused by the evil polymorphic comparison btw :P
<Drup> Ah!
<theblatte> https://github.com/ocaml/dune/issues/230 << some description of the limitations of having multiple conflicting ppx directives
ygrek has quit [Ping timeout: 260 seconds]
sh0t has quit [Remote host closed the connection]
<Drup> why not take the union of the ppxs as well ?
jnavila has joined #ocaml
<rgr[m]> It's not really correct isn't it? IIRC merging various flags was a pain in the ass
<rgr[m]> last time I checked was a while ago
<rgr[m]> I'd rather put the effort into implementing the per file .merlin that was recently added to merlin. Or wait longer until the merlin folks figure out something better
<companion_cube> per-file merlin?
<companion_cube> like, one merlin file per original file? :3
Haudegen has quit [Remote host closed the connection]
tarptaeya has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
ShalokShalom has joined #ocaml
malina has joined #ocaml
ShalokShalom2 has quit [Ping timeout: 265 seconds]
spew has joined #ocaml
moolc has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 265 seconds]
mrgrieves has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
isd has quit [Ping timeout: 265 seconds]
sh0t has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
pierpa_ has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
jnavila has joined #ocaml
isd has joined #ocaml
kakadu has joined #ocaml
takanuva has quit [Quit: Page closed]
emias has quit [Ping timeout: 268 seconds]
emias has joined #ocaml
dxtr_ has joined #ocaml
sepp2k has quit [Read error: Connection reset by peer]
sepp2k has joined #ocaml
dxtr has quit [Ping timeout: 256 seconds]
emias has quit [Ping timeout: 265 seconds]
emias has joined #ocaml
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
argent_smith has quit [Quit: Leaving.]
isd has quit [Ping timeout: 276 seconds]
isd has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
silver has quit [Read error: Connection reset by peer]
isd has quit [Read error: Connection reset by peer]
isd has joined #ocaml
jnavila has quit [Remote host closed the connection]
ohama has quit [Disconnected by services]
ohama has joined #ocaml
huglovefan has quit [Quit: huglovefan]
ShalokShalom has quit [Ping timeout: 265 seconds]
ShalokShalom has joined #ocaml
zmt00 has quit [Read error: Connection reset by peer]
zmt00 has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 264 seconds]
gtrak has quit [Ping timeout: 240 seconds]
pierpa_ is now known as pierpa
moolc has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
kotrcka has joined #ocaml
tormen_ has quit [Quit: Lost terminal]
kark has quit [Ping timeout: 255 seconds]
ShalokShalom has quit [Quit: Konversation terminated!]
tormen has joined #ocaml
tarptaeya has quit [Quit: Byeeeeeee!]
navaja has joined #ocaml
navaja has quit [Ping timeout: 240 seconds]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 268 seconds]
sz0 has joined #ocaml
struktured has joined #ocaml
sh0t has quit [Remote host closed the connection]
struktured has quit [Ping timeout: 240 seconds]
spew has quit [Quit: Connection closed for inactivity]
tormen has quit [Quit: Lost terminal]
David-A has joined #ocaml
cbot has joined #ocaml
David-A has left #ocaml ["Leaving"]
shinnya has joined #ocaml
navaja has joined #ocaml
kakadu has quit [Remote host closed the connection]
navaja has quit [Ping timeout: 260 seconds]
navaja has joined #ocaml
navaja has quit [Ping timeout: 255 seconds]