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

00:18 monad_cat has quit [Read error: Connection reset by peer]

00:18 strmpnk has quit [Read error: Connection reset by peer]

00:18 banjiewen has quit [Read error: Connection reset by peer]

00:19 banjiewen has joined #ocaml

00:20 adrianbrink has joined #ocaml

00:20 monad_cat has joined #ocaml

00:20 jmct has joined #ocaml

00:20 mrallen1 has joined #ocaml

00:20 strmpnk has joined #ocaml

00:21 spew has joined #ocaml

00:23 cemerick has joined #ocaml

00:23 vinoski has joined #ocaml

00:28 g0d_shatter has joined #ocaml

00:33 smazga has quit [Quit: leaving]

00:36 ec has joined #ocaml

00:37 jkni has joined #ocaml

00:42 jmct has quit [Read error: Connection reset by peer]

00:42 cbarrett has quit [Ping timeout: 252 seconds]

00:42 banjiewen has quit [Ping timeout: 272 seconds]

00:42 monad_cat has quit [Read error: Connection reset by peer]

00:42 cemerick has quit [Read error: Connection reset by peer]

00:42 bitonic has quit [Ping timeout: 260 seconds]

00:43 wildsebastian has quit [Ping timeout: 250 seconds]

00:43 robmyers has quit [Ping timeout: 250 seconds]

00:43 jkni has quit [Ping timeout: 246 seconds]

00:43 bytesighs has quit [Ping timeout: 252 seconds]

00:43 angerman has quit [Ping timeout: 252 seconds]

00:43 ec has quit [Ping timeout: 258 seconds]

00:44 adrianbrink has quit [Ping timeout: 245 seconds]

00:44 terrorjack___ has quit [Ping timeout: 245 seconds]

00:44 spew has quit [Ping timeout: 272 seconds]

00:44 JSharp has quit [Ping timeout: 272 seconds]

00:45 jeroud has quit [Ping timeout: 260 seconds]

00:45 andreypopp has quit [Ping timeout: 264 seconds]

00:45 mgsk has quit [Ping timeout: 252 seconds]

00:45 stephe has quit [Ping timeout: 272 seconds]

00:45 jyc_ has quit [Ping timeout: 272 seconds]

00:45 cqc_ has quit [Ping timeout: 272 seconds]

00:46 j14159 has quit [Ping timeout: 245 seconds]

00:46 vinoski has quit [Ping timeout: 272 seconds]

00:46 chewbranca has quit [Ping timeout: 272 seconds]

00:47 sspi__ has quit [Ping timeout: 260 seconds]

00:47 mjvoge02 has quit [Ping timeout: 260 seconds]

00:49 stylewarning has quit [Ping timeout: 250 seconds]

00:49 mrallen1 has quit [Ping timeout: 272 seconds]

00:50 lynn has quit [Read error: Connection reset by peer]

00:51 strmpnk has quit [Ping timeout: 260 seconds]

00:51 rfv has quit [Ping timeout: 260 seconds]

00:53 bitonic has joined #ocaml

00:54 rgrinberg has quit [Ping timeout: 245 seconds]

00:54 rfv has joined #ocaml

00:54 jerme_ has quit [Ping timeout: 272 seconds]

00:56 rfv has quit [Max SendQ exceeded]

00:58 bitonic has quit [Ping timeout: 260 seconds]

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

01:12 olle has joined #ocaml

01:16 jeroud has joined #ocaml

01:16 andreypopp has joined #ocaml

01:21 andreypopp has quit [Ping timeout: 272 seconds]

01:41 jeroud has quit [Ping timeout: 245 seconds]

01:50 vicfred has joined #ocaml

02:08 Algebr` has joined #ocaml

02:11 stephe has joined #ocaml

02:12 Algebr has quit [Ping timeout: 260 seconds]

02:16 stephe has quit [Ping timeout: 272 seconds]

02:49 crowley95 has quit [Read error: Connection reset by peer]

02:50 crowley95 has joined #ocaml

02:56 rcabaco has quit [Ping timeout: 245 seconds]

02:58 Algebr` has quit [Remote host closed the connection]

03:13 tormen_ has joined #ocaml

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

03:27 mbuf has joined #ocaml

03:34 mfp has quit [Ping timeout: 260 seconds]

03:45 dborisog has joined #ocaml

03:49 g0d_shatter has quit [Remote host closed the connection]

04:13 adrianbrink has joined #ocaml

04:21 adrianbrink has quit [Ping timeout: 272 seconds]

05:04 gravicappa has joined #ocaml

05:29 wildsebastian has joined #ocaml

05:38 wildsebastian has quit [Ping timeout: 246 seconds]

05:51 h11 has quit [Quit: The Lounge - https://thelounge.chat]

05:52 h11 has joined #ocaml

06:00 crowley95 has quit [Quit: Bye bye ✋]

06:02 crowley95 has joined #ocaml

06:02 narimiran has joined #ocaml

06:16 jao has quit [Remote host closed the connection]

06:20 j14159 has joined #ocaml

06:22 robmyers has joined #ocaml

06:28 robmyers has quit [Excess Flood]

06:32 j14159 has quit [Read error: Connection reset by peer]

06:35 angerman has joined #ocaml

06:36 j14159 has joined #ocaml

06:39 crowley95 has quit [Ping timeout: 240 seconds]

06:41 j14159 has quit [Ping timeout: 272 seconds]

06:42 angerman has quit [Ping timeout: 246 seconds]

06:45 crowley95 has joined #ocaml

06:45 Haudegen has joined #ocaml

06:48 j14159 has joined #ocaml

06:48 angerman has joined #ocaml

06:48 Adso_of_Jelq has joined #ocaml

06:49 stephe has joined #ocaml

06:49 wildsebastian has joined #ocaml

06:49 mrallen1 has joined #ocaml

06:49 l1x has joined #ocaml

06:50 chewbranca has joined #ocaml

06:50 mjvoge02 has joined #ocaml

06:51 robmyers has joined #ocaml

06:51 nkaretnikov has joined #ocaml

06:52 dhil has joined #ocaml

06:52 JSharp has joined #ocaml

06:53 vinoski has joined #ocaml

06:53 adi_________ has joined #ocaml

06:54 jeroud has joined #ocaml

06:55 spew has joined #ocaml

06:57 mgsk has joined #ocaml

06:57 bytesighs has joined #ocaml

06:57 rfv has joined #ocaml

06:57 strmpnk has joined #ocaml

06:58 jmct has joined #ocaml

06:58 sspi__ has joined #ocaml

06:58 adrianbrink has joined #ocaml

06:59 cbarrett has joined #ocaml

07:00 jkni has joined #ocaml

07:00 jerme_ has joined #ocaml

07:01 cqc_ has joined #ocaml

07:03 jyc_ has joined #ocaml

07:03 monad_cat has joined #ocaml

07:04 lynn has joined #ocaml

07:06 stylewarning has joined #ocaml

07:09 rgrinberg has joined #ocaml

07:09 rgrinberg has quit [Excess Flood]

07:10 rgrinberg has joined #ocaml

07:15 dhil has quit [Ping timeout: 245 seconds]

07:19 terrorjack___ has joined #ocaml

07:20 Wojciech_K has joined #ocaml

07:20 bitonic has joined #ocaml

07:20 ec has joined #ocaml

07:22 andreypopp has joined #ocaml

07:23 GreyFaceNoSpace has quit [Quit: Ex-Chat]

07:35 Serpent7776 has joined #ocaml

07:37 g0d_shatter has joined #ocaml

07:42 bartholin has quit [Quit: Leaving]

07:47 banjiewen has joined #ocaml

07:53 cemerick has joined #ocaml

07:53 rcabaco has joined #ocaml

07:54 SrPx has joined #ocaml

09:00 ollehar has joined #ocaml

09:10 kjak has quit [Ping timeout: 260 seconds]

09:10 nullifidian_ has quit [Ping timeout: 268 seconds]

09:25 nullifidian_ has joined #ocaml

09:27 zmt01 has quit [Ping timeout: 260 seconds]

09:46 Serpent7776 has quit [Remote host closed the connection]

09:46 Serpent7776 has joined #ocaml

10:00 free_beard has quit [Ping timeout: 260 seconds]

10:02 free_beard has joined #ocaml

10:03 Serpent7776 has quit [Remote host closed the connection]

10:03 Serpent7776 has joined #ocaml

10:07 free_beard has quit [Ping timeout: 260 seconds]

10:07 zmt00 has joined #ocaml

10:13 g0d_shatter has quit [Quit: Leaving]

10:14 free_beard has joined #ocaml

10:20 spew has quit []

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

10:32 narimiran has joined #ocaml

11:11 dhil has joined #ocaml

11:45 kleisli has quit [Ping timeout: 265 seconds]

11:52 mbuf has quit [Quit: Leaving]

12:23 dborisog has quit [Remote host closed the connection]

12:41 ggole has joined #ocaml

13:22 lopex has joined #ocaml

13:29 nullifidian_ has quit [Ping timeout: 272 seconds]

13:42 vesper11 has quit [Ping timeout: 260 seconds]

13:42 vesper11 has joined #ocaml

13:44 nullifidian_ has joined #ocaml

13:49 dhil has quit [Ping timeout: 245 seconds]

13:50 Serpent7776 has quit [Ping timeout: 240 seconds]

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

14:00 Serpent7776 has joined #ocaml

14:03 ngws has quit [Ping timeout: 258 seconds]

14:10 Wojciech_K has quit [Remote host closed the connection]

14:11 ngws has joined #ocaml

14:15 TheLemonMan has joined #ocaml

14:20 <RalfJung> the opam 2.0.6 release announcement says we can install opam from source via opam, but opam-devel is still at version 2.0.5 and I cannot find a PR for upgrading it... am I looking at the wrong place?

14:21 <RalfJung> also the post at https://opam.ocaml.org/blog/opam-2-0-6/ is dated as *next year's* april fool, not sure if that was deliberate ;)

14:21 RalfJung is now known as RalfJ

14:28 spew has joined #ocaml

14:45 jao has joined #ocaml

14:45 jao has quit [Changing host]

14:45 jao has joined #ocaml

14:45 dhil has joined #ocaml

15:11 mbuf has joined #ocaml

15:17 valtr has quit [Changing host]

15:17 valtr has joined #ocaml

15:19 Haudegen has joined #ocaml

15:41 Serpent7776 has quit [Quit: Leaving]

15:52 smazga has joined #ocaml

16:03 tane has joined #ocaml

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

16:23 narimiran has quit [Ping timeout: 265 seconds]

16:26 mfp has joined #ocaml

16:28 free_beard has quit [Remote host closed the connection]

16:30 mahmudov has joined #ocaml

16:37 ollehar has quit [Ping timeout: 272 seconds]

16:41 dborisog has joined #ocaml

16:51 cqc_ is now known as cqc

16:56 kleisli has joined #ocaml

16:59 dhil has quit [Ping timeout: 245 seconds]

17:01 mbuf has quit [Quit: Leaving]

17:20 Serpent7776 has joined #ocaml

17:24 zmt00 has quit [Quit: Leaving]

17:28 zmt00 has joined #ocaml

17:41 tsuyoshi has quit [Quit: bye]

17:54 nullifidian_ has quit [Read error: Connection reset by peer]

17:55 nullifidian_ has joined #ocaml

18:06 olle has quit [Ping timeout: 268 seconds]

18:08 olle has joined #ocaml

18:13 bartholin has joined #ocaml

18:13 ggole has quit [Quit: Leaving]

18:27 gareppa has joined #ocaml

18:31 kakadu_ has joined #ocaml

18:46 gareppa has quit [Quit: Leaving]

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

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

19:01 kakadu__ has joined #ocaml

19:01 kakadu_ has quit [Ping timeout: 258 seconds]

19:06 jnavila has joined #ocaml

19:17 kjak has joined #ocaml

19:36 jao has quit [Remote host closed the connection]

19:38 jao has joined #ocaml

19:38 jao has quit [Changing host]

19:38 jao has joined #ocaml

19:47 kakadu_ has joined #ocaml

19:47 kakadu__ has quit [Ping timeout: 268 seconds]

19:49 narimiran has joined #ocaml

20:33 kleisli has quit [Ping timeout: 260 seconds]

20:52 jnavila has quit [Ping timeout: 256 seconds]

20:53 kleisli has joined #ocaml

21:06 narimiran has quit [Ping timeout: 272 seconds]

21:07 tane has quit [Quit: Leaving]

21:12 kleisli has quit [Ping timeout: 260 seconds]

21:18 kleisli has joined #ocaml

21:28 kakadu_ has quit [Ping timeout: 240 seconds]

21:28 kakadu_ has joined #ocaml

21:33 wingsorc_ has joined #ocaml

21:42 kleisli has quit [Ping timeout: 260 seconds]

21:42 oni-on-ion has quit [Ping timeout: 245 seconds]

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

21:48 Serpent7776 has quit [Quit: leaving]

21:57 kakadu__ has joined #ocaml

21:57 kakadu_ has quit [Ping timeout: 268 seconds]

22:25 kleisli has joined #ocaml

22:36 oni-on-ion has joined #ocaml

22:45 kakadu__ has quit [Remote host closed the connection]

23:08 kleisli has quit [Ping timeout: 260 seconds]

23:12 andreas303 has quit [Ping timeout: 240 seconds]

23:17 andreas303 has joined #ocaml