#ocaml on 2018-10-26 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:08 al-damiri has quit [Quit: Connection closed for inactivity]

00:57 diginet has quit [Quit: diginet has quit!]

00:57 diginet_ has joined #ocaml

00:58 diginet_ is now known as diginet

01:13 jao has quit [Ping timeout: 245 seconds]

01:18 _whitelogger has joined #ocaml

01:27 silver has quit [Read error: Connection reset by peer]

02:15 tormen_ has joined #ocaml

02:18 tormen has quit [Ping timeout: 240 seconds]

03:20 pierpa has quit [Quit: Page closed]

03:39 mfp has quit [Ping timeout: 264 seconds]

03:39 env__ has quit [Ping timeout: 252 seconds]

04:04 pierpal has joined #ocaml

04:18 env__ has joined #ocaml

04:24 pierpal has quit [Ping timeout: 272 seconds]

04:46 pierpal has joined #ocaml

05:11 pierpal has quit [Ping timeout: 264 seconds]

05:35 davl18 has joined #ocaml

05:35 davl18 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

05:42 pierpal has joined #ocaml

05:47 adi_______ has joined #ocaml

05:48 inr_ has joined #ocaml

05:50 erwanou_ has joined #ocaml

05:50 wagle_ has joined #ocaml

05:50 rks`_ has joined #ocaml

05:50 rixed_ has joined #ocaml

05:51 ski_ has joined #ocaml

05:51 tchell_ has joined #ocaml

05:52 JimmyRcom has joined #ocaml

05:52 dejanr_ has joined #ocaml

05:54 jave_ has joined #ocaml

05:55 philtor has quit [*.net *.split]

05:55 erwanou has quit [*.net *.split]

05:55 ski has quit [*.net *.split]

05:55 jave has quit [*.net *.split]

05:55 wagle has quit [*.net *.split]

05:55 ahf has quit [*.net *.split]

05:55 dejanr has quit [*.net *.split]

05:55 catern has quit [*.net *.split]

05:55 adi______ has quit [*.net *.split]

05:55 inr has quit [*.net *.split]

05:55 rks` has quit [*.net *.split]

05:55 jmiven has quit [*.net *.split]

05:55 henrytill has quit [*.net *.split]

05:55 rixed has quit [*.net *.split]

05:55 reynir has quit [*.net *.split]

05:55 tchell has quit [*.net *.split]

05:55 maker has quit [*.net *.split]

05:58 henrytill has joined #ocaml

05:59 catern_ has joined #ocaml

05:59 ahf has joined #ocaml

06:02 philtor has joined #ocaml

06:03 reynir has joined #ocaml

06:03 jmiven has joined #ocaml

06:03 maker has joined #ocaml

06:10 carlosdagos has quit [Quit: Connection closed for inactivity]

06:25 scivola6 has joined #ocaml

06:25 scivola6 has quit [Remote host closed the connection]

06:26 pierpal has quit [Ping timeout: 252 seconds]

06:40 pierpal has joined #ocaml

06:42 loli has quit [Quit: WeeChat 2.2]

06:44 dredozubov1 has joined #ocaml

06:44 dredozubov1 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

06:49 loli has joined #ocaml

07:05 orbifx1 has joined #ocaml

07:05 sagotch has joined #ocaml

07:10 pierpal has quit [Read error: Connection reset by peer]

07:14 pierpal has joined #ocaml

07:15 pierpal has quit [Client Quit]

07:16 pierpal has joined #ocaml

07:16 orbifx1 has quit [Ping timeout: 252 seconds]

07:21 bartholin has joined #ocaml

07:22 env__ has quit [Ping timeout: 252 seconds]

07:32 <xvilka> if anyone works with decompressing LZMA streams - see https://github.com/XVilka/ocaml-lzma (xz-utils Ctypes bindings, but not thread-safe), and https://github.com/XVilka/ocaml-lzma_7z (7zip LZMA SDK Ctypes wrapper, thread safe)

07:33 <xvilka> feel free to complain in GitHub issues

07:33 <xvilka> and do whatever you want with the code

07:34 ziyourenxiang has quit [Ping timeout: 244 seconds]

07:35 ggole has joined #ocaml

07:37 MoritaShinobu has joined #ocaml

07:38 MoritaShinobu has quit [Quit: Leaving]

07:39 pierpal has quit [Ping timeout: 245 seconds]

07:40 <ggole> Hmm, #mod_use can install module names that aren't syntactically legal

07:41 <ggole> That's gotta be a bug, right?

07:43 env__ has joined #ocaml

07:48 env__ has quit [Ping timeout: 240 seconds]

07:48 bokwoon has joined #ocaml

07:50 bokwoon has quit [Client Quit]

07:50 env__ has joined #ocaml

07:53 <ggole> ... and it crashes with an exception if the file has no extension

07:55 env__ has quit [Ping timeout: 246 seconds]

07:56 jao has joined #ocaml

08:02 env__ has joined #ocaml

08:07 env__ has quit [Ping timeout: 246 seconds]

08:13 jao has quit [Ping timeout: 246 seconds]

08:19 env__ has joined #ocaml

08:24 env__ has quit [Ping timeout: 260 seconds]

08:28 env__ has joined #ocaml

08:35 ShalokShalom has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

08:37 env__ has quit [Ping timeout: 276 seconds]

08:53 env__ has joined #ocaml

08:57 frefity has quit [Quit: Ex-Chat]

08:58 env__ has quit [Ping timeout: 246 seconds]

09:02 env__ has joined #ocaml

09:07 env__ has quit [Ping timeout: 252 seconds]

09:08 env__ has joined #ocaml

09:13 env__ has quit [Ping timeout: 246 seconds]

09:18 env__ has joined #ocaml

09:23 env__ has quit [Ping timeout: 276 seconds]

09:33 ski_ is now known as ski

09:33 env__ has joined #ocaml

09:37 pierpal has joined #ocaml

09:38 env__ has quit [Ping timeout: 252 seconds]

09:39 pierpal has quit [Read error: Connection reset by peer]

09:39 pierpal has joined #ocaml

09:42 pierpal has quit [Read error: Connection reset by peer]

09:45 env__ has joined #ocaml

09:47 ggole has quit [Ping timeout: 260 seconds]

09:48 ggole has joined #ocaml

09:49 env__ has quit [Ping timeout: 240 seconds]

09:51 aydio has joined #ocaml

09:58 ggole has quit [Ping timeout: 260 seconds]

09:59 ggole has joined #ocaml

09:59 env__ has joined #ocaml

10:02 theglass has quit [Ping timeout: 252 seconds]

10:04 env__ has quit [Ping timeout: 252 seconds]

10:13 env__ has joined #ocaml

10:17 env__ has quit [Ping timeout: 246 seconds]

10:19 mfp has joined #ocaml

10:24 env__ has joined #ocaml

10:27 aydio has quit [Quit: WeeChat 2.2]

10:29 env__ has quit [Ping timeout: 246 seconds]

10:37 env__ has joined #ocaml

10:42 inr_ is now known as inr

10:42 env__ has quit [Ping timeout: 240 seconds]

10:48 env__ has joined #ocaml

10:52 env__ has quit [Ping timeout: 252 seconds]

10:58 env__ has joined #ocaml

11:03 env__ has quit [Ping timeout: 272 seconds]

11:10 env__ has joined #ocaml

11:14 env__ has quit [Ping timeout: 245 seconds]

11:19 env__ has joined #ocaml

11:21 sagotch has quit [Quit: Leaving.]

11:23 rks`_ is now known as rks`

11:24 env__ has quit [Ping timeout: 246 seconds]

11:27 env__ has joined #ocaml

11:31 env__ has quit [Ping timeout: 246 seconds]

11:39 Haudegen has joined #ocaml

11:39 env__ has joined #ocaml

11:43 env__ has quit [Ping timeout: 240 seconds]

11:50 sagotch has joined #ocaml

11:54 env__ has joined #ocaml

11:59 env__ has quit [Ping timeout: 245 seconds]

12:03 env__ has joined #ocaml

12:07 env__ has quit [Ping timeout: 246 seconds]

12:16 env__ has joined #ocaml

12:20 env__ has quit [Ping timeout: 246 seconds]

12:21 silver has joined #ocaml

12:23 spew has joined #ocaml

12:26 lambda_ has joined #ocaml

12:29 env__ has joined #ocaml

12:34 env__ has quit [Ping timeout: 272 seconds]

12:35 pierpal has joined #ocaml

12:41 pierpal has quit [Ping timeout: 244 seconds]

12:45 env__ has joined #ocaml

12:49 env__ has quit [Ping timeout: 244 seconds]

12:52 env__ has joined #ocaml

12:55 ziyourenxiang has joined #ocaml

12:59 env__ has quit [Ping timeout: 246 seconds]

13:02 nullifidian_ is now known as nullifidian

13:21 env__ has joined #ocaml

13:46 jao has joined #ocaml

14:13 ygrek has joined #ocaml

14:25 emily has quit [Ping timeout: 276 seconds]

14:29 catern_ has left #ocaml [#ocaml]

14:30 env__ has quit [Ping timeout: 246 seconds]

14:39 lambda_ has quit [Quit: WeeChat 2.3]

14:52 mildtaste has quit [Remote host closed the connection]

15:21 slamzy1234 has joined #ocaml

15:24 slamzy has quit [Ping timeout: 256 seconds]

15:36 GreyFaceNoSpace has quit [Quit: Ex-Chat]

15:55 theglass has joined #ocaml

15:55 theglass has quit [Changing host]

15:55 ziyourenxiang has quit [Ping timeout: 264 seconds]

16:10 rand__ has joined #ocaml

16:17 env__ has joined #ocaml

16:24 sagotch has quit [Quit: Leaving.]

16:25 ygrek has quit [Ping timeout: 244 seconds]

16:25 Haudegen has quit [Remote host closed the connection]

16:27 al-damiri has joined #ocaml

16:51 env__ has quit [Ping timeout: 246 seconds]

17:00 erkin has joined #ocaml

17:09 JimmyRcom has quit [Ping timeout: 252 seconds]

17:22 barcabuona has joined #ocaml

17:25 env__ has joined #ocaml

17:48 fraxamo has joined #ocaml

17:57 barcabuona has quit [Quit: WeeChat 2.3]

18:07 aydio has joined #ocaml

18:20 ggole has quit [Quit: ggole]

18:22 hannes has quit [Remote host closed the connection]

18:23 steenuil has joined #ocaml

18:23 emily has joined #ocaml

18:25 env__ has quit [Ping timeout: 252 seconds]

18:35 env__ has joined #ocaml

18:38 orbifx1 has joined #ocaml

18:45 JimmyRcom has joined #ocaml

19:00 env__ has quit [Ping timeout: 246 seconds]

19:11 env__ has joined #ocaml

19:21 kakadu_ has joined #ocaml

19:29 orbifx1 has quit [Ping timeout: 246 seconds]

19:31 orbifx1 has joined #ocaml

19:38 orbifx1 has quit [Read error: Connection reset by peer]

19:39 orbifx1 has joined #ocaml

19:53 fraxamo has quit [Quit: Leaving]

19:58 orbifx1 has quit [Read error: Connection reset by peer]

20:01 orbifx1 has joined #ocaml

20:02 pzp has joined #ocaml

20:13 Jesin has quit [Quit: Leaving]

20:14 aydio has quit [Quit: WeeChat 2.2]

20:17 rand__ has quit [Ping timeout: 246 seconds]

20:19 aydio has joined #ocaml

20:42 Jesin has joined #ocaml

21:06 orbifx1 has quit [Ping timeout: 276 seconds]

21:07 nullifidian has quit [Ping timeout: 246 seconds]

21:19 pierpal has joined #ocaml

21:21 nullifidian has joined #ocaml

21:22 pierpal has quit [Read error: Connection reset by peer]

21:25 bartholin has quit [Read error: Connection reset by peer]

21:27 env__ has quit [Ping timeout: 246 seconds]

21:29 Jesin has quit [Quit: Leaving]

21:35 env__ has joined #ocaml

21:46 zolk3ri has joined #ocaml

21:54 aydio has quit [Quit: WeeChat 2.2]

21:57 sven[m] has left #ocaml [#ocaml]

22:22 al-damiri has quit [Quit: Connection closed for inactivity]

22:28 aydio has joined #ocaml

22:35 zv has quit [Quit: WeeChat 2.2]

22:40 ansiwen has joined #ocaml

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

22:43 wagle has joined #ocaml

22:47 ansiwen has quit [Quit: brb]

22:48 ansiwen has joined #ocaml

23:34 nullifidian has quit [Remote host closed the connection]

23:39 nullifidian has joined #ocaml

23:42 JimmyRcom has quit [Ping timeout: 272 seconds]

23:54 kakadu_ has quit [Remote host closed the connection]