adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
oriba has joined #ocaml
zebrag has joined #ocaml
inkbottle has quit [Ping timeout: 256 seconds]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
malc_ has quit [Ping timeout: 256 seconds]
peterbb has quit [Ping timeout: 265 seconds]
dborisog has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
schlaftier has quit [Quit: Ping timeout (120 seconds)]
schlaftier has joined #ocaml
mbuf has joined #ocaml
osa1 has joined #ocaml
narimiran has joined #ocaml
Haudegen has joined #ocaml
malc_ has joined #ocaml
chripell has joined #ocaml
Serpent7776 has joined #ocaml
malc_ has quit [Ping timeout: 264 seconds]
rom1504 has quit [*.net *.split]
drdee has joined #ocaml
rom1504 has joined #ocaml
jbrown has quit [Ping timeout: 272 seconds]
jbrown has joined #ocaml
vikfret has quit [Quit: Leaving]
dckc has quit [Ping timeout: 260 seconds]
dckc has joined #ocaml
malc_ has joined #ocaml
CcxWrk has quit [Read error: Connection reset by peer]
CcxWrk has joined #ocaml
ziman has quit [Ping timeout: 256 seconds]
inkbottle has joined #ocaml
zebrag has quit [Ping timeout: 240 seconds]
ziman has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
mfp has joined #ocaml
peterbb has joined #ocaml
<osa1> is this comment still valid or were there any updates to this? https://github.com/ocaml/ocaml/issues/7206#issuecomment-473058208
kleisli_ has joined #ocaml
kleisli__ has quit [Ping timeout: 240 seconds]
artymort has quit [Ping timeout: 258 seconds]
Anarchos has joined #ocaml
jco has joined #ocaml
drdee has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
dborisog has quit [Ping timeout: 240 seconds]
<octachron> osa1, as far as I can remember, there was no major breakthrough on the issue and the comment is still relevant.
Haudegen has joined #ocaml
<jco> Hello!
<jco> Playing with lwt on an existing project but it is hard to type a function well
<jco> here is the relevant code: https://framabin.org/p/?95fa880617dfd09b#etY7UJ+7ThaSqTX4AvQXy0trVIR8x+NebYT27gOYqrY=
<Leonidas> this looks more like an object problem
<jco> why is id an option?
olle has joined #ocaml
<Fardale> jco: in label_id_of_resp you match id with None and Some _
<jco> ahh
<jco> Fardale: label#id instead?
<Fardale> you can remove the "match label#id with …" and just put Ok label#id
<jco> Fardale: wow, it did the trick, many thanks!
<jco> so the fact that label#id was matched by Some _ and None made ocaml think id was a string option, right?
<jco> huh that's what you said :)
<Fardale> Well the compiler does not think, you matched it with Some and None so it has to be a string option. Then you tried to apply it with something else so you get the error message.
<jco> right
<Fardale> You can think as the compiler deduce the type by looking at what you do with it. If you get an error then somewhere you use some expression the wrong way.
<flux1> with object I often like to annotate types, it leads to better error messages
<flux1> in this case annotating (resp : thetypeofresp) in the definition would have probably improved the error message
<jco> Fardale: yes, i know this ;)
<jco> the phrasing wasn't great
<jco> flux1: good idea (although those types are horribly long)
<flux1> often times they're just a name
<flux1> but sure, if you don't have a name for the type :)
kleisli_ has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
jbrown has quit [Ping timeout: 256 seconds]
jbrown has joined #ocaml
<Leonidas> What I don't like about github orgs is I never know who to bother when I submit a PR :/
<flux1> you mean whom to ask about the (non)progress of a PR?
<Leonidas> yes or to kick Travis to rerun CI builds.
<flux1> well, look for who has accepted past PRs
<Leonidas> it is 2020 and the PR creator can push a new commit to build the whole matrix, but not rerun failed builds.
<flux1> I think many CIs fail at that
<Leonidas> Given Travis is a dead man walking this won't ever be fixed
<olle> travis?
<olle> dead?
FreeBirdLjj has joined #ocaml
<olle> noooooooo
waleee-cl has joined #ocaml
drdee has joined #ocaml
muskan has joined #ocaml
muskan has quit [Remote host closed the connection]
muskan has joined #ocaml
dckc has quit [Ping timeout: 240 seconds]
raver has quit [Remote host closed the connection]
dckc has joined #ocaml
ggole has joined #ocaml
osa1 has quit [Ping timeout: 246 seconds]
malc_ has quit [Remote host closed the connection]
raver has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
osa1 has joined #ocaml
jco has quit [Ping timeout: 272 seconds]
muskan has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
olle has quit [Ping timeout: 258 seconds]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
chripell has quit [Ping timeout: 246 seconds]
mbuf has quit [Quit: Leaving]
marmoset has joined #ocaml
drdee has quit [Ping timeout: 260 seconds]
ggole has quit [Quit: Leaving]
osa1 has quit [Ping timeout: 265 seconds]
narimiran has quit [Quit: leaving]
olle has joined #ocaml
marmoset has quit [Remote host closed the connection]
olle has quit [Ping timeout: 240 seconds]
kleisli has joined #ocaml
Serpent7776 has quit [Quit: leaving]
tane has quit [Quit: Leaving]
Haudegen has quit [Quit: Bin weg.]
jbrown has quit [Ping timeout: 272 seconds]
inkbottle has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml