#ocaml on 2018-08-05 — irc logs at freenode.irclog.whitequark.org

2018-08-02 09:43 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 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:13 pierpal has joined #ocaml

00:21 pierpal has quit [Ping timeout: 244 seconds]

00:23 blocked23 has joined #ocaml

00:23 blocked23 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

00:23 ziyourenxiang has joined #ocaml

00:23 silver has quit [Read error: Connection reset by peer]

00:28 Fare has quit [Ping timeout: 248 seconds]

00:40 asdf123 has quit [Ping timeout: 244 seconds]

00:52 Iota26 has joined #ocaml

00:52 Iota26 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

00:53 Fare has joined #ocaml

00:53 asdf123 has joined #ocaml

00:53 Zimmedon15 has joined #ocaml

00:53 Zimmedon15 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

01:10 Haudegen has quit [Remote host closed the connection]

01:10 badon7 has joined #ocaml

01:10 badon7 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

01:19 captain4221 has joined #ocaml

01:19 captain4221 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

01:31 quipa has quit [Ping timeout: 248 seconds]

01:47 mbuf has joined #ocaml

01:51 garywhite has joined #ocaml

01:51 garywhite has quit [Killed (Sigyn (Spam is off topic on freenode.))]

01:54 Miklo7 has joined #ocaml

01:54 Miklo7 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

01:57 SakiiR18 has joined #ocaml

01:57 SakiiR18 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

02:07 RumpledElf has joined #ocaml

02:07 RumpledElf has quit [Killed (Sigyn (Spam is off topic on freenode.))]

02:13 ldunn15 has joined #ocaml

02:13 ldunn15 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

02:15 pierpal has joined #ocaml

02:18 cods13 has joined #ocaml

02:18 cods13 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

02:26 tormen_ has joined #ocaml

02:28 pierpa has quit [Quit: Page closed]

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

02:36 Netham4529 has joined #ocaml

02:36 Netham4529 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

02:36 zolk3ri has quit [Quit: leaving]

02:39 spew has joined #ocaml

02:41 ziyourenxiang has quit [Ping timeout: 240 seconds]

02:55 spew has quit [Ping timeout: 240 seconds]

02:56 johnpark_pj has joined #ocaml

02:56 johnpark_pj has quit [Killed (Sigyn (Spam is off topic on freenode.))]

02:56 pierpal has quit [Quit: Poof]

02:57 pierpal has joined #ocaml

03:06 davidebeatrici8 has joined #ocaml

03:07 davidebeatrici8 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

03:13 spew has joined #ocaml

03:19 spew has quit [Ping timeout: 256 seconds]

03:21 Fleet18 has joined #ocaml

03:21 Fleet18 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

03:34 dx8 has joined #ocaml

03:34 dx8 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

03:39 shentino3 has joined #ocaml

03:39 shentino3 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

03:40 sawdey21 has joined #ocaml

03:40 sawdey21 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

03:41 Turandot has joined #ocaml

03:41 Turandot has quit [Killed (Sigyn (Spam is off topic on freenode.))]

03:46 mk3 has joined #ocaml

03:49 mk3 has quit [Client Quit]

03:58 Xenthys23 has joined #ocaml

03:58 Xenthys23 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

04:01 Fare has quit [Ping timeout: 268 seconds]

04:11 Silversword14 has joined #ocaml

04:11 Silversword14 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

04:34 FreeBirdLjj has joined #ocaml

04:37 alefir has joined #ocaml

05:01 spew has joined #ocaml

05:08 spew has quit [Ping timeout: 244 seconds]

05:26 ziyourenxiang has joined #ocaml

05:29 FreeBirdLjj has quit [Remote host closed the connection]

05:38 FreeBirdLjj has joined #ocaml

06:00 Guest25514 has joined #ocaml

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

06:00 JimmyRcom has quit [Ping timeout: 256 seconds]

06:03 Guest95115 has joined #ocaml

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

06:11 ecks19 has joined #ocaml

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

06:17 See has joined #ocaml

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

06:32 papabear69 has joined #ocaml

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

06:47 FreeBirdLjj has quit [Remote host closed the connection]

06:50 Victorsueca19 has joined #ocaml

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

06:52 bitch23 has joined #ocaml

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

06:53 martyn_h has joined #ocaml

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

06:55 SleePy6 has joined #ocaml

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

07:03 FreeBirdLjj has joined #ocaml

07:06 liguo has joined #ocaml

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

07:07 FreeBirdLjj has quit [Ping timeout: 248 seconds]

07:14 mbuf has quit [Ping timeout: 268 seconds]

07:34 FreeBirdLjj has joined #ocaml

07:34 FreeBirdLjj has quit [Remote host closed the connection]

07:35 FreeBirdLjj has joined #ocaml

07:37 niek has joined #ocaml

07:37 niek has quit [Killed (Sigyn (Spam is off topic on freenode.))]

07:41 cylon512_ has joined #ocaml

07:41 cylon512_ has quit [Killed (Sigyn (Spam is off topic on freenode.))]

07:56 to has joined #ocaml

07:56 to has quit [Killed (Sigyn (Spam is off topic on freenode.))]

08:07 TarVanimelde has joined #ocaml

08:19 mikedlr13 has joined #ocaml

08:20 mikedlr13 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

08:39 kakadu has joined #ocaml

08:40 armyriad10 has joined #ocaml

08:40 armyriad10 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

08:51 pierpal has quit [Quit: Poof]

08:51 pierpal has joined #ocaml

09:00 bs7 has joined #ocaml

09:01 bs7 has quit [Remote host closed the connection]

09:02 Omnious has joined #ocaml

09:02 Omnious has quit [Remote host closed the connection]

09:10 TarVanimelde has quit [Quit: TarVanimelde]

09:24 Shibe17 has joined #ocaml

09:24 Shibe17 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

09:35 gareppa has joined #ocaml

09:39 zolk3ri has joined #ocaml

09:43 gareppa has quit [Quit: Leaving]

09:48 boredguy has joined #ocaml

09:48 boredguy has quit [Killed (Sigyn (Spam is off topic on freenode.))]

10:01 Thanks has joined #ocaml

10:01 Thanks has quit [Killed (Sigyn (Spam is off topic on freenode.))]

10:05 aOssed9 has joined #ocaml

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

10:19 Algernop24 has joined #ocaml

10:19 Algernop24 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

10:23 quipa has joined #ocaml

10:28 tinyhippo7 has joined #ocaml

10:32 tinyhippo7 has quit [Ping timeout: 240 seconds]

10:35 Haudegen has joined #ocaml

10:36 silver has joined #ocaml

11:18 Fare has joined #ocaml

11:23 Eduard_Munteanu3 has joined #ocaml

11:23 Eduard_Munteanu3 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

11:23 radiofree13 has joined #ocaml

11:23 radiofree13 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

11:43 Guest59673 has joined #ocaml

11:43 Guest59673 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

11:59 icasdri26 has joined #ocaml

11:59 icasdri26 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

12:04 rikai has joined #ocaml

12:04 rikai has quit [Killed (Sigyn (Spam is off topic on freenode.))]

12:11 dhil has joined #ocaml

12:23 troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]

12:25 troydm has joined #ocaml

12:26 dhil has quit [Quit: Leaving]

12:29 neatonk has joined #ocaml

12:40 neatonk has quit [Remote host closed the connection]

12:42 dejanr has quit [Ping timeout: 264 seconds]

12:43 dejanr has joined #ocaml

12:44 tormen_ has quit [Ping timeout: 264 seconds]

12:44 tormen has joined #ocaml

12:44 ahf has quit [Ping timeout: 264 seconds]

12:46 neatonk has joined #ocaml

12:49 neatonk has quit [Remote host closed the connection]

12:55 kvda has quit [Read error: Connection reset by peer]

12:55 zolk3ri has quit [Ping timeout: 250 seconds]

12:57 ahf has joined #ocaml

12:57 gareth__23 has joined #ocaml

12:57 gareth__23 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

13:01 kayamm21 has joined #ocaml

13:02 zolk3ri has joined #ocaml

13:06 stephen8726 has joined #ocaml

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

13:18 Danishman has joined #ocaml

13:50 quipa_ has joined #ocaml

13:52 quipa_ has quit [Remote host closed the connection]

13:52 quipa has quit [Ping timeout: 240 seconds]

13:52 quipa_ has joined #ocaml

13:53 FreeBirdLjj has quit [Remote host closed the connection]

14:20 quipa_ has quit [Ping timeout: 244 seconds]

14:23 FreeBirdLjj has joined #ocaml

14:30 ZexaronS has joined #ocaml

14:30 yomimono has quit [Quit: leaving]

14:32 MartesZibellina has joined #ocaml

14:32 MartesZibellina has quit [Killed (Sigyn (Spam is off topic on freenode.))]

14:32 ZexaronS has quit [Killed (Sigyn (Spam is off topic on freenode.))]

14:33 neatonk has joined #ocaml

14:36 planigan26 has joined #ocaml

14:36 planigan26 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

14:39 Guest29720 has joined #ocaml

14:39 Guest29720 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

15:02 haza-w10 has joined #ocaml

15:02 haza-w10 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

15:14 <Fare> Is there a good explanation of how Lwt interacts with Threads ?

15:15 <Fare> I was trying to open a database in a background Thread, and it results in OCaml locking up so bad it doesn't even output the Printf.printf "foo\n%!" message I print before I try to grab the mutex.

15:15 israfel has joined #ocaml

15:15 israfel has quit [Killed (Sigyn (Spam is off topic on freenode.))]

15:16 CcxWrk has quit [Quit: ZNC 1.7.1 - https://znc.in]

15:16 <Drup> Fare: you must use Lwt_preemptive to launch things that might block.

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

15:18 FreeBirdLjj has joined #ocaml

15:19 lyxia has quit [Remote host closed the connection]

15:19 lyxia has joined #ocaml

15:19 <Fare> Drup: thanks

15:23 FreeBirdLjj has quit [Ping timeout: 268 seconds]

15:24 CcxWrk has joined #ocaml

15:26 Haudegen has quit [Ping timeout: 256 seconds]

15:36 mfp has joined #ocaml

15:45 anuragsoni has joined #ocaml

15:46 anuragsoni has quit [Client Quit]

15:46 FreeBirdLjj has joined #ocaml

15:47 <Fare> I was surprised that even %! won't flush the output buffers before my lockup

15:54 discord has quit [Remote host closed the connection]

15:56 discord has joined #ocaml

15:57 sulvone10 has joined #ocaml

15:57 sulvone10 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

16:06 ziyourenxiang has quit [Ping timeout: 256 seconds]

16:16 JimmyRcom has joined #ocaml

16:17 TheLemonMan has joined #ocaml

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

16:41 pierpal has quit [Quit: Poof]

16:41 pierpal has joined #ocaml

16:48 spew has joined #ocaml

16:55 memoryno- has joined #ocaml

16:56 memoryno- has quit [Killed (Sigyn (Spam is off topic on freenode.))]

17:01 Fare has quit [Ping timeout: 260 seconds]

17:05 sirnaysayer has joined #ocaml

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

17:06 spew has quit [Ping timeout: 240 seconds]

17:08 FreeBirdLjj has joined #ocaml

17:13 mengu has joined #ocaml

17:14 spew has joined #ocaml

17:17 hook54321a has joined #ocaml

17:17 hook54321a has quit [Killed (Sigyn (Spam is off topic on freenode.))]

17:22 FreeBirdLjj has quit [Ping timeout: 256 seconds]

17:26 mengu has quit [Read error: Connection reset by peer]

17:31 breitenj3 has joined #ocaml

17:34 spew has quit [Read error: Connection reset by peer]

17:35 breitenj3 has quit [Ping timeout: 240 seconds]

17:42 Guest61116 has joined #ocaml

17:42 Guest61116 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

17:51 FreeBirdLjj has joined #ocaml

17:55 nullifidian__ is now known as nullifidian

18:01 mengu has joined #ocaml

18:08 Stummi11 has joined #ocaml

18:08 Stummi11 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

18:13 gareppa has joined #ocaml

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

18:27 jnavila has joined #ocaml

18:27 shw has joined #ocaml

18:34 letoh_ has joined #ocaml

18:35 quipa has joined #ocaml

18:36 <shw> is there a way to see the internal value through an abstract type (- : M.t = <abstr>) from the interactive toplevel?

18:36 <shw> or would I have to export debugging helper functions from the module?

18:37 <shw> for interactive debugging purposes

18:37 letoh has quit [Ping timeout: 268 seconds]

18:43 doaks has joined #ocaml

18:43 doaks has quit [Killed (Sigyn (Spam is off topic on freenode.))]

18:44 mengu has quit [Remote host closed the connection]

18:49 gareppa has joined #ocaml

18:50 <shw> looks like exporting a printer function in the sig, and using #install_printer M.pp_print;; is the way to go

18:54 FreeBirdLjj has quit [Ping timeout: 256 seconds]

18:59 letoh_ has left #ocaml [#ocaml]

19:04 letoh has joined #ocaml

19:04 Fare has joined #ocaml

19:17 JimmyRcom has quit [Remote host closed the connection]

19:18 JimmyRcom has joined #ocaml

19:22 gareppa has quit [Quit: Leaving]

19:41 jack5638 has quit [Ping timeout: 276 seconds]

19:45 FreeBirdLjj has joined #ocaml

19:47 jack5638 has joined #ocaml

19:47 mengu has joined #ocaml

19:56 FreeBirdLjj has quit [Ping timeout: 248 seconds]

19:58 eth28 has joined #ocaml

19:58 eth28 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

20:07 notnotdan has quit [Quit: leaving]

20:11 deedra16 has joined #ocaml

20:11 deedra16 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

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

20:28 JimmyRcom has quit [Remote host closed the connection]

20:32 JimmyRcom has joined #ocaml

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

20:35 JimmyRcom has quit [Remote host closed the connection]

20:35 mrvn has quit [Ping timeout: 240 seconds]

20:39 JimmyRcom has joined #ocaml

20:40 JStoker2 has joined #ocaml

20:42 JStoker2 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

20:57 information7 has joined #ocaml

20:57 information7 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

20:59 Haudegen has joined #ocaml

21:00 zolk3ri has quit [Ping timeout: 250 seconds]

21:02 pierpal has quit [Ping timeout: 260 seconds]

21:11 zolk3ri has joined #ocaml

21:27 sielicki has joined #ocaml

21:27 sielicki has quit [Killed (Sigyn (Spam is off topic on freenode.))]

21:31 dave492528 has joined #ocaml

21:31 dave492528 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

21:33 Danishman has quit [Quit: KVIrc 4.9.3 Aria http://www.kvirc.net/]

21:39 FreeBirdLjj has joined #ocaml

21:43 FreeBirdLjj has quit [Ping timeout: 244 seconds]

21:46 pmetzger has joined #ocaml

21:47 Dwarf22 has joined #ocaml

21:47 Dwarf22 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

21:47 icywiz1 has joined #ocaml

21:47 icywiz1 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

21:49 PityDaFool15 has joined #ocaml

21:49 PityDaFool15 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

22:33 jamesl has joined #ocaml

22:34 jamesl has quit [Remote host closed the connection]

22:39 kakadu has quit [Remote host closed the connection]

22:40 pmetzger has quit [Remote host closed the connection]

23:00 pierpa has joined #ocaml

23:02 Fare has quit [Ping timeout: 260 seconds]

23:09 pmetzger has joined #ocaml

23:10 pmetzger has quit [Client Quit]

23:13 pierpal has joined #ocaml

23:16 Fare has joined #ocaml

23:20 tormen has quit [Ping timeout: 256 seconds]

23:21 pierpal has quit [Ping timeout: 244 seconds]

23:24 alefir is now known as Guest64993

23:26 Guest64993 has quit [Remote host closed the connection]

23:27 FreeBirdLjj has joined #ocaml

23:27 tormen has joined #ocaml

23:32 tormen has quit [Ping timeout: 240 seconds]

23:32 tormen has joined #ocaml

23:33 JimmyRcom has quit [Remote host closed the connection]

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

23:35 mengu has joined #ocaml

23:35 JimmyRcom has joined #ocaml

23:39 mengu has quit [Ping timeout: 244 seconds]

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

23:44 JimmyRcom has joined #ocaml

23:50 FreeBirdLjj has quit [Ping timeout: 248 seconds]