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>
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]