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
orbifx has quit [Quit: WeeChat 2.3]
Haudegen has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
anmonteiro has quit [Remote host closed the connection]
Spetznaz_ has quit [Ping timeout: 244 seconds]
spew has quit [Quit: Connection closed for inactivity]
silver_ has quit [Read error: Connection reset by peer]
anmonteiro has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
olle has quit [Ping timeout: 245 seconds]
cubemonkey has joined #ocaml
cubemonkey has joined #ocaml
olle has joined #ocaml
kvda has joined #ocaml
cubemonkey has quit [Ping timeout: 246 seconds]
cubemonkey has joined #ocaml
anmonteiro has quit [Ping timeout: 240 seconds]
cubemonkey has quit [Ping timeout: 268 seconds]
cubemonkey has joined #ocaml
cubemonkey has quit [Changing host]
cubemonkey has joined #ocaml
cubemonkey has quit [Quit: Changing server]
anmonteiro has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 272 seconds]
anmonteiro has quit [Ping timeout: 250 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
olle has quit [Ping timeout: 246 seconds]
anmonteiro has joined #ocaml
marvin2 has quit [Ping timeout: 244 seconds]
anmonteiro has quit [Ping timeout: 272 seconds]
iovec has quit [Quit: Connection closed for inactivity]
gravicappa has joined #ocaml
kvda has joined #ocaml
ollehar has joined #ocaml
anmonteiro has joined #ocaml
_whitelogger has joined #ocaml
anmonteiro has quit [Ping timeout: 250 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
andreypopp has joined #ocaml
andreypopp is now known as Guest3017
andreypo_ has joined #ocaml
anmonteiro has joined #ocaml
Guest3017 has quit []
andreypopp_ has joined #ocaml
andreypo_ has quit [Quit: Textual IRC Client: www.textualapp.com]
pierpal has joined #ocaml
anmonteiro has quit [Ping timeout: 250 seconds]
freyr69 has joined #ocaml
<freyr69> How to generate docs for dependencies with dune?
gravicappa has quit [Ping timeout: 246 seconds]
gravicappa has joined #ocaml
anmonteiro has joined #ocaml
anmonteiro has quit [Remote host closed the connection]
anmonteiro has joined #ocaml
Guest25824 has joined #ocaml
Guest25824 has quit [Remote host closed the connection]
iovec has joined #ocaml
Haudegen has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
asymptotically has joined #ocaml
anmonteiro has quit [Remote host closed the connection]
anmonteiro has joined #ocaml
mfp has joined #ocaml
anmonteiro has quit [Ping timeout: 250 seconds]
anmonteiro has joined #ocaml
orbifx has joined #ocaml
Bronsa has quit [Remote host closed the connection]
themsay has joined #ocaml
bartholin has joined #ocaml
marvin2 has joined #ocaml
gravicappa has quit [Ping timeout: 246 seconds]
<orbifx> any Irmin devs here?
<dinosaure> I can try to ask but Iḿ not an expert :)
<orbifx> Do keys have a single type or are both key and value types selected by the programmer? dinosaure
<dinosaure> it seems that a key can have a type selected by the programmer I think when Irmin.S.key = Path.t, but it need to be fixed when you make an Irmin store. It seems that for the Git back-end, key was fixed to be a string list for example
<dinosaure> so, then, I don't the usual and common way to let user to choose something else
<dinosaure> I will ask in intern :)
<orbifx> intern?
<dinosaure> in tarides, to thomas or zach (they don't use irc :( )
<orbifx> what do they use?
themsay has quit [Ping timeout: 268 seconds]
silver has joined #ocaml
KeyJoo has joined #ocaml
gravicappa has joined #ocaml
marvin2 has quit []
pierpal has quit [Read error: Connection reset by peer]
<dinosaure> orbifx: currently slack
initiumdoeslinux has joined #ocaml
jao has joined #ocaml
<zozozo> is it expected that unused value warning can trigger on .mli files ?
Haudegen has quit [Remote host closed the connection]
Birdface has joined #ocaml
initiumdoeslinux has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
ollehar has quit [Ping timeout: 250 seconds]
jao has quit [Ping timeout: 250 seconds]
<orbifx> dinosaure: ow well :/
<orbifx> zozozo: maybe ?! what's the case?
<zozozo> orbifx: actually, it was because the same value was defined more than once in the .mli
<zozozo> it's a lot of fun to re-activate warning on projects in order to clean up the code....
<orbifx> yeah, I think it's best to not deactivate in the first place
<zozozo> I agree (it's an old project on which I'm just now starting to work, :p )
initiumdoeslinux has quit [Remote host closed the connection]
<orbifx> zozozo: :)
anmonteiro has quit [Remote host closed the connection]
aciniglio has joined #ocaml
anmonteiro has joined #ocaml
anmonteiro has quit [Remote host closed the connection]
anmonteiro has joined #ocaml
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
Haudegen has joined #ocaml
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Remote host closed the connection]
freyr69 has quit [Remote host closed the connection]
KeyJoo has quit [Quit: KeyJoo]
GreyFaceNoSpace has quit [Ping timeout: 272 seconds]
GreyFaceNoSpace has joined #ocaml
FreeBirdLjj has joined #ocaml
<dinosaure> orbifx: so zack told me that it's possible but string list is the most used, I think, if you do by yourself application of functors from the irmin core part, you can have choose your key
<dinosaure> And key should respect the intf. Irmin.S.PATH I think (but I'm not sure)
initiumdoeslinux has joined #ocaml
olle has joined #ocaml
<orbifx> dinosaure: kinda makes sense
initiumdoeslinux has quit [Ping timeout: 268 seconds]
<orbifx> dinosaure: and it Irmin mostly recommended for making databases which have a sense of history? I noticed 'steps' and 'branches' in there
_whitelogger has joined #ocaml
Birdface has quit [Ping timeout: 240 seconds]
status402 has joined #ocaml
ziyourenxiang_ has joined #ocaml
ziyourenxiang has quit [Ping timeout: 246 seconds]
GreyFaceNoSpace has quit [Quit: Ex-Chat]
initiumdoeslinux has joined #ocaml
jao has joined #ocaml
aciniglio has quit [Read error: Connection reset by peer]
initiumdoeslinux has quit [Ping timeout: 245 seconds]
iovec has quit [Quit: Connection closed for inactivity]
status402 has quit [Quit: status402]
sagotch has joined #ocaml
<companion_cube> does lwt_ppx do some magic on Lwt_log calls??
<companion_cube> like, Lwt_log knows the function it's called from, wtf
Denommus has joined #ocaml
pierpal has joined #ocaml
asymptotically has quit [Quit: Leaving]
asymptotically has joined #ocaml
<spew> with ppx anything is possible
<Drup> companion_cube: only if you enable that, it's not enabled by default anymore
<Drup> otherwise, yes, there is an option to decorate the lwt_log code, including inlining `~location:__LOC__`
<companion_cube> hu, I didn't enable anything
sagotch has quit [Ping timeout: 245 seconds]
tane has joined #ocaml
al-damiri has joined #ocaml
<Leonidas> zozozo: I have found the fact that dune enables certain warnings by default to be very useful for improving quality of the code.
FreeBirdLjj has quit []
<zozozo> Leonidas: I agree, ^^
Haudegen has quit [Read error: Connection reset by peer]
ziyourenxiang_ has quit [Ping timeout: 268 seconds]
Serpent7776 has joined #ocaml
orbifx has quit [Quit: WeeChat 2.3]
FreeBirdLjj has joined #ocaml
<spew> I also agree
<companion_cube> Leonidas: it's a bit *too* strict sometimes, but yeah
<companion_cube> like, I don't like -warn-error 50
<spew> which one is that?
<spew> I turn off 9
<Leonidas> spew: unexpected documentation comment
<theblatte> error'ing on "unused foo" warnings in all build modes is also very annoying when you're just writing code
<Leonidas> (I just looked up)
FreeBirdLjj has quit [Remote host closed the connection]
<Leonidas> theblatte: I don't find that problematic at all
<theblatte> Leonidas: ok :)
<theblatte> I do
<Leonidas> companion_cube: I like 50. Recently a coworker tried to smuggle a line comment through ocamlformat by using a documentation comment, but dune barfed. So I didn't have to :D
<companion_cube> not sure I see the relation with ocamlformat‽
<theblatte> (to be more precise, I absolutely don't object to crashing the build when trying to *commit* such code, but when iterating on a code change then most warnings shouldn't crash the build IMHO)
<companion_cube> yeah, the only warn-error I really like to enforce is 8 (incomplete matching)
<theblatte> ah, yes :)
<Leonidas> companion_cube: ocamlformat rejects line comments in multi line tuples so using documentation comments goes around that
<Leonidas> theblatte: I absolutely hate when committing fails although building succeeds.
FreeBirdLjj has joined #ocaml
<Leonidas> I need my commits to be fast and not do annoying stuff
<spew> can dune call ocamlformat?
<Leonidas> spew: yes, since 1.3
<theblatte> Leonidas: hah, we really have different expectations then :)
<spew> so then it wouldn't it fail to build then?
<Leonidas> theblatte: we had that in JS, where on commit the linter would shit all over you
<theblatte> to me it's like expecting all tests to pass when developing
initiumdoeslinux has joined #ocaml
<theblatte> I'd much rather have "fail the build on warnings" be part of `make test` than `make`
<Leonidas> spew: depends on how you configure it. Oddly enough ocamlformat (with auto-correct) and building at the same time fails, so we have a separate step
<theblatte> but happy to hear there are other opinions
<Leonidas> it is pretty terrible in a way :(
<Leonidas> theblatte: yes, it would also be nice if I could turn off the type system while developing, it is really annoying to have types enforced while developing :p
<Leonidas> (of course I'm exaggerating a little)
<theblatte> yes, that's clearly the same as what I'm saying
<theblatte> :p
<Leonidas> But these optional things have the tendency to be then not run and 2 months later you build with warnings again and it is a complete mess
FreeBirdLjj has quit [Ping timeout: 240 seconds]
<theblatte> running make test is not optional though
<theblatte> (eg the CI runs it)
<Leonidas> To me it is
<Leonidas> yes, CI does. But my commit hood shouldn't
<theblatte> sure, same here
<Leonidas> Okay, we're sort of on the same page
<theblatte> ^^
<Leonidas> I believe go fails the build with unused identifiers
<Leonidas> (also, you can name things with underscores)
initiumdoeslinux has quit [Ping timeout: 240 seconds]
<theblatte> I have unused identifiers all the time when I'm trying stuff, which is why I mentioned that, and I've seen beginners get hit by this too when trying OCaml + dune, so that's why I mentioned that one in particular
<Leonidas> Maybe it is because I use utop for trying things
<theblatte> not a huge deal anyway, I just find it takes time to fix these warnings to pacify dune just to do one-off experiments
<Leonidas> (but line editing in utop is not super enjoyable in utop)
<theblatte> ah, maybe! whereas I build the executable to try things
<Leonidas> (in utop)
<companion_cube> theblatte: you can just add a `flags` line in dune
fraxamo has joined #ocaml
<theblatte> companion_cube: yes, and I do, just pointlessly complaining about the defaults being someone else's opinion and not mine ;)
<companion_cube> heh, fair enough :D
<companion_cube> warn-error is really too violent for me too
Niamkik has quit [Ping timeout: 245 seconds]
Niamkik has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
jnavila has joined #ocaml
initiumdoeslinux has joined #ocaml
ravenous_ has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 272 seconds]
ravenous_ has quit [Client Quit]
ravenousmoose has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
jnavila has quit [Ping timeout: 244 seconds]
anmonteiro has quit [Remote host closed the connection]
<Serpent7776> How can I escape backslashes and apostrophes in string? I mean replacing it, not when printing. I've found Bytes.escaped, but I'd need to convert twice.
<companion_cube> String.escaped also exists, I think
initiumdoeslinux has joined #ocaml
<spew> sounds useful for writing quines
<Serpent7776> I somehow missed String.escaped. I doesn't escape apostrophes, but that might not be hard requirement. Thanks
anmonteiro has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 245 seconds]
jnavila has joined #ocaml
fraxamo has quit [Quit: Leaving]
orbifx has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
kakadu_ has joined #ocaml
Denommus has quit [Read error: Connection reset by peer]
Spetznaz_ has joined #ocaml
jbrown has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
initiumdoeslinux has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
averell has quit [Quit: .]
averell has joined #ocaml
Haudegen has quit [Remote host closed the connection]
pepesza has quit [Ping timeout: 240 seconds]
pepesza has joined #ocaml
steenuil has joined #ocaml
Guest92668 has joined #ocaml
<rain1> hey
<rain1> someone has this folder .opam/4.07.0/lib/ocaml and it has stdlib.ml somewhere in it
<rain1> im on a different distro, nixos, and when i try find /nix/store/*-ocaml-*/ | grep stdlib.ml there is no result
<rain1> do you know where/how I could get that /lib/ocaml folder? (without opam)
<orbifx> rain1: not done this, but maybe by downloading and building the compiler
<rain1> ok, yt!
<rain1> ty*
<orbifx> confirm this before you venture on, it's just where I would expect to find it if I wasn't getting it from opam
<rain1> it does seem to be the right thing, but there is a missing .ml file from the source relese https://bpaste.net/show/6e90df37bffc
Guest92668 has quit [Read error: Connection reset by peer]
<rain1> >WARNING: sys.ml is generated from sys.mlp.
Serpent7776 has quit [Quit: leaving]
<orbifx> rain1: the double // there is suspicious. Maybe missed a step?
Niamkik has quit [Ping timeout: 252 seconds]
Niamkik has joined #ocaml
spew has quit [Quit: rage quit in disgust]
jnavila has quit [Ping timeout: 246 seconds]
kvda has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
crowley95 has quit [Ping timeout: 250 seconds]
crowley95 has joined #ocaml
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 240 seconds]
bartholin has quit [Remote host closed the connection]
orbifx has quit [Quit: WeeChat 2.3]