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
serge has joined #ocaml
<noway96> Fardale, sure it's not valid,
<noway96> Fardale, sure 'a (list list) is not valid, but is 'a list list equivalent to ('a list) list?
<Armael> yes
<noway96> I see thanks. Why are parenthesis missing in my ocaml interp?
serge has quit [Ping timeout: 260 seconds]
<thizanne> they're not missing, precisely because that's equivalent
<thizanne> would you print 1 + 2 + 3 + 4 as ((1 + 2) + 3) + 4 ?
TruBlu has joined #ocaml
ygrek_ has quit [Ping timeout: 268 seconds]
<noway96> ah right. so types in ocaml are left associative?
<thizanne> yes
<Fardale> I don't see how 'a list list and ('a list) list could not be the same
TruBlu has quit [Ping timeout: 260 seconds]
serge has joined #ocaml
sugarwren has quit [Quit: Leaving]
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
serge has quit [Ping timeout: 265 seconds]
kleisli has quit [Ping timeout: 268 seconds]
Hrundi_V_Bakshi has quit [Ping timeout: 268 seconds]
olle has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
mahmudov has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
kleisli has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge_ has joined #ocaml
serge_ has quit [Read error: Connection reset by peer]
serge has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 260 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
mfp has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
tormen_ has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
tormen has quit [Ping timeout: 265 seconds]
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
gravicappa has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ggole has joined #ocaml
amiloradovsky has quit [Ping timeout: 265 seconds]
mahmudov has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
serge has joined #ocaml
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
serge has quit [Ping timeout: 260 seconds]
jao has quit [Ping timeout: 268 seconds]
narimiran has joined #ocaml
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
serge has joined #ocaml
serge_ has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
_whitelogger has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 260 seconds]
ocaml459 has joined #ocaml
sailor177354 has joined #ocaml
malina has joined #ocaml
ocaml459 has quit [Client Quit]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
kleisli has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
narimiran has quit [Ping timeout: 265 seconds]
dborisog has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
sailor177354 has quit [Quit: Leaving]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
khodzha1 has joined #ocaml
mfp has joined #ocaml
mahmudov has quit [Ping timeout: 265 seconds]
malina has quit [Ping timeout: 265 seconds]
malina has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
serge has quit [Remote host closed the connection]
serge has joined #ocaml
jnavila has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
jnavila has quit [Ping timeout: 256 seconds]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
jnavila has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
malina has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
jnavila has quit [Ping timeout: 272 seconds]
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
decentpenguin has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
malina has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
serge has quit [Remote host closed the connection]
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
serge has joined #ocaml
ocaml459 has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
jao has joined #ocaml
jao is now known as Guest60511
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
Guest60511 has quit [Remote host closed the connection]
Guest60511 has joined #ocaml
narimiran has joined #ocaml
ocaml459 has quit [Client Quit]
malina has quit [Ping timeout: 268 seconds]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
vinoski has quit []
vinoski has joined #ocaml
malina has joined #ocaml
ocaml459 has quit [Client Quit]
Guest60511 has quit [Changing host]
Guest60511 has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
Guest60511 is now known as jao
serge has joined #ocaml
serge has quit [Remote host closed the connection]
serge has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
cemerick has quit []
cemerick has joined #ocaml
malina has quit [Ping timeout: 265 seconds]
Haudegen has joined #ocaml
SrPx has quit []
ocaml459 has joined #ocaml
SrPx has joined #ocaml
ocaml459 has quit [Client Quit]
jnavila has joined #ocaml
kleisli has joined #ocaml
malina has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
banjiewen has quit []
banjiewen has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
decentpenguin has quit [Quit: decentpenguin]
kleisli has quit [Ping timeout: 240 seconds]
kleisli has joined #ocaml
Segaja has joined #ocaml
<Segaja> hi, i'm trying to build a docker container for liquidsoap. i'm basing it on a debian:10-slim docker image and then installing opam from the normal repositories. when running `opam init --shell-setup` I get this error: [ERROR] Solver failed: "/usr/bin/aspcud /tmp/opam-xxx-14/solver-in-14-d474c2 /tmp/opam-xxx-14/solver-out-14-dc6e87
<Segaja> -count(removed),-sum(request,version-lag),-count(down),-sum(solution,version-lag),-count(changed)" exited with code 1 "ERROR: grounder returned with non-zero exit status"
amiloradovsky has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
mahmudov has joined #ocaml
mahmudov has joined #ocaml
sagax has quit [Remote host closed the connection]
dborisog has quit [Ping timeout: 265 seconds]
lizzin has joined #ocaml
narimiran has quit [Ping timeout: 265 seconds]
kakadu has joined #ocaml
narimiran has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ggole has quit [Quit: Leaving]
adrianbrink has quit []
adrianbrink has joined #ocaml
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
jerme_ has quit []
jerme_ has joined #ocaml
noway96 has quit [Ping timeout: 245 seconds]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
serge has quit [Remote host closed the connection]
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
gravicappa has quit [Ping timeout: 260 seconds]
rdivyanshu has quit []
serge_ has joined #ocaml
rdivyanshu has joined #ocaml
narimiran has quit [Quit: leaving]
sagax has joined #ocaml
brettgilio has quit [Read error: Connection reset by peer]
brettgilio has joined #ocaml
analogue has joined #ocaml
analogue has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
khodzha1 has quit [Quit: Leaving.]
serge_ has quit [Remote host closed the connection]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
GreyFaceNoSpace has quit [Ping timeout: 268 seconds]
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
serge has joined #ocaml
GreyFaceNoSpace has joined #ocaml
serge has quit [Ping timeout: 260 seconds]
ygrek_ has quit [Ping timeout: 260 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 260 seconds]
jnavila has quit [Ping timeout: 256 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
kakadu has quit [Remote host closed the connection]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
mahmudov has quit [Remote host closed the connection]
serge has joined #ocaml
serge_ has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge_ has quit [Ping timeout: 268 seconds]