#ocaml on 2018-09-24 — 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:09 jhei15 has joined #ocaml

00:10 jhei15 has quit [Remote host closed the connection]

00:26 nihe has joined #ocaml

00:26 nihe has quit [Remote host closed the connection]

00:29 zmt00 has joined #ocaml

00:35 mfp has quit [Ping timeout: 245 seconds]

00:57 kleimkuhler has joined #ocaml

01:07 KeyJoo has quit [Ping timeout: 252 seconds]

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

01:16 Elodie0 has joined #ocaml

01:21 Elodie0 has quit [Remote host closed the connection]

01:23 Fare has joined #ocaml

01:40 zmt00 has quit [Quit: Leaving]

01:51 kleimkuhler has quit [Quit: kleimkuhler]

02:25 omilu has joined #ocaml

02:25 omilu has quit [Remote host closed the connection]

02:27 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:34 ygrek_ has joined #ocaml

02:39 huaouo has joined #ocaml

02:48 kleimkuhler has joined #ocaml

02:49 tormen_ has joined #ocaml

02:50 <Fare> are there names to distinguish the style that keeps more type variables from the style that instantiates types in modules?

02:51 huaouo has quit [Ping timeout: 252 seconds]

02:53 tormen has quit [Ping timeout: 252 seconds]

03:00 jack5638 has quit [Ping timeout: 240 seconds]

03:12 jack5638 has joined #ocaml

03:12 <companion_cube> not sure, no

03:13 <companion_cube> I would probably say "polymorphism heavy" or "functor heavy", but ymmv

03:13 <companion_cube> (any opinion Drup?)

03:18 kvda has joined #ocaml

03:31 jao has quit [Ping timeout: 260 seconds]

03:41 huaouo has joined #ocaml

03:45 oni-on-ion has quit [Read error: No route to host]

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

04:35 huaouo has quit [Quit: Leaving]

04:37 noitakomentaja has quit [Quit: leaving]

04:55 keep_learning_M has joined #ocaml

04:57 kleimkuhler has quit [Quit: kleimkuhler]

05:09 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:18 Fare has quit [Ping timeout: 260 seconds]

05:23 kvda has joined #ocaml

05:24 kvda has quit [Client Quit]

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

06:00 keep_learning_M has quit [Quit: This computer has gone to sleep]

06:02 keep_learning_M has joined #ocaml

06:11 keep_learning_M has quit [Quit: This computer has gone to sleep]

06:29 noitakomentaja has joined #ocaml

06:39 Haudegen has joined #ocaml

07:02 sagotch has joined #ocaml

07:10 hiro_p0 has joined #ocaml

07:15 hiro_p0 has quit [Remote host closed the connection]

07:16 clockish has quit [Ping timeout: 245 seconds]

07:18 henrytill has quit [Ping timeout: 246 seconds]

07:18 clockish has joined #ocaml

07:21 henrytill has joined #ocaml

07:27 alphor has quit [Ping timeout: 240 seconds]

07:27 clockish has quit [Ping timeout: 250 seconds]

07:29 alphor has joined #ocaml

07:30 clockish has joined #ocaml

07:31 sPiN1 has joined #ocaml

07:31 sPiN1 has quit [Remote host closed the connection]

07:53 moei has quit [Quit: Leaving...]

08:05 ggole has joined #ocaml

08:09 johnny56_ has joined #ocaml

08:09 kvda has joined #ocaml

08:12 johnny56_ has quit [Remote host closed the connection]

08:18 orbifx1 has joined #ocaml

08:26 KeyJoo has joined #ocaml

08:37 alphor has quit [Ping timeout: 250 seconds]

08:37 clockish has quit [Ping timeout: 250 seconds]

08:38 clockish has joined #ocaml

08:39 alphor has joined #ocaml

08:48 alphor has quit [Ping timeout: 252 seconds]

08:48 clockish has quit [Ping timeout: 252 seconds]

08:49 clockish has joined #ocaml

08:50 alphor has joined #ocaml

08:52 kakadu has joined #ocaml

08:54 mfp has joined #ocaml

09:10 noitakomentaja has quit [Ping timeout: 252 seconds]

09:17 mathu14 has joined #ocaml

09:27 mathu14 has quit [Ping timeout: 252 seconds]

09:27 keep_learning_M has joined #ocaml

09:32 moei has joined #ocaml

09:37 <ggole> Hmm. #use_mod in the toplevel should probably indicate "you meant to use #mod_use" somehow.

09:43 thomas_scrace has joined #ocaml

09:44 thomas_scrace has quit [Client Quit]

09:48 Guest14483 has joined #ocaml

09:49 Guest14483 has quit [Read error: Connection reset by peer]

09:57 <reynir> ggole: I made this for you https://github.com/reynir/use_mod

09:57 sep8 has joined #ocaml

09:58 <Armael> meh :D

09:58 <reynir> if you install the package you can add '#require "use_mod";;' to your .ocamlinit, and then #use_mod "foo.ml";; will remind you to use #mod_use "foo.ml";; instead :P

09:59 sep8 has quit [Remote host closed the connection]

10:04 rwmjones has quit [Ping timeout: 240 seconds]

10:05 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:06 rwmjones has joined #ocaml

10:14 ziyourenxiang has joined #ocaml

10:23 jaar has joined #ocaml

10:33 Haudegen has quit [Read error: Connection reset by peer]

10:43 <ggole> reynir: neat!

10:44 keep_learning_M has quit [Quit: Leaving]

10:53 noitakomentaja has joined #ocaml

10:55 KeyJoo has quit [Ping timeout: 246 seconds]

10:56 jao has joined #ocaml

11:15 <Leonidas> reynir: very nice, starred. Hope the PR to opam-repository is underway :D

11:18 kakadu has left #ocaml ["Konversation terminated!"]

11:18 kakadu has joined #ocaml

11:33 ygrek_ has quit [Ping timeout: 272 seconds]

11:50 Guest2766 has joined #ocaml

11:53 <reynir> :D

11:56 glenfe27 has joined #ocaml

11:58 glenfe27 has quit [Remote host closed the connection]

12:27 freyr69 has joined #ocaml

12:33 KeyJoo has joined #ocaml

12:48 Guest2766 has quit [Remote host closed the connection]

12:48 Haudegen has joined #ocaml

12:54 pierpal has joined #ocaml

12:55 spew has joined #ocaml

12:56 silver has joined #ocaml

12:57 JimmyRcom has joined #ocaml

13:18 wt0f has joined #ocaml

13:18 tobiasBora has joined #ocaml

13:18 jbrown has joined #ocaml

13:20 wt0f has quit [Remote host closed the connection]

13:20 _andre has joined #ocaml

13:50 erkin has joined #ocaml

13:52 orbifx1 has quit [Ping timeout: 252 seconds]

13:53 kakadu has quit [Ping timeout: 240 seconds]

14:18 freyr69 has quit [Remote host closed the connection]

14:23 gareppa has joined #ocaml

14:24 gareppa has quit [Remote host closed the connection]

14:48 ziyourenxiang has quit [Ping timeout: 252 seconds]

14:56 noitakomentaja has quit [Quit: leaving]

15:12 Fare has joined #ocaml

15:14 zlsyx has joined #ocaml

15:15 pierpal has quit [Ping timeout: 260 seconds]

15:18 orbifx1 has joined #ocaml

15:26 orbifx1 has quit [Ping timeout: 240 seconds]

15:42 zlsyx has quit [Read error: Connection reset by peer]

15:43 zlsyx has joined #ocaml

15:49 kakadu has joined #ocaml

15:53 kakadu_ has joined #ocaml

15:56 kakadu has quit [Ping timeout: 252 seconds]

15:56 Haudegen has quit [Remote host closed the connection]

15:59 Fare has quit [Ping timeout: 260 seconds]

16:04 al-damiri has joined #ocaml

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

16:09 orbifx1 has joined #ocaml

16:20 JimmyRcom has quit [Ping timeout: 240 seconds]

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

16:30 noitakomentaja has joined #ocaml

16:38 noitakomentaja has quit [Quit: leaving]

16:48 orbifx1 has joined #ocaml

16:50 bartholin has joined #ocaml

16:53 Fare has joined #ocaml

17:00 Haudegen has joined #ocaml

17:04 z4phod6 has joined #ocaml

17:04 z4phod6 has quit [Remote host closed the connection]

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

17:11 Fare has joined #ocaml

17:20 orbifx1 has quit [Ping timeout: 252 seconds]

17:22 orbifx1 has joined #ocaml

17:32 noitakomentaja has joined #ocaml

17:36 donryudragoni has joined #ocaml

17:50 kleimkuhler has joined #ocaml

17:51 orbifx1 has quit [Ping timeout: 246 seconds]

17:55 <Fare> How do you debug deadlocks with Lwt ? Does it have deadlock detection?

17:58 erkin has quit [Remote host closed the connection]

18:01 jaar has quit [Ping timeout: 246 seconds]

18:08 thelounge93 has joined #ocaml

18:11 thelounge93 has quit [Remote host closed the connection]

18:17 orbifx1 has joined #ocaml

18:19 fraxamo has joined #ocaml

18:20 dejanr has quit [Ping timeout: 245 seconds]

18:32 donryudragoni has quit [Quit: WeeChat 2.2]

18:36 donryudragoni has joined #ocaml

18:36 sagax has quit [Quit: Konversation terminated!]

18:43 Jesin has quit [Quit: Leaving]

18:55 Jesin has joined #ocaml

19:03 fraxamo has quit [Quit: Leaving]

19:19 kleimkuhler has quit [Quit: kleimkuhler]

19:24 jnavila has joined #ocaml

19:35 jao has quit [Ping timeout: 245 seconds]

19:42 kakadu has joined #ocaml

19:48 barcabuona has joined #ocaml

19:50 ggole has quit [Quit: ggole]

19:55 SpiceGuid has joined #ocaml

20:07 lostman has joined #ocaml

20:21 aydio has joined #ocaml

20:25 aydio has quit [Client Quit]

20:26 jnavila has quit [Ping timeout: 252 seconds]

20:27 Jesin has quit [Quit: Leaving]

20:30 Jesin has joined #ocaml

20:34 jab41617112 has joined #ocaml

20:35 jnavila has joined #ocaml

20:36 donryudragoni has quit [Quit: WeeChat 2.2]

20:39 jab41617112 has quit [Ping timeout: 246 seconds]

20:41 spreeuw21 has joined #ocaml

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

20:46 Haudegen has quit [Remote host closed the connection]

20:53 bartholin has quit [Remote host closed the connection]

20:56 spew has quit [Quit: going home]

21:06 jao has joined #ocaml

21:09 jave has quit [Ping timeout: 252 seconds]

21:10 jnavila has quit [Remote host closed the connection]

21:12 jave has joined #ocaml

21:19 zlsyx has quit [Read error: Connection reset by peer]

21:19 zlsyx has joined #ocaml

21:23 KeyJoo has quit [Ping timeout: 252 seconds]

21:30 Haudegen has joined #ocaml

21:34 kleimkuhler has joined #ocaml

21:35 plausi18 has joined #ocaml

21:38 plausi18 has quit [Remote host closed the connection]

21:38 barcabuona has quit [Ping timeout: 264 seconds]

21:38 silver_ has joined #ocaml

21:40 kvda has joined #ocaml

21:41 silver has quit [Ping timeout: 240 seconds]

21:49 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:50 kvda has joined #ocaml

21:51 erska4 has joined #ocaml

21:54 erska4 has quit [Remote host closed the connection]

21:55 barcabuona has joined #ocaml

22:09 blackace22 has joined #ocaml

22:10 APic29 has joined #ocaml

22:10 APic29 has quit [Remote host closed the connection]

22:10 Fare has quit [Ping timeout: 245 seconds]

22:11 blackace22 has quit [Read error: Connection reset by peer]

22:29 SpiceGuid_ has joined #ocaml

22:30 SpiceGuid has quit [Ping timeout: 272 seconds]

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

22:39 Fare has joined #ocaml

22:47 Fare has quit [Ping timeout: 245 seconds]

22:53 theglass has joined #ocaml

22:53 theglass has quit [Changing host]

22:53 wildsebastian_ has joined #ocaml

22:55 gargawel_ has joined #ocaml

22:57 johnelse_ has joined #ocaml

22:59 henrytill_ has joined #ocaml

22:59 thegameg has joined #ocaml

23:00 henrytill has quit [*.net *.split]

23:00 glass has quit [*.net *.split]

23:00 Armael has quit [*.net *.split]

23:00 gargawel has quit [*.net *.split]

23:00 thegameg_ has quit [*.net *.split]

23:00 johnelse has quit [*.net *.split]

23:00 wildsebastian has quit [*.net *.split]

23:03 noitakomentaja has quit [Quit: leaving]

23:04 jave has quit [Ping timeout: 252 seconds]

23:05 jave has joined #ocaml

23:07 orbifx1 has quit [Ping timeout: 244 seconds]

23:07 Armael has joined #ocaml

23:28 Haudegen has quit [Remote host closed the connection]

23:41 SpiceGuid_ has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.2/20180205075051]]

23:45 jbrown has quit [Ping timeout: 252 seconds]

23:49 kleimkuhler has quit [Quit: kleimkuhler]

23:58 jbrown has joined #ocaml