Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
waleee has quit [*.net *.split]
average has quit [*.net *.split]
kandu has quit [*.net *.split]
dwt_ has quit [*.net *.split]
terrorjack has quit [*.net *.split]
andreypopp has quit [*.net *.split]
lobo has quit [*.net *.split]
kakadu has quit [*.net *.split]
zozozo has quit [*.net *.split]
remexre has quit [*.net *.split]
kandu has joined #ocaml
kakadu has joined #ocaml
zozozo has joined #ocaml
lobo has joined #ocaml
waleee has joined #ocaml
Colt has quit [Remote host closed the connection]
lobo has quit [Signing in (lobo)]
lobo has joined #ocaml
average has joined #ocaml
average has joined #ocaml
average has quit [Changing host]
dwt_ has joined #ocaml
Colt has joined #ocaml
andreypopp has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
remexre has joined #ocaml
sheb has quit [Ping timeout: 240 seconds]
reynir has quit [Ping timeout: 252 seconds]
Tuplanolla has quit [Quit: Leaving.]
Absalom has joined #ocaml
waleee has quit [Quit: WeeChat 3.3]
sheb has joined #ocaml
sheb has quit [Remote host closed the connection]
sheb has joined #ocaml
<d_bot> <Jektrix> I'm just getting started looking into some distributed systems stuff and I'm a little confused by Irmin vs CRDTs
<d_bot> <Jektrix> Where the overlap is , what the differences are, Are they just different names for a similar thing?
mbuf has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
shawn has quit [Ping timeout: 245 seconds]
salkin has joined #ocaml
sagax has quit [Quit: Konversation terminated!]
shawn has joined #ocaml
ansiwen_ has quit [Quit: ZNC 1.7.1 - https://znc.in]
ansiwen has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
Haudegen has joined #ocaml
gravicappa has joined #ocaml
gravicappa has quit [Ping timeout: 252 seconds]
gravicappa has joined #ocaml
malc has joined #ocaml
malc has left #ocaml [ERC (IRC client for Emacs 28.0.50)]
lobo has quit [Quit: lobo]
lobo has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
reynir has joined #ocaml
reynir has quit [Client Quit]
reynir has joined #ocaml
mro has joined #ocaml
salkin has quit [Ping timeout: 256 seconds]
salkin has joined #ocaml
b0o has quit [Quit: WeeChat 3.3]
b0o has joined #ocaml
b0o has quit [Client Quit]
b0o has joined #ocaml
b0o has quit [Quit: WeeChat 3.3]
b0o has joined #ocaml
olle has joined #ocaml
b0o has quit [Quit: WeeChat 3.3]
zozozo has quit [Quit: WeeChat 2.9]
zozozo has joined #ocaml
b0o has joined #ocaml
b0o has quit [Client Quit]
b0o has joined #ocaml
b0o has quit [Client Quit]
b0o has joined #ocaml
b0o has quit [Quit: WeeChat 3.3]
b0o has joined #ocaml
b0o has quit [Client Quit]
kakadu has quit [Remote host closed the connection]
b0o_ has joined #ocaml
kakadu has joined #ocaml
b0o_ has quit [Quit: WeeChat 3.3]
b0o has joined #ocaml
b0o has quit [Client Quit]
bartholin has joined #ocaml
b0o_ has joined #ocaml
b0o_ has quit [Client Quit]
b0o has joined #ocaml
b0o has quit [Remote host closed the connection]
b0o has joined #ocaml
b0o has quit [Remote host closed the connection]
b0o has joined #ocaml
b0o has quit [Remote host closed the connection]
mro has quit [Remote host closed the connection]
b0o has joined #ocaml
mro has joined #ocaml
swarmpan has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
terrorjack has joined #ocaml
olle has quit [Quit: leaving]
gravicappa has quit [Ping timeout: 256 seconds]
glassofethanol has joined #ocaml
glassofethanol has quit [Read error: error:1408F119:SSL routines:ssl3_get_record:decryption failed or bad record mac]
glassofethanol has joined #ocaml
glassofethanol has quit [Remote host closed the connection]
glassofethanol has joined #ocaml
glassofethanol has quit [Read error: error:1408F119:SSL routines:ssl3_get_record:decryption failed or bad record mac]
gravicappa has joined #ocaml
<reynir> Fun! Got a 1250 lines long type error \o/
mro has quit [Remote host closed the connection]
<d_bot> <antron> you win! 😛
<reynir> 🥳
Haudegen has quit [Quit: Bin weg.]
sagax has joined #ocaml
swarmpan has quit [Quit: Client closed]
mro has joined #ocaml
slothby has quit [Quit: brb ... maybe]
mro has quit [Ping timeout: 252 seconds]
gravicappa has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
Enjolras has quit [Ping timeout: 260 seconds]
Enjolras has joined #ocaml
<d_bot> <VPhantom> "Your whole program is wrong. Please fix it."
mro has joined #ocaml
glassofethanol has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
shawn has quit [Ping timeout: 252 seconds]
<Leonidas> Pretty impressive. Though with polymorphic variants that feels quite easily achievable ;-)
<Leonidas> https://gist.github.com/Leonidas-from-XIV/8980e037d968485535234d69dda194f8 I feel like I am missing a tiny little bit but the compiler just somehow doesn't see that OpamPackageName.t and OpamPackage.Name.t is the same
<octachron> the constraint "OpamPackageName : Printable" makes OpamPackageName.t abstract (and unusable)
<Leonidas> ah, adding the sharing constraint there helps
mro has quit [Remote host closed the connection]
<Leonidas> thanks :)
sheb has quit [Quit: Leaving]
slothby has joined #ocaml
rgrinberg has joined #ocaml
gravicappa has joined #ocaml
xiongxin has joined #ocaml
xiongxin has quit [Client Quit]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
spip has joined #ocaml
zebrag has joined #ocaml
mro has joined #ocaml
salkin has quit [Ping timeout: 252 seconds]
Haudegen has quit [Quit: Bin weg.]
bartholin has quit [Quit: Leaving]
<d_bot> <cemerick> I was digging around after dealing with a well-hidden exception that was occurring in an lwt promise, and came across this https://github.com/ocsigen/lwt/issues/840
<d_bot> <cemerick> > Another confusing thing is that stack trace propagation with Lwt currently only happens when using lwt_ppx by producing calls to Lwt.backtrace_bind. This is not the case with >>= and the new (let*) operators. In addition to that the docs for Lwt_ppx hide the fact that the ppx will produce better traces.
<d_bot> <cemerick> suffice it to say, I leaned back and literally said "oof" 😬
mro has quit [Remote host closed the connection]
Techcable_ is now known as Techcable
rgrinberg has quit [Ping timeout: 256 seconds]
<d_bot> <cemerick> is it so crazy to think that operators should themselves be potential ppx extension points? Seems like absent some mechanism for intervention like that, the above is sort of intractible.
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
<companion_cube> you can redefine (let*) to be backtrace_bind
<companion_cube> I don't know why it's not the case
Anarchos has joined #ocaml
glassofethanol has quit [Quit: leaving]
mbuf has quit [Quit: Leaving]
Haudegen has joined #ocaml
Guest1723 has joined #ocaml
Guest1723 has quit [Ping timeout: 256 seconds]
waleee has joined #ocaml
Corbin has quit [Ping timeout: 265 seconds]
Corbin has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
waleee has quit [Quit: WeeChat 3.3]
waleee has joined #ocaml
Tuplanolla has joined #ocaml
rgrinberg has joined #ocaml
Serpent7776 has quit [Quit: leaving]
<rgrinberg> companion_cube why do you want to re-export lwd from nottui?
<companion_cube> o/
<companion_cube> to only have to care about one module.
<companion_cube> this needs to be as fluent as possible
<companion_cube> btw /j #lwd :)
<rgrinberg> I don't think it's a good idea. it is notoriously confusing for tooling and navigation
<rgrinberg> you end up having to goto definition twice everywhere, the docs are duplicated, compilation slows down
<companion_cube> compilation would slow down imperceptibly
<rgrinberg> I think the slow down is proportional to the size of the interface of Lwd :)
<companion_cube> yeah and it's tiny
<rgrinberg> Anyway, it's just my experience from working with async/core which insist on re-exporting everything everywhere.
<companion_cube> btw, since you're here: is there an equivalent of @check that doesn't try to compile non-installable stuff?
<rgrinberg> It's awful and creates a maze
<companion_cube> (ie doesn't try to compile benchmarks and other things)
spip has quit [Quit: Konversation terminated!]
<rgrinberg> it depends on how your organized your sources
<rgrinberg> if you have a directory that includes everything but the benchmarks you could do dune build @src/check
<companion_cube> here it's in the context of yojson, and opam-ci
<rgrinberg> But usually in this case I just let the check fail on the benchmarks repeatedly
<companion_cube> ocaml-ci? whatever
<rgrinberg> hmm so why do you run @check in ci?
<companion_cube> idk, it seems to be part of ocaml-ci
<rgrinberg> no idea then, but you do lose out if the benchmarks aren't tested with @check, no?
gravicappa has quit [Ping timeout: 252 seconds]
grobe0ba has quit [Quit: ZNC 1.8.2 - https://znc.in]
grobe0ba has joined #ocaml
Guest1731 has joined #ocaml
Guest1731 has quit [Quit: Client closed]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<mclovin> The next OUPS (OCaml Users in Paris) meetup will take place on 9th of decembre: https://www.meetup.com/fr-FR/ocaml-paris/events/282434883