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
Associat0r has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Read error: Connection reset by peer]
marsam has joined #ocaml
solrize has quit [Ping timeout: 265 seconds]
infinity0 has quit [Ping timeout: 256 seconds]
infinity0 has joined #ocaml
Jesin has joined #ocaml
solrize has joined #ocaml
solrize has quit [Changing host]
solrize has joined #ocaml
sapristi_ has quit [Ping timeout: 272 seconds]
marsam has quit [Ping timeout: 240 seconds]
KeyJoo has quit [Ping timeout: 265 seconds]
Soni has quit [Ping timeout: 256 seconds]
Soni has joined #ocaml
dtornabene has joined #ocaml
raphaelss has joined #ocaml
mk9 has quit [Quit: mk9]
silver has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
pmetzger has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
pmetzger has quit [Ping timeout: 265 seconds]
pmetzger has joined #ocaml
<spew> programming in ocaml really makes it painful to go back to cpp
pacak has quit [Read error: Connection reset by peer]
pmetzger has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
spew has quit [Quit: Leaving]
<pierpa> duh
pierpa has quit [Quit: Page closed]
sh0t has quit [Remote host closed the connection]
pmetzger has joined #ocaml
enterprisey has joined #ocaml
shinnya has joined #ocaml
malina has joined #ocaml
enterprisey has quit [Remote host closed the connection]
kerrhau has quit [Ping timeout: 272 seconds]
pmetzger has quit [Ping timeout: 264 seconds]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 248 seconds]
pmetzger has joined #ocaml
TarVanimelde has joined #ocaml
slash^ has joined #ocaml
dtornabene has quit [Quit: Leaving]
flux has joined #ocaml
bitbckt has quit [Quit: ZNC - http://znc.in]
bitbckt has joined #ocaml
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
cbot has quit [Quit: Leaving]
argent_smith has joined #ocaml
heisenberg has joined #ocaml
<heisenberg> Good Morning
enterprisey has joined #ocaml
kowals131 has joined #ocaml
kowals131 has quit [Remote host closed the connection]
<orbifx[m]> Hello all
_k1||3254 has joined #ocaml
_k1||3254 has quit [Remote host closed the connection]
blakwid516 has joined #ocaml
blakwid516 has quit [Remote host closed the connection]
vu747 has joined #ocaml
vu747 has quit [Remote host closed the connection]
sapristi_ has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
echo355 has joined #ocaml
echo355 has quit [Remote host closed the connection]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
jnavila has joined #ocaml
_matr683 has joined #ocaml
_matr683 has quit [Remote host closed the connection]
sapristi_ has quit [Remote host closed the connection]
sapristi has joined #ocaml
kakadu has joined #ocaml
sapristi has quit [Ping timeout: 265 seconds]
andreas__ has joined #ocaml
vani573 has joined #ocaml
vani573 has quit [Remote host closed the connection]
enterprisey has quit [Remote host closed the connection]
heisenberg has quit [Quit: leaving]
argent_smith has quit [Quit: Leaving.]
malina has quit [Ping timeout: 265 seconds]
orbifx has joined #ocaml
<orbifx> hey all
<orbifx> Anyone here using squashed merges when mainlining into their project?
FreeBirdLjj has joined #ocaml
zolk3ri has joined #ocaml
malina has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
tane has joined #ocaml
pmetzger has quit [Ping timeout: 264 seconds]
fraggle_ has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<orbifx> I've made a poll for jbuilder's rename: https://poll.disroot.org/jbuilder-rename
<flux> the link doesn't seem to work as intended?
silver has joined #ocaml
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
<orbifx> flux: just noticed
<orbifx> trying to fix it
flx_ has joined #ocaml
jbrown has quit [Ping timeout: 272 seconds]
flux has quit [Remote host closed the connection]
flx_ is now known as flux
jbrown has joined #ocaml
pmetzger has joined #ocaml
sapristi has joined #ocaml
groovy2shoes has quit [Quit: moritura te saluto]
<orbifx> does it work ok now flux ?
<flux> yes
malina has quit [Remote host closed the connection]
malina has joined #ocaml
mengu_ has joined #ocaml
orbifx has quit [Quit: WeeChat 2.0]
mk9 has joined #ocaml
<companion_cube> there's no "pyramid" in it :(((
jnavila has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
solrize has quit [Ping timeout: 265 seconds]
groovy2shoes has joined #ocaml
fraggle_ has joined #ocaml
<orbifx[m]> Are you sure?
<orbifx[m]> companion_cube: you need to scroll to the right
<companion_cube> rgrinberg: 1/ do you have a link regarding per-module flags? 2/ can I have a jbuilder library not being namespaced (i.e. exporting several modules directly)?
<rgrinberg> for 2/ just set (wrapped false) in your lib
<companion_cube> oh, neat, thanks.
<companion_cube> btw the vim support is nice :)
<rgrinberg> I think I lied to you about per_module, it only works for preprocessing and not flags :/
<rgrinberg> That vim mode is hcarty's work!
<companion_cube> ah, damn (about flags) :/
<companion_cube> I'm going to put the flags globally then
<rgrinberg> Kinda curious, why do you like no-labels?
<companion_cube> for ArrayLabels, ListLabels, etc.
<companion_cube> one .ml for two .mli, basically
<companion_cube> (well, the second .ml is just `include Foo`)
mengu_ has quit [Remote host closed the connection]
TarVanimelde has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
mk9 has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
argent_smith has joined #ocaml
<rgrinberg> ah, nice trick
<reynir> There's a jbuilder vim plugin? :o
<rgrinberg> There's syntax highlighting for jbuild files
<reynir> Neat
mengu has joined #ocaml
mk9 has quit [Quit: mk9]
<reynir> (where do I find it?)
<companion_cube> thanks!
<companion_cube> it seems even the qtest part should work
<rgrinberg> reynir: rgrinberg/vim-ocaml
<rgrinberg> companion_cube: but, but, but what about the 4.01 compatibility?
<rgrinberg> or 4.00 or w/e it is :P
<companion_cube> ah damn, forgot about that
<companion_cube> jbuilder is 4.02?
<rgrinberg> Yes :P
<companion_cube> erf
<companion_cube> maybe I should keep that in a branch…
<rgrinberg> ^_^
<rgrinberg> I find it very hard to imagine a user going out of their way to fetch the latest version of sequence, containers, etc. while sticking to ocaml 4.0 or w/e
<rgrinberg> but i'm not very imaginative
<companion_cube> why not? :/
<companion_cube> if oyu use the system switch…
<companion_cube> (rather, if you want your project to be portable into old debian or whatever)
<rgrinberg> Well if you have opam, what's your reasoning for sticking to some really old OCaml?
<rgrinberg> Also, if you're not concerned about upgrading ocaml, I doubt you care whether you're using sequence 0.3.4 or 0.3.5 or w/e
<Drup> rgrinberg: I'm waiting with impatience the time where 4.02 becomes too old for you, and you get BS users asking you not to drop compat
<companion_cube> I still believe in system package managers for delivering programs to users
<Drup> that's going to be midly hilarious
<rgrinberg> Drup: i complain to jordan and hongbo about this issue at least once a month
<companion_cube> is rgrinberg the/an official maintainer of jbuilder these days? :)
<rgrinberg> they said they'll seriously look into upgrading buckle to 4.03 in february
<companion_cube> can't help myself but reading "bullshit users" :s
<reynir> companion_cube: :D
<Drup> companion_cube: I gotta be honest, that's partially why I use the acronyme
<rgrinberg> companion_cube: you should double check if sequence builds on 4.0 btw, i kinda doubt it with the whole bytes thing
<Drup> but they got their by themselves, I can't be accused of being mean! :3
<Drup> there*
<companion_cube> rgrinberg: why not? as long as ocamlfind supports it, the `bytes` library is there
<companion_cube> and I depend on it explicitely
<rgrinberg> Drup: they had some guidance. It was ocamlscript at first if you recall, then there was backlash about the name being take :P
<Drup> rgrinberg: and did you complained about the fantastic idea that is "Do not have a divergent fork of the fucking typechecker" ?
<rgrinberg> companion_cube: i don't remember the exact details, but that's how < 4.02 support was accidentally broken in ocaml-re. I found out when altgr patched in the vendored opam repo
<Drup> (just by curiosity)
<companion_cube> rgrinberg: I tend to use -safe-string in general
<orbifx[m]> companion_cube: did you scroll?
<companion_cube> ah, sorry
<rgrinberg> companion_cube: we use it too. Don't forget to use it conditionally btw, I don't remember which version it was introduced :)
<companion_cube> well, tbh, ocamlbuild makes a good job of tracking these flags -_-
<companion_cube> like, flambda flags
<zolk3ri> mmm
<rgrinberg> companion_cube: you seem pretty knowledgeable, maybe you can fix re for 4.01 ^_^
<zolk3ri> haha
<companion_cube> :s
<rgrinberg> companion_cube: not a single user reported it being broken during like 2 years of breakage though. Adn that was a couple of years ago... please stahp supporting ancient stuff nobody uses or you even test :P
<companion_cube> I know
<companion_cube> I'm just frustrated by CI options
<rgrinberg> Drup: I haven't told them but I'm sure they're aware. I think the issue is that they don't think very highly of the OCaml ecosystem. So compatibility with it isn't a priority
<companion_cube> but slowly, my executables are being moved to 4.03, best version ever ^^
<companion_cube> I'm a bit more reluctant for core libraries
<rgrinberg> I wish there were some opam download stuff per compiler version. Maybe that would convince you
<reynir> It'd be cool if you could tell opam to download the dev-repo as well as the archive when you install a package. Lately I've often been hacking on stuff without internet, and it would be cool to have offline access to the dev-repo as well :)
<rgrinberg> companion_cube: there's a trick for handling the flags stuff a little better - it's only for the true jbuilder connoisseur though. You might appreciate it b/c you have a ton of flags duplicated and you want some conditional flag handling
<rgrinberg> and generate ocamlflags.sexp based on the ocaml version
<companion_cube> ouch :D
<companion_cube> (no thanks, I like to keep things as simple as possible :3)
<companion_cube> anyway, this should work if I'm determined to drop 4.01
<companion_cube> for containers, I'll wait a bit more, I think
andreas__ has quit [Quit: Connection closed for inactivity]
shinnya has quit [Ping timeout: 256 seconds]
<rgrinberg> qtest doens't let you test internal functions, right? I.e. those that aren't in the mli?
tane has quit [Quit: Leaving]
sh0t has joined #ocaml
<companion_cube> indeed not
<companion_cube> (well you can expose them with (**/**))
<companion_cube> but isn't that the same as other testing frameworks?
fraggle_ has quit [Remote host closed the connection]
<reynir> What is (**/**) ?
<companion_cube> it starts a block that ocamldoc will ignore
<companion_cube> so you can expose some functions tht won't occur in the generated doc
sh0t has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
<rgrinberg> companion_cube: if you use ppx, the tests are registered inside the module itself so you can test/use internal functions
<rgrinberg> To me this is the main advantage of ppx_inline_test and friends
mengu has quit [Quit: Leaving...]
<companion_cube> and if you disable tests, does any of the code remain?
tane has joined #ocaml
tane has quit [Ping timeout: 248 seconds]
tane has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
spew has joined #ocaml
orbifx has joined #ocaml
sh0t has joined #ocaml
<rgrinberg> companion_cube: depends how you go about it. The trick is to have preprocessors. One that collects the tests and one that drops them.
<rgrinberg> But now you have a dependency on the preprocessor that drops the tests as part of the normal build. I think this is fine though. The spartan dependency world is too limiting anyway...
<companion_cube> yeah well, I still don't like to depend on ppx for now
<rgrinberg> I understand. There are still some pains as it matures. Though I think that ruling it out doesn't make sense either.
orbifx has quit [Ping timeout: 272 seconds]
spew has quit [Ping timeout: 248 seconds]
marsam has joined #ocaml
<reynir> I love using ppxs and then I get annoyed when the ppxs eventually break after an upgrade heh
malina has quit [Quit: Throwing apples of Montserrat]
<Leonidas> reynir: that's better these days with omp
<Leonidas> and ppx_deriving/type_conv plugins where they do all the heavy lifting and you just have to hook into them and be dragged along for new compiler versions
marsam has quit [Remote host closed the connection]
<Leonidas> opam with ocaml 4.00 probably does not even work because nobody tests anything and probably nothing compiles anymore
<Leonidas> I wouldn't bother supporting anything lower than 4.02
<companion_cube> but 4.01 is still on opam-ci?
<companion_cube> (I think)
<Leonidas> looking at all these red crosses makes me not have much trust in any of the OPAM checks: https://github.com/ocaml/opam-repository/pulls
<Leonidas> and I frequently run into things that work in e.g 4.06 but not 4.05 and this is all super frustrating
<Leonidas> I am aware that bitching and moaning about the current state does not make it better
<hannes> Leonidas: you should open issues if you encounter sth that doesn't work with 4.05.0 but pretends to work with that...
<hannes> Leonidas: the CI is under active development, all I can say is "it's getting better"... I'm not sure why its quality dropped (sporadic failures, centos breakage) within the last months.. it was in a good state maybe 3 months ago..
<Leonidas> I would really like mergeable PRs to be actually green.
ziyourenxiang has quit [Ping timeout: 265 seconds]
<hannes> Leonidas: as indicated, there's active work on it with a new developer hired in Cambridge esp. for that! :)
zolk3ri has quit [Ping timeout: 248 seconds]
<reynir> Leonidas: yes, that's true
<hannes> Leonidas: the travis CI is pretty reliable still (and tests lots of OCaml versions) -- usually it is green when merging opam-repository PRs :)
<Leonidas> hannes: glad to hear that. hope the growing pains can be solved :)
<hannes> Leonidas: and 4.06.0 was a pretty heavy-duty release.. I spent several weekends to fix various packages and update constraints
<hannes> (but the imposed change, having immutable strings by default, was very well worth it, imho)
<Leonidas> hannes: one of my other issues is that it is very hard to understand what is going wrong https://github.com/ocaml/opam-repository/pull/10923 e.g. has a constraint but fails because the version constraint is not enforced somewhere
<hannes> just today I fixed at least 3 constraints in opam-repository. if more people (and there are others who already do that!) fix things when they see breakage, it will improve.
<Leonidas> yeah, 4.06 probably needs a bunch of -no-safe-string patches in upstream libraries. or making things safe
<rgrinberg> Leonidas: jpdeplaix is fixing the CI (or so I've heard)
<Leonidas> ok, next time I'll run into it I'll make a bug report/PR
<hannes> Leonidas: I do not understand "has a constraint but fails because the version constraint is not enforced somewhere". do you mean that the (datakit-)CI fails for earlier ocaml-versions which are disabled by "available" keyword?
<hannes> Leonidas: if this is the case, yes, this is an annoying bug, but the people in charge know about it and will fix it (hopefully sooner than later)
zolk3ri has joined #ocaml
<Leonidas> hannes: so from what I read this PR is "failed" because the CI tried to build it on an unsupported ocaml version which ended up failing. I don't know why it did that, since the opam files mark it as unsupported, so it is just frustrating.
<hannes> Leonidas: yes, sorry for that (it is not my fault and I don't have any knowledge or access to the CI infrastructure). as I mentioned, the travis CI is atm more robust than datakit-CI -- but this all will improve within the next 3 months! :)
<Leonidas> \o/
<pmetzger> The biggest thing that failed in the 4.06.0 update with packages was safe string stuff. Mostly I think there weren't a lot of other failures.
<Leonidas> I should finish up opam-thanks finally, maybe I'll find some time over the holidays, then it is a bit of a christmas present
<hannes> Leonidas: will you be at 34c3?
<Leonidas> hannes: no, not this year.
<Leonidas> I usually visit every second ;-)
<Leonidas> last year I was playing "implement a sort-of useful ocaml project every day", that was quite fun
<reynir> what's opam-thanks
<Leonidas> reynir: an ocaml port of cargo-thanks
<reynir> What's cargo-thanks :D
<companion_cube> :D
<companion_cube> neat
sh0t has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
<hannes> Leonidas: very nice idea!
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
orbifx has joined #ocaml
solrize has joined #ocaml
solrize has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Haudegen has quit [Read error: Connection reset by peer]
andreas__ has joined #ocaml
andreas_ has joined #ocaml
andreas__ has quit [Client Quit]
<orbifx> Looks like Dune is leaving other names for dust.
<orbifx> Pun intended :P
pmetzger has quit [Ping timeout: 263 seconds]
<Drup> I liked vizir :(
jnavila has joined #ocaml
<orbifx> Vizir isn't bad, I liked the cartoon.
<orbifx> But why would you want a plotting build system Drup ? :P
pmetzger has joined #ocaml
<Drup> orbifx: wel, it's fitting, isn't it ?
spew has joined #ocaml
<orbifx> Drup: ;)
slash^ has quit [Read error: Connection reset by peer]
TarVanimelde has quit [Quit: TarVanimelde]
spew has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
<reynir> I liked jbyg
<pmetzger> I prefer "vizir"...
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
kerrhau has joined #ocaml
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
ygrek has joined #ocaml
orbifx has quit [Ping timeout: 248 seconds]
leah2 has quit [Ping timeout: 272 seconds]
<orbifx[m]> reynir: have you voted?
leah2 has joined #ocaml
sapristi has quit [Quit: Leaving]
pierpa has joined #ocaml
orbifx has joined #ocaml
nicoo has quit [Ping timeout: 248 seconds]
<pmetzger> "vizir" is in #2 place, but I'll admit it's well behind dune
<pmetzger> I fear for the future of names if we go to "dune". What's next, a destructive test system called "gom_jabbar"? :) :) :)
nicoo has joined #ocaml
argent_smith has quit [Quit: Leaving.]
jnavila has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
Jesin has quit [Quit: Leaving]
kamog has joined #ocaml
Jesin has joined #ocaml
cbot has joined #ocaml
Danishman has joined #ocaml
<orbifx> pmetzger: hehe
aubian has joined #ocaml
orbifx has quit [Quit: WeeChat 1.9.1]
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
sprinte350 has joined #ocaml
<sprinte350> ▄▄▄▄▄▄▄▄▄▄▄▄ DID YOU GUYS KNOW TODAY WAS NIGGERS DAY?? SAY HI TO YOUR FAVORITY NIGGER IN #FREENODE!! quicktalkeh676te.onionxovufahmtg: iCharlie _whitelogger jbrown maker cbot riveter kamog johnelse shakalaka leah2 kakadu orbitz madroach groovy2shoes Muzer ygrek nicoo flux wagle mk270 Fardale sigjuice peddie[m] websh
<sprinte350> ▄▄▄▄▄▄▄▄▄▄▄▄▄ DID YOU GUYS KNOW TODAY WAS NIGGERS DAY?? SAY HI TO YOUR FAVORITY NIGGER IN #FREENODE!! quicktalkeh676te.onionsqivleykkj: krktz emliunix shakalaka john51 micro equalunique[m] kamog peddie[m] jimmyrcom_ drsmkl[m] pmetzger danielglh M-x-matrix[m] aspiwack[m] l1x Nazral Fardale ansiwen[m] Soni na
sprinte350 has quit [Remote host closed the connection]
zen927 has joined #ocaml
<zen927> ▄▄▄▄▄▄▄▄▄▄▄▄ DID YOU GUYS KNOW TODAY WAS NIGGERS DAY?? SAY HI TO YOUR FAVORITY NIGGER IN #FREENODE!! quicktalkeh676te.onionpokgb: andreas_ nullifidian__ zozozo Soni ousado johnelse hannes kerrhau moei nahra maker infinity0 iZsh dinosaure zolk3ri danielglh raphaelss jmiven Nazral pierpa wagle fraggle_ jbrown groovy2
<zen927> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DID YOU GUYS KNOW TODAY WAS NIGGERS DAY?? SAY HI TO YOUR FAVORITY NIGGER IN #FREENODE!! quicktalkeh676te.oniondjrhpgm: andreypopp leah2 _whitelogger solrize Fardale iCharlie fds webshinra kamog moei Rome Murmus sigjuice Nazral mrallen1 rgrinbe
<zen927> ▄▄▄▄▄▄▄▄▄▄▄▄▄ DID YOU GUYS KNOW TODAY WAS NIGGERS DAY?? SAY HI TO YOUR FAVORITY NIGGER IN #FREENODE!! quicktalkeh676te.onionrkgsgw: Khady _xvilka_ zolk3ri pmetzger dhtns oh_lawd solrize nullifidian__ lukky513 rfv andrewalker rossberg aubian infinity0 rwmjones|holiday ocabot_ ia0 Guest82172 rbocquet tg strm
<zen927> ▄▄▄▄▄▄▄▄▄▄▄▄▄▄ DID YOU GUYS KNOW TODAY WAS NIGGERS DAY?? SAY HI TO YOUR FAVORITY NIGGER IN #FREENODE!! quicktalkeh676te.onionxlmmvxix: silver tokenrove Guest82172 Rome tsani rixed_ danielglh companion_cube _whitelogger smondet[m] vbmithr flux sadiq strmpnk profan riveter rwmjones|holiday cbarrett
zen927 has quit [Remote host closed the connection]
<zolk3ri> Ugh, those colours are bright.
<pmetzger> Some jerk is doing this in just about every group on Freenode, randomized IDs, hit and run. They apparently hit OFTC too.
dtornabene has joined #ocaml
<whoman> i wonder if its working, whatever its intention is to cause
kerrhau has quit [Ping timeout: 265 seconds]
kakadu has quit [Remote host closed the connection]
malc_ has joined #ocaml
bitbckt has quit [K-Lined]
bitbckt has joined #ocaml
rostero has joined #ocaml
dtornabene has quit [Read error: Connection reset by peer]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
<pmetzger> It's likely making the 12 year old responsible who has just learned how to write scripts very happy. The question is what will come first, the 12 year old being caught, or the 12 year old becoming bored.
andreas_ has quit [Quit: Connection closed for inactivity]
kerrhau has joined #ocaml
enterprisey has joined #ocaml
jao has joined #ocaml