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
ocabot has quit [Ping timeout: 246 seconds]
companion_cube has quit [Ping timeout: 244 seconds]
cthuluh has quit [Ping timeout: 250 seconds]
iovec has quit [Quit: Connection closed for inactivity]
jaar has joined #ocaml
jaar has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spew has quit [Quit: Connection closed for inactivity]
kvda has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
ocabot has joined #ocaml
companion_cube has joined #ocaml
silver has quit [Read error: Connection reset by peer]
al-damiri has quit [Quit: Connection closed for inactivity]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
ocabot has quit [Remote host closed the connection]
ocabot has joined #ocaml
bronsen has quit [Ping timeout: 240 seconds]
keep_learning has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
calculon has joined #ocaml
calculon has quit [Remote host closed the connection]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 244 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
kvda has joined #ocaml
sagax has joined #ocaml
AnAverageHuman has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
gravicappa has joined #ocaml
sagax has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
AnAverageHuman has quit [Ping timeout: 256 seconds]
ptival[m] has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
iovec has joined #ocaml
freyr69 has joined #ocaml
Guest37220 has joined #ocaml
<adrien> companion_cube: definitely!
<adrien> companion_cube: that'd be useful to auto-op
zmt00 has joined #ocaml
zmt01 has quit [Ping timeout: 240 seconds]
sagotch has joined #ocaml
cthuluh_ has joined #ocaml
ygrek has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
bartholin has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
gravicappa has quit [Ping timeout: 245 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
klntsky has quit [Ping timeout: 256 seconds]
klntsky has joined #ocaml
mfp has joined #ocaml
pierpal has joined #ocaml
shakalaka has joined #ocaml
Haudegen has joined #ocaml
dmiles has quit [Ping timeout: 244 seconds]
FreeBirdLjj has quit [Ping timeout: 244 seconds]
FreeBirdLjj has joined #ocaml
dmiles has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
MadcapJake has quit [Quit: MadcapJake]
MadcapJake has joined #ocaml
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
Ptival has quit [Ping timeout: 245 seconds]
MadcapJake has quit [Client Quit]
MadcapJake has joined #ocaml
Ptival has joined #ocaml
decentpenguin has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
silver has joined #ocaml
asymptotically has joined #ocaml
gravicappa has joined #ocaml
kvda has joined #ocaml
FreeBirdLjj has joined #ocaml
sagotch has quit [Quit: Leaving.]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBird_ has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
bronsen has joined #ocaml
<freyr69> I've added mli files to my project and moved all annotations there, and now ocaml refuses to build due to type ambiguity. Why do I need annotations in the ml files if I have them in mli already?
<lyxia> one pragmatic reason is that the compiler doesn't want to have two distinct ways of compiling an ml file (with / without mli)
sagotch has joined #ocaml
Denommus has joined #ocaml
kalio has quit [Ping timeout: 268 seconds]
kalio has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Denommus has quit [Remote host closed the connection]
madroach has joined #ocaml
orbifx has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
mfp has quit [Ping timeout: 240 seconds]
q9929t has joined #ocaml
Haudegen has quit [Ping timeout: 245 seconds]
q9929t has quit [Quit: q9929t]
<def`> Well... technically it does, and we could consider that adding new type declarations as valid coercion (a "pure" way to extend a signature).
<def`> freyr69: it is likely just a problem of vocabulary, but moving annotations shouldn't break compilation in most cases (unless you have something which is not principal, such as certain kind of recursions), however type declarations need to be duplicated
<companion_cube> adrien: do you know how it works on freenode? simple privmsg?
spew has joined #ocaml
sagax has joined #ocaml
philtor has quit [Remote host closed the connection]
<adrien> companion_cube: "/msg nickserv identify hunter2" is all I know
<companion_cube> sounds good enough
<companion_cube> wait, your password is ******* ?
<spew> but you have to write your password
<spew> and not just asterisks
<spew> companion_cube: beat me to it
<adrien> I know geeknode is different: /msg C nick identify hunter2
<adrien> :)
<adrien> and it would be handy to be able to pass the account name in addition to that
<adrien> (I never know where it goes in the message)
<companion_cube> I think it's before the password
<companion_cube> but ok, neat, I think we have a hook post-connection
<adrien> great! :)
<adrien> now I need my machine to magically come back online
mfp has joined #ocaml
<companion_cube> :D
<companion_cube> tbh ocaml-irc-client now does a decent job at repairing a connection
<companion_cube> but it won't restart your machine
<adrien> that's actually going to be pretty convenient already
<adrien> but yeah, I hope it doesn't decrypt LUKS by itself :P
<companion_cube> with systemd + the reconnection abilities of irc-client I find my bots to be reliable, these days
notnotdan` has quit [Remote host closed the connection]
notnotdan` has joined #ocaml
al-damiri has joined #ocaml
bugabinga has quit [Quit: bugabinga]
ollehar has joined #ocaml
decentpenguin has joined #ocaml
bugabinga has joined #ocaml
FreeBirdLjj has joined #ocaml
marvin2 has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 250 seconds]
<kakekongen> Any ideas why I don't get any output (ncurses-UI) when I execute ocp-browser?
<Drup> hu, that's weird
<kakekongen> Did I forget to do something to generate the necessary files for it?
<Drup> There are no necessary files
<kakekongen> No necessary commands to run after installing it?
<Drup> nope
<Drup> you should only need a functional terminal
<kakekongen> (Just did an uninstall, clean and install again now - still same output)
<Drup> which version ?
<kakekongen> Opam 2.0.2 and OCaml 4.07.0
<Drup> and ocp-browser ?
<kakekongen> 1.1.8
<Drup> and it outputs *nothing at all* ?
<kakekongen> Nope
<kakekongen> Not a thing
<Drup> no, that's solved in 1.1.8
<kakekongen> Whaaaat
<kakekongen> Issue and a trace?
<Drup> Can you try in another terminal, just in case ?
<kakekongen> Like another terminal emulator?
<Drup> yeah
<kakekongen> Gimme a couple'
<Drup> hmm, wait
<kakekongen> should gnome's work?
<kakekongen> I am currently on Konsole
<kakekongen> Using it over SSH (neither Konsole, nor Gnome Terminal seem to work for me), and not via SSH, the XFCE terminal yields no output either
FreeBirdLjj has joined #ocaml
<freyr69> How to create file with Unix?
<freyr69> open?
<companion_cube> openfile?
<Drup> kakekongen: I can reproduce, let me see
<freyr69> companion_cube: the unfortunate part is that I would need to close it then.
<companion_cube> if you want to do a lot of OS stuff, maybe look at bos? or extunix
FreeBirdLjj has quit [Remote host closed the connection]
<freyr69> companion_cube: I'll check bos, since it seems that mirage people use it
<freyr69> thanks
<Drup> I am highly puzzled
<Drup> It's not on ocp-browser's side, 1.1.6 has the same issue
<Drup> It's not due to cmdliner latest release either.
<Drup> lambda-term has not had a release in years
nikivi has quit [Remote host closed the connection]
nikivi has joined #ocaml
<Drup> Ok, it's the last version of dune
<companion_cube> ôO
<kakekongen> Hmm, so I could possibly downgrade my dune?
<Drup> Yep, confirmed, it's dune 1.6.3
<theblatte> does opam have a notion of "test-time dependencies"? my "run-test" field needs more dependencies than my "build" field
<rks`> theblatte: it does
<rks`> you can add {test} next to the dependency I believe
<theblatte> woot
<theblatte> thanks
FreeBirdLjj has joined #ocaml
<Drup> rgr[m]: shouldn't dune 1.6.3 be incompatible with jbuilder transition ?
FreeBirdLjj has quit [Ping timeout: 245 seconds]
<kakekongen> Thanks a bunch Drup. Downgrading dune to 1.6.2 and reinstalling ocp-index and ocp-browser did the trick! :)
orbifx has quit [Quit: WeeChat 2.3]
<rks`> (btw theblatte, looking at https://dune.build/blog/second-step-deprecation/ it seems like {with-test} also applies to build commands)
<theblatte> ( :'( )
<rks`> (I think you meant « \o/ »)
freyr69 has quit [Remote host closed the connection]
<theblatte> ah, reading the actual document I see what you mean now ^^
<theblatte> isn't that what "run-test" is for?
ollehar has quit [Ping timeout: 268 seconds]
<companion_cube> that's deprecated
<companion_cube> I think
<companion_cube> it's all in `build` now
<theblatte> the doc says that some other name for "run-test" is deprecated, sigh
<theblatte> "build-test"
<companion_cube> put the tests in build with `{with-test}` flag
<theblatte> sure
<theblatte> I was reading https://github.com/ocaml/ocaml-ci-scripts/blob/master/README-travis.md, which mentions "build-test", then opam complained that I should write run-test ^^
Serpent7776 has joined #ocaml
kakekongen has quit [Ping timeout: 244 seconds]
<companion_cube> this is from opam1, I think
Denommus has joined #ocaml
<theblatte> bash: /dev/fd/62: No such file or directory << not sure I understand that travis error :(
jao has quit [Remote host closed the connection]
sagotch has quit [Quit: Leaving.]
jao has joined #ocaml
Denommus has quit [Remote host closed the connection]
tane has joined #ocaml
kakekongen has joined #ocaml
Denommus has joined #ocaml
<cemerick> companion_cube: tweaked up my hottest sections with Sequence, got a 3x speedup 👍
<companion_cube> \o/
Denommus has quit [Remote host closed the connection]
<cemerick> leaving aside the caching behaviour, `persistent` and `persistent_lazy` should yield the same series of values, correct?
jun has quit [Quit: WeeChat 2.3]
jun has joined #ocaml
jun has quit [Client Quit]
jun has joined #ocaml
jun has quit [Client Quit]
jun has joined #ocaml
kalloc has quit [Read error: Connection reset by peer]
jun has quit [Quit: WeeChat 2.3]
jun has joined #ocaml
jun has quit [Client Quit]
jun has joined #ocaml
jun has quit [Client Quit]
jun has joined #ocaml
jun has quit [Client Quit]
jun has joined #ocaml
Denommus has joined #ocaml
gravicappa has quit [Ping timeout: 250 seconds]
<companion_cube> they should, yes
kakadu_ has joined #ocaml
<cemerick> ok; I started with persistent_lazy, and had test failures; swapping that for persistent fixed them. So, something's awry
<cemerick> I'll try to come up with a minimal failure case
<companion_cube> what's the source of items?
SpiceGuid has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
Serpent7776 has quit [Quit: leaving]
q9929t has joined #ocaml
q9929t has quit [Quit: q9929t]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
Haudegen has joined #ocaml
pierpal has quit [Ping timeout: 272 seconds]
<cemerick> companion_cube: traversals over a graph via `unfoldr`
<companion_cube> I mean, is the source purely functional?
<companion_cube> the risk is when you use persistent_lazy and then the underlying sequence becomes inacessible (closed socket, etc)
<cemerick> it is, but actually, I think I know why they differ. Unrelated to Sequence.
<cemerick> the compiler (not so) secretly hates us: I get `Error (warning 21): this statement never returns (or has an unsound type.)`, and the fix was to wrap a `match` in parens 🙃
<companion_cube> hum :D
* companion_cube increments his "I want to make an alternative syntax for OCaml" counter
<cemerick> another one? :-P
<companion_cube> it would be exactly like vanilla OCaml but with `end` after if/match/try :)
<cemerick> hah
<cemerick> a proper lisp frontend with some dune hooks to get proper macros would be pretty fly
recj has joined #ocaml
<companion_cube> I believe that what you call "macros" some people call "ppxx"
<companion_cube> "ppx"
<companion_cube> (not that they're easy to write)
<cemerick> lawl
<cemerick> ppx's are neat, more pleasant than TH, but neither are an acceptable macro system
tane has quit [Quit: Leaving]
<companion_cube> yeah, good luck with that :/
nullifidian_ has joined #ocaml
nullifidian_ is now known as nullifidian
Denommus has quit [Read error: Connection reset by peer]
Niamkik has quit [Ping timeout: 268 seconds]
<cemerick> companion_cube: any hints re: composing `pp` functions for nested maps? I have one where it looks like the `pp_print_cut` is being ignored on the output of the inner map
<cemerick> either that, or I'm not understanding `pp_print_cut`'s semantics properly. The inner map's values are being interrupted by linebreaks.
<Drup> wrap boxes around
<Drup> In case of doubt, add boxes
Guest37220 has quit [Ping timeout: 240 seconds]
<companion_cube> cemerick: are you using CCMap.S.pp ?
<companion_cube> (if it's the case, then yes, indeed, there's a cut after each key/value pair)
Niamkik has joined #ocaml
<Drup> companion_cube: didn't you rewrote your pp combinators with `unit t` as separators everywhere N
<companion_cube> not in containers
<cemerick> companion_cube: yeah, `module M = Map.Make(...)`, then `M.pp`, etc.
<companion_cube> anyway, what's the problem exactly?
<companion_cube> https://paste.isomorphis.me/dxQ <-- with boxes around values
SpiceGuid has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]
wilfredh has joined #ocaml
bartholin has quit [Remote host closed the connection]
recj has quit [Remote host closed the connection]
orbifx has joined #ocaml
kvda has joined #ocaml
SpiceGuid has joined #ocaml
asymptotically has quit [Quit: Leaving]
pierpal has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]
SpiceGuid has joined #ocaml
SpiceGuid has quit [Client Quit]
<cemerick> companion_cube: exactly that. Map.pp doesn't use boxes, so it's easy to get output that's harder to scan
notnotdan` has quit [Remote host closed the connection]
notnotdan` has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
mathsm has quit [Quit: WeeChat 0.4.2]
<companion_cube> it puts the breaks, but you're the one who should put a box around
<companion_cube> (although it's indeed at odds with prefix/suffix args…)
troydm has joined #ocaml