#ocaml on 2020-02-02 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 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

00:01 serge has joined #ocaml

00:05 <noway96> Fardale, sure it's not valid,

00:05 <noway96> Fardale, sure 'a (list list) is not valid, but is 'a list list equivalent to ('a list) list?

00:05 <Armael> yes

00:06 <noway96> I see thanks. Why are parenthesis missing in my ocaml interp?

00:07 serge has quit [Ping timeout: 260 seconds]

00:07 <thizanne> they're not missing, precisely because that's equivalent

00:08 <thizanne> would you print 1 + 2 + 3 + 4 as ((1 + 2) + 3) + 4 ?

00:10 TruBlu has joined #ocaml

00:12 ygrek_ has quit [Ping timeout: 268 seconds]

00:12 <noway96> ah right. so types in ocaml are left associative?

00:14 <thizanne> yes

00:16 <Fardale> I don't see how 'a list list and ('a list) list could not be the same

00:28 TruBlu has quit [Ping timeout: 260 seconds]

00:29 serge has joined #ocaml

00:31 sugarwren has quit [Quit: Leaving]

00:34 serge has quit [Ping timeout: 265 seconds]

00:59 serge has joined #ocaml

01:04 ocaml459 has joined #ocaml

01:05 ocaml459 has quit [Client Quit]

01:05 serge has quit [Ping timeout: 265 seconds]

01:19 kleisli has quit [Ping timeout: 268 seconds]

01:44 Hrundi_V_Bakshi has quit [Ping timeout: 268 seconds]

01:49 olle has quit [Ping timeout: 268 seconds]

01:51 olle has joined #ocaml

01:51 mahmudov has quit [Ping timeout: 265 seconds]

01:56 serge has joined #ocaml

02:01 serge has quit [Ping timeout: 265 seconds]

02:14 serge has joined #ocaml

02:17 kleisli has joined #ocaml

02:19 serge has quit [Ping timeout: 265 seconds]

02:25 serge has joined #ocaml

02:30 serge has quit [Ping timeout: 265 seconds]

02:30 serge_ has joined #ocaml

02:33 serge_ has quit [Read error: Connection reset by peer]

02:33 serge has joined #ocaml

02:34 amiloradovsky has quit [Remote host closed the connection]

02:34 amiloradovsky has joined #ocaml

02:38 serge has quit [Ping timeout: 265 seconds]

02:59 serge has joined #ocaml

03:03 serge has quit [Ping timeout: 268 seconds]

03:06 serge has joined #ocaml

03:10 serge has quit [Ping timeout: 260 seconds]

03:30 serge has joined #ocaml

03:34 serge has quit [Ping timeout: 265 seconds]

03:47 mfp has quit [Ping timeout: 268 seconds]

03:51 serge has joined #ocaml

03:52 tormen_ has joined #ocaml

03:53 serge has quit [Read error: Connection reset by peer]

03:54 serge has joined #ocaml

03:55 tormen has quit [Ping timeout: 265 seconds]

03:58 serge has quit [Ping timeout: 265 seconds]

04:13 serge has joined #ocaml

04:18 serge has quit [Ping timeout: 265 seconds]

04:36 serge has joined #ocaml

04:41 serge has quit [Ping timeout: 265 seconds]

04:47 serge has joined #ocaml

04:48 gravicappa has joined #ocaml

04:51 serge has quit [Ping timeout: 268 seconds]

05:04 ocaml459 has joined #ocaml

05:05 ocaml459 has quit [Client Quit]

05:19 ggole has joined #ocaml

05:19 amiloradovsky has quit [Ping timeout: 265 seconds]

05:54 mahmudov has joined #ocaml

05:59 ocaml459 has joined #ocaml

06:00 ocaml459 has quit [Client Quit]

06:01 ocaml459 has joined #ocaml

06:04 ocaml459 has quit [Client Quit]

06:04 ocaml459 has joined #ocaml

06:07 ocaml459 has quit [Client Quit]

06:07 ocaml459 has joined #ocaml

06:10 ocaml459 has quit [Client Quit]

06:11 ocaml459 has joined #ocaml

06:12 ocaml459 has quit [Client Quit]

06:12 ocaml459 has joined #ocaml

06:17 ocaml459 has quit [Client Quit]

06:17 ocaml459 has joined #ocaml

06:18 ocaml459 has quit [Client Quit]

06:18 ocaml459 has joined #ocaml

06:24 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:24 ocaml459 has joined #ocaml

06:30 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:30 ocaml459 has joined #ocaml

06:35 serge has joined #ocaml

06:36 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:36 ocaml459 has joined #ocaml

06:39 serge has quit [Ping timeout: 260 seconds]

06:42 jao has quit [Ping timeout: 268 seconds]

06:42 narimiran has joined #ocaml

06:44 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:44 ocaml459 has joined #ocaml

06:50 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:50 ocaml459 has joined #ocaml

06:51 ocaml459 has quit [Client Quit]

07:14 oni-on-ion has quit [Remote host closed the connection]

07:14 oni-on-ion has joined #ocaml

08:14 serge has joined #ocaml

08:19 serge_ has joined #ocaml

08:19 serge has quit [Ping timeout: 265 seconds]

08:24 _whitelogger has joined #ocaml

08:26 serge has joined #ocaml

08:30 serge has quit [Ping timeout: 265 seconds]

08:45 serge has joined #ocaml

08:50 serge has quit [Ping timeout: 260 seconds]

08:51 ocaml459 has joined #ocaml

08:51 sailor177354 has joined #ocaml

08:52 malina has joined #ocaml

08:52 ocaml459 has quit [Client Quit]

09:19 serge has joined #ocaml

09:24 serge has quit [Ping timeout: 265 seconds]

09:24 kleisli has quit [Ping timeout: 268 seconds]

09:26 serge has joined #ocaml

09:29 serge has quit [Read error: Connection reset by peer]

09:29 serge has joined #ocaml

09:33 serge has quit [Ping timeout: 265 seconds]

09:51 serge has joined #ocaml

09:56 serge has quit [Ping timeout: 265 seconds]

09:59 serge has joined #ocaml

10:03 serge has quit [Ping timeout: 265 seconds]

10:13 narimiran has quit [Ping timeout: 265 seconds]

10:19 dborisog has joined #ocaml

10:25 serge has joined #ocaml

10:29 serge has quit [Ping timeout: 268 seconds]

10:31 serge has joined #ocaml

10:32 serge has quit [Read error: Connection reset by peer]

10:32 serge has joined #ocaml

10:47 sailor177354 has quit [Quit: Leaving]

10:49 Anarchos has joined #ocaml

10:49 Anarchos has quit [Client Quit]

11:19 khodzha1 has joined #ocaml

11:28 mfp has joined #ocaml

11:30 mahmudov has quit [Ping timeout: 265 seconds]

11:43 malina has quit [Ping timeout: 265 seconds]

11:51 malina has joined #ocaml

11:51 ocaml459 has joined #ocaml

11:52 ocaml459 has quit [Client Quit]

11:54 serge has quit [Remote host closed the connection]

11:55 serge has joined #ocaml

11:55 jnavila has joined #ocaml

11:59 serge has quit [Ping timeout: 265 seconds]

12:14 jnavila has quit [Ping timeout: 256 seconds]

12:30 ocaml459 has joined #ocaml

12:33 ocaml459 has quit [Client Quit]

12:33 ocaml459 has joined #ocaml

12:34 ocaml459 has quit [Client Quit]

12:35 ocaml459 has joined #ocaml

12:36 ocaml459 has quit [Client Quit]

12:36 ocaml459 has joined #ocaml

12:38 ocaml459 has quit [Client Quit]

12:39 ocaml459 has joined #ocaml

12:41 ocaml459 has quit [Client Quit]

12:41 ocaml459 has joined #ocaml

12:42 ocaml459 has quit [Client Quit]

12:42 ocaml459 has joined #ocaml

12:45 ocaml459 has quit [Client Quit]

12:45 ocaml459 has joined #ocaml

12:47 ocaml459 has quit [Client Quit]

12:47 ocaml459 has joined #ocaml

12:48 jnavila has joined #ocaml

12:48 ocaml459 has quit [Client Quit]

12:49 ocaml459 has joined #ocaml

12:52 ocaml459 has quit [Client Quit]

12:52 ocaml459 has joined #ocaml

12:55 ocaml459 has quit [Client Quit]

12:55 ocaml459 has joined #ocaml

12:58 malina has quit [Ping timeout: 265 seconds]

12:58 serge has joined #ocaml

12:58 ocaml459 has quit [Client Quit]

13:00 ocaml459 has joined #ocaml

13:01 ocaml459 has quit [Client Quit]

13:01 ocaml459 has joined #ocaml

13:05 ocaml459 has quit [Client Quit]

13:05 ocaml459 has joined #ocaml

13:07 ocaml459 has quit [Client Quit]

13:07 ocaml459 has joined #ocaml

13:11 ocaml459 has quit [Client Quit]

13:11 ocaml459 has joined #ocaml

13:13 ocaml459 has quit [Client Quit]

13:14 ocaml459 has joined #ocaml

13:17 ocaml459 has quit [Client Quit]

13:17 ocaml459 has joined #ocaml

13:20 ocaml459 has quit [Client Quit]

13:20 ocaml459 has joined #ocaml

13:23 ocaml459 has quit [Client Quit]

13:23 ocaml459 has joined #ocaml

13:26 ocaml459 has quit [Client Quit]

13:26 ocaml459 has joined #ocaml

13:28 ocaml459 has quit [Client Quit]

13:28 ocaml459 has joined #ocaml

13:29 ocaml459 has quit [Client Quit]

13:29 ocaml459 has joined #ocaml

13:31 ocaml459 has quit [Client Quit]

13:31 ocaml459 has joined #ocaml

13:34 ocaml459 has quit [Client Quit]

13:34 ocaml459 has joined #ocaml

13:35 jnavila has quit [Ping timeout: 272 seconds]

13:36 ocaml459 has quit [Client Quit]

13:36 ocaml459 has joined #ocaml

13:37 decentpenguin has joined #ocaml

13:40 ocaml459 has quit [Client Quit]

13:40 ocaml459 has joined #ocaml

13:42 ocaml459 has quit [Client Quit]

13:43 ocaml459 has joined #ocaml

13:43 malina has joined #ocaml

13:44 ocaml459 has quit [Client Quit]

13:44 ocaml459 has joined #ocaml

13:46 ocaml459 has quit [Client Quit]

13:46 ocaml459 has joined #ocaml

13:49 ocaml459 has quit [Client Quit]

13:49 ocaml459 has joined #ocaml

13:50 ocaml459 has quit [Client Quit]

13:50 ocaml459 has joined #ocaml

13:52 ocaml459 has quit [Client Quit]

13:52 ocaml459 has joined #ocaml

13:55 ocaml459 has quit [Client Quit]

13:55 ocaml459 has joined #ocaml

13:57 ocaml459 has quit [Client Quit]

13:57 ocaml459 has joined #ocaml

14:01 ocaml459 has quit [Client Quit]

14:01 ocaml459 has joined #ocaml

14:04 ocaml459 has quit [Client Quit]

14:05 ocaml459 has joined #ocaml

14:10 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:10 ocaml459 has joined #ocaml

14:16 serge has quit [Remote host closed the connection]

14:17 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:17 serge has joined #ocaml

14:17 ocaml459 has joined #ocaml

14:22 serge has quit [Ping timeout: 268 seconds]

14:23 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:23 ocaml459 has joined #ocaml

14:29 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:29 ocaml459 has joined #ocaml

14:35 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:35 ocaml459 has joined #ocaml

14:38 ocaml459 has quit [Client Quit]

14:38 ocaml459 has joined #ocaml

14:41 ocaml459 has quit [Client Quit]

14:41 ocaml459 has joined #ocaml

14:42 jao has joined #ocaml

14:43 jao is now known as Guest60511

14:44 ocaml459 has quit [Client Quit]

14:45 ocaml459 has joined #ocaml

14:47 Guest60511 has quit [Remote host closed the connection]

14:47 Guest60511 has joined #ocaml

14:47 narimiran has joined #ocaml

14:48 ocaml459 has quit [Client Quit]

14:48 malina has quit [Ping timeout: 268 seconds]

14:49 ocaml459 has joined #ocaml

14:51 ocaml459 has quit [Client Quit]

14:51 ocaml459 has joined #ocaml

14:53 ocaml459 has quit [Client Quit]

14:53 ocaml459 has joined #ocaml

14:53 vinoski has quit []

14:53 vinoski has joined #ocaml

14:54 malina has joined #ocaml

14:55 ocaml459 has quit [Client Quit]

14:56 Guest60511 has quit [Changing host]

14:56 Guest60511 has joined #ocaml

14:56 ocaml459 has joined #ocaml

14:58 ocaml459 has quit [Client Quit]

14:59 ocaml459 has joined #ocaml

15:00 ocaml459 has quit [Client Quit]

15:00 ocaml459 has joined #ocaml

15:00 Guest60511 is now known as jao

15:02 serge has joined #ocaml

15:02 serge has quit [Remote host closed the connection]

15:02 serge has joined #ocaml

15:05 ocaml459 has quit [Client Quit]

15:05 ocaml459 has joined #ocaml

15:07 ocaml459 has quit [Client Quit]

15:09 ocaml459 has joined #ocaml

15:10 ocaml459 has quit [Client Quit]

15:17 cemerick has quit []

15:17 cemerick has joined #ocaml

15:33 malina has quit [Ping timeout: 265 seconds]

15:35 Haudegen has joined #ocaml

15:44 SrPx has quit []

15:45 ocaml459 has joined #ocaml

15:45 SrPx has joined #ocaml

15:48 ocaml459 has quit [Client Quit]

15:50 jnavila has joined #ocaml

15:53 kleisli has joined #ocaml

15:56 malina has joined #ocaml

16:07 Hrundi_V_Bakshi has joined #ocaml

16:07 banjiewen has quit []

16:07 banjiewen has joined #ocaml

16:27 ocaml459 has joined #ocaml

16:28 ocaml459 has quit [Client Quit]

16:35 decentpenguin has quit [Quit: decentpenguin]

16:41 kleisli has quit [Ping timeout: 240 seconds]

16:48 kleisli has joined #ocaml

16:51 Segaja has joined #ocaml

16:52 <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

16:52 <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"

17:04 amiloradovsky has joined #ocaml

17:07 ocaml459 has joined #ocaml

17:08 ocaml459 has quit [Client Quit]

17:16 mahmudov has joined #ocaml

17:26 sagax has quit [Remote host closed the connection]

17:29 dborisog has quit [Ping timeout: 265 seconds]

17:31 lizzin has joined #ocaml

17:43 narimiran has quit [Ping timeout: 265 seconds]

17:53 kakadu has joined #ocaml

17:55 narimiran has joined #ocaml

18:07 ocaml459 has joined #ocaml

18:08 ocaml459 has quit [Client Quit]

18:17 ggole has quit [Quit: Leaving]

18:47 adrianbrink has quit []

18:47 adrianbrink has joined #ocaml

18:47 ocaml459 has joined #ocaml

18:49 ocaml459 has quit [Client Quit]

18:52 jerme_ has quit []

18:52 jerme_ has joined #ocaml

19:12 noway96 has quit [Ping timeout: 245 seconds]

19:33 ocaml459 has joined #ocaml

19:35 ocaml459 has quit [Client Quit]

19:42 serge has quit [Remote host closed the connection]

19:42 serge has joined #ocaml

19:47 serge has quit [Ping timeout: 240 seconds]

20:12 gravicappa has quit [Ping timeout: 260 seconds]

20:14 rdivyanshu has quit []

20:14 serge_ has joined #ocaml

20:14 rdivyanshu has joined #ocaml

20:33 narimiran has quit [Quit: leaving]

20:33 sagax has joined #ocaml

20:33 brettgilio has quit [Read error: Connection reset by peer]

20:34 brettgilio has joined #ocaml

20:35 analogue has joined #ocaml

20:36 analogue has quit [Remote host closed the connection]

20:59 ygrek_ has joined #ocaml

21:13 khodzha1 has quit [Quit: Leaving.]

21:15 serge_ has quit [Remote host closed the connection]

21:15 serge has joined #ocaml

21:23 serge has quit [Ping timeout: 265 seconds]

21:31 serge has joined #ocaml

21:31 GreyFaceNoSpace has quit [Ping timeout: 268 seconds]

21:36 serge has quit [Ping timeout: 265 seconds]

21:42 serge has joined #ocaml

21:46 serge has quit [Ping timeout: 240 seconds]

21:47 serge has joined #ocaml

21:49 GreyFaceNoSpace has joined #ocaml

21:52 serge has quit [Ping timeout: 260 seconds]

21:53 ygrek_ has quit [Ping timeout: 260 seconds]

22:00 serge has joined #ocaml

22:04 serge has quit [Ping timeout: 260 seconds]

22:11 jnavila has quit [Ping timeout: 256 seconds]

22:32 serge has joined #ocaml

22:37 serge has quit [Ping timeout: 268 seconds]

23:07 ocaml459 has joined #ocaml

23:08 ocaml459 has quit [Client Quit]

23:23 kakadu has quit [Remote host closed the connection]

23:30 ocaml459 has joined #ocaml

23:31 ocaml459 has quit [Client Quit]

23:43 mahmudov has quit [Remote host closed the connection]

23:44 serge has joined #ocaml

23:52 serge_ has joined #ocaml

23:53 serge has quit [Ping timeout: 265 seconds]

23:59 serge_ has quit [Ping timeout: 268 seconds]