<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!]