#ocaml on 2020-02-18 — 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:08 nullifidian has quit [Read error: Connection reset by peer]

00:08 nullifidian has joined #ocaml

00:18 smazga has quit [Quit: leaving]

00:22 serge has joined #ocaml

00:27 serge has quit [Ping timeout: 268 seconds]

00:35 serge has joined #ocaml

00:40 serge has quit [Ping timeout: 240 seconds]

01:00 wingsorc has quit [Ping timeout: 240 seconds]

01:02 Haudegen has joined #ocaml

01:21 rosterok has quit [Quit: Connection closed for inactivity]

01:24 Haudegen has quit [Quit: Bin weg.]

01:32 olle has quit [Ping timeout: 272 seconds]

01:33 olle has joined #ocaml

01:46 sagax has quit [Quit: Konversation terminated!]

01:46 sagax has joined #ocaml

01:47 sagax has quit [Client Quit]

02:24 serge has joined #ocaml

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

02:31 Haudegen has joined #ocaml

03:03 mbuf has joined #ocaml

03:19 oni-on-ion has joined #ocaml

03:33 tormen has joined #ocaml

03:37 tormen_ has quit [Ping timeout: 260 seconds]

03:49 mfp has quit [Ping timeout: 265 seconds]

04:12 serge has joined #ocaml

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

05:00 sagax has joined #ocaml

05:16 serge has joined #ocaml

05:17 gravicappa has joined #ocaml

05:20 serge has quit [Ping timeout: 260 seconds]

05:20 serge_ has joined #ocaml

05:24 serge_ has quit [Read error: Connection reset by peer]

05:25 serge has joined #ocaml

05:27 oni-on-ion has quit [Remote host closed the connection]

05:27 oni-on-ion has joined #ocaml

05:28 Madars has quit [Ping timeout: 260 seconds]

05:29 serge has quit [Ping timeout: 260 seconds]

05:40 malina has quit [Remote host closed the connection]

05:42 serge has joined #ocaml

05:47 serge has quit [Ping timeout: 260 seconds]

05:52 Madars has joined #ocaml

05:55 serge has joined #ocaml

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

06:06 mbuf has quit [Quit: Leaving]

06:10 nullifidian has quit [Read error: Connection reset by peer]

06:10 nullifidian_ has joined #ocaml

06:11 brettgilio has quit [Quit: ZNC 1.7.5 - https://znc.in]

06:12 narimiran has joined #ocaml

06:13 Madars has quit [Ping timeout: 268 seconds]

06:13 brettgilio has joined #ocaml

06:29 cartwright has quit [Remote host closed the connection]

06:32 serge has joined #ocaml

06:37 serge has quit [Ping timeout: 272 seconds]

06:48 Madars has joined #ocaml

06:56 serge has joined #ocaml

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

07:05 Madars has quit [Ping timeout: 240 seconds]

07:11 penguwin has left #ocaml ["NO CARRIER"]

07:11 penguwin has joined #ocaml

07:21 serge has joined #ocaml

07:25 serge_ has joined #ocaml

07:26 serge has quit [Ping timeout: 272 seconds]

07:29 Madars has joined #ocaml

07:30 serge_ has quit [Ping timeout: 268 seconds]

07:41 Serpent7776 has joined #ocaml

07:42 serge has joined #ocaml

07:45 serge_ has joined #ocaml

07:46 serge has quit [Read error: Connection reset by peer]

07:46 Madars has quit [Ping timeout: 265 seconds]

07:50 serge_ has quit [Ping timeout: 265 seconds]

07:54 picolino has quit [Remote host closed the connection]

07:56 bartholin has quit [Ping timeout: 265 seconds]

07:56 serge has joined #ocaml

07:58 serge_ has joined #ocaml

07:58 serge has quit [Read error: Connection reset by peer]

08:02 serge_ has quit [Ping timeout: 240 seconds]

08:14 bartholin has joined #ocaml

08:14 Madars has joined #ocaml

08:19 serge has joined #ocaml

08:23 serge has quit [Ping timeout: 240 seconds]

08:29 serge has joined #ocaml

08:32 mbuf has joined #ocaml

08:32 Madars has quit [Ping timeout: 265 seconds]

08:34 serge_ has joined #ocaml

08:34 serge has quit [Ping timeout: 268 seconds]

08:38 serge has joined #ocaml

08:38 dborisog has joined #ocaml

08:38 serge_ has quit [Ping timeout: 272 seconds]

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

08:49 serge_ has joined #ocaml

08:53 serge__ has joined #ocaml

08:53 serge_ has quit [Ping timeout: 240 seconds]

08:57 serge__ has quit [Ping timeout: 272 seconds]

09:01 Madars has joined #ocaml

09:02 ollehar has joined #ocaml

09:18 Madars has quit [Ping timeout: 240 seconds]

09:51 bartholin has quit [Quit: Leaving]

09:59 ocaml459 has joined #ocaml

10:02 ocaml459 has quit [Client Quit]

10:05 ocaml459 has joined #ocaml

10:06 sarna has joined #ocaml

10:14 serge has joined #ocaml

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

10:21 serge has joined #ocaml

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

10:28 serge has joined #ocaml

10:28 Madars has joined #ocaml

10:31 picolino has joined #ocaml

10:47 malina has joined #ocaml

10:47 Madars has quit [Ping timeout: 272 seconds]

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

11:16 Madars has joined #ocaml

11:36 Madars has quit [Ping timeout: 268 seconds]

11:44 ocaml459 has joined #ocaml

11:45 gravicappa has quit [Ping timeout: 240 seconds]

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

11:59 kleisli has quit [Ping timeout: 268 seconds]

12:12 <gahr> is there a way to automatically generate a t list with [Foo;Bar;Baz] from type t = Foo | Bar | Baz ?

12:15 Madars has joined #ocaml

12:16 <reynir> gahr: I found this ppx: https://github.com/janestreet/ppx_enumerate/

12:19 <gahr> wonderful!

12:19 <gahr> thanks

12:24 dhil has joined #ocaml

12:25 ocaml459 has joined #ocaml

12:27 ocaml459 has quit [Client Quit]

12:33 serge has quit [Ping timeout: 272 seconds]

12:36 serge has joined #ocaml

12:36 Madars has quit [Ping timeout: 272 seconds]

12:49 ollehar_ has joined #ocaml

13:12 decentpenguin has joined #ocaml

13:17 Madars has joined #ocaml

13:29 ocaml459 has joined #ocaml

13:29 <Leonidas> there is hardly anything that does not have a ppx from janestreet :D

13:31 ocaml459 has quit [Client Quit]

13:34 Madars has quit [Ping timeout: 240 seconds]

13:36 <vsiles> Leonidas: multicore ? :p

13:40 FreeBirdLjj has joined #ocaml

13:50 Haudegen has quit [Quit: Bin weg.]

13:52 <theblatte> c

14:04 ocaml459 has joined #ocaml

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

14:16 malina has quit [Ping timeout: 265 seconds]

14:29 Madars has joined #ocaml

14:33 <reynir> ppx_multicore

14:44 spew has joined #ocaml

14:45 Haudegen has joined #ocaml

14:47 <nicolaus> hi, what do you usually do whenever you receive " This expression has type unit but an expression was expected of type"

14:47 <nicolaus> bool

14:49 Madars has quit [Ping timeout: 272 seconds]

14:58 tane has joined #ocaml

15:00 FreeBirdLjj has quit [Remote host closed the connection]

15:00 FreeBirdLjj has joined #ocaml

15:05 FreeBirdLjj has quit [Ping timeout: 240 seconds]

15:09 <octachron> nicolaus, the question is too generic, it is hard to answer more precisely than "checkout why the actual type is unit and the expected one bool and then fix the type error"

15:11 TheLemonMan has joined #ocaml

15:22 Madars has joined #ocaml

15:35 FreeBirdLjj has joined #ocaml

15:37 Madars has quit [Ping timeout: 268 seconds]

15:40 Serpent7776 has quit [Quit: Leaving]

15:52 FreeBirdLjj has quit [Ping timeout: 272 seconds]

16:04 mfp has joined #ocaml

16:06 dhil has quit [Ping timeout: 240 seconds]

16:11 smazga has joined #ocaml

16:13 FreeBirdLjj has joined #ocaml

16:13 ocaml459 has joined #ocaml

16:16 ocaml459 has quit [Client Quit]

16:18 FreeBirdLjj has quit [Remote host closed the connection]

16:45 Haudegen has quit [Quit: Bin weg.]

16:48 kleisli has joined #ocaml

16:52 ollehar_ has quit [Ping timeout: 268 seconds]

16:52 ollehar has quit [Ping timeout: 268 seconds]

16:54 oni-on-ion has quit [Remote host closed the connection]

16:54 oni-on-ion has joined #ocaml

17:06 bartholin has joined #ocaml

17:08 Serpent7776 has joined #ocaml

17:15 dhil has joined #ocaml

17:19 <Leonidas> nicolaus: I usually fix the type error.

17:35 mbuf has quit [Quit: Leaving]

17:36 ygrek__ has joined #ocaml

17:42 gareppa has joined #ocaml

17:46 gravicappa has joined #ocaml

17:46 Madars has joined #ocaml

17:47 Haudegen has joined #ocaml

18:05 Madars has quit [Ping timeout: 268 seconds]

18:14 Madars has joined #ocaml

18:15 ocaml459 has joined #ocaml

18:16 ocaml459 has quit [Client Quit]

18:22 gareppa has quit [Quit: Leaving]

18:41 dhil has quit [Ping timeout: 240 seconds]

18:44 sz0 has quit [Quit: Connection closed for inactivity]

18:54 dborisog has quit [Ping timeout: 240 seconds]

19:00 bartholin has quit [Quit: Leaving]

19:02 bartholin has joined #ocaml

19:09 mahmudov has joined #ocaml

19:16 dborisog has joined #ocaml

19:38 decentpenguin has quit [Quit: decentpenguin]

19:45 dborisog has quit [Ping timeout: 240 seconds]

19:55 Haudegen has quit [Quit: Bin weg.]

19:57 ocaml459 has joined #ocaml

20:13 gareppa has joined #ocaml

20:18 Hrundi_V_Bakshi has joined #ocaml

20:22 kakadu_ has joined #ocaml

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

20:31 ocaml459 has joined #ocaml

20:31 gareppa has quit [Quit: Leaving]

20:32 ocaml459 has quit [Client Quit]

20:34 jnavila has joined #ocaml

20:38 narimiran has quit [Ping timeout: 268 seconds]

20:39 ocaml459 has joined #ocaml

20:42 jnavila_ has joined #ocaml

20:42 jnavila has quit [Remote host closed the connection]

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

20:52 tane has quit [Quit: Leaving]

20:53 ocaml459 has joined #ocaml

21:17 gareppa has joined #ocaml

21:17 gravicappa has quit [Ping timeout: 268 seconds]

21:18 gareppa has quit [Remote host closed the connection]

21:21 Serpent7776 has quit [Quit: leaving]

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

21:24 wingsorc has joined #ocaml

21:24 ocaml459 has joined #ocaml

21:25 ocaml459 has quit [Client Quit]

21:28 gareppa has joined #ocaml

21:36 mahmudov has quit [Remote host closed the connection]

21:46 jnavila_ has quit [Remote host closed the connection]

21:49 gareppa has quit [Quit: Leaving]

22:06 mahmudov has joined #ocaml

22:22 gareppa has joined #ocaml

22:24 wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

22:25 wagle has joined #ocaml

22:29 kakadu_ has quit [Remote host closed the connection]

22:36 sagax has quit [Remote host closed the connection]

22:36 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

22:46 gareppa has quit [Quit: Leaving]

22:58 sz0 has joined #ocaml

23:20 ocaml459 has joined #ocaml

23:22 serge has quit [Remote host closed the connection]

23:22 serge has joined #ocaml

23:23 ocaml459 has quit [Client Quit]

23:26 serge has quit [Ping timeout: 245 seconds]

23:29 malina has joined #ocaml

23:32 ygrek__ has quit [Ping timeout: 272 seconds]

23:37 Hrundi_V_Bakshi has quit [Ping timeout: 268 seconds]