#ocaml on 2018-12-21 — 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:10 jao has quit [Remote host closed the connection]

00:19 jao has joined #ocaml

00:19 Algebr has quit [Ping timeout: 250 seconds]

00:23 zolk3ri has quit [Quit: Lost terminal]

00:25 Algebr has joined #ocaml

00:26 marsam has joined #ocaml

00:48 marsam has quit [Ping timeout: 252 seconds]

00:53 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:57 anmonteiro has quit [Remote host closed the connection]

01:00 ygrek has quit [Ping timeout: 250 seconds]

01:01 Algebr has quit [Remote host closed the connection]

01:07 jmiven has quit [Quit: co'o]

01:07 jmiven has joined #ocaml

01:28 anmonteiro has joined #ocaml

01:33 recj has quit [Quit: Lost terminal]

01:36 sonologico has quit [Ping timeout: 272 seconds]

01:38 recj has joined #ocaml

01:39 thunderbolt13 has joined #ocaml

01:39 thunderbolt13 has quit [Remote host closed the connection]

01:41 MadcapJake has quit [Read error: Connection reset by peer]

01:45 MadcapJake has joined #ocaml

01:50 kvda has joined #ocaml

02:01 anmonteiro has quit [Ping timeout: 240 seconds]

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

02:13 objmagic has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:21 kvda has quit [Read error: Connection reset by peer]

02:24 FreeBirdLjj has joined #ocaml

02:32 kvda has joined #ocaml

02:41 FreeBirdLjj has quit [Remote host closed the connection]

02:42 FreeBirdLjj has joined #ocaml

02:45 mfp has quit [Ping timeout: 250 seconds]

02:51 FreeBirdLjj has quit [Remote host closed the connection]

02:52 anmonteiro has joined #ocaml

03:22 enikar has quit [Excess Flood]

03:23 enikar has joined #ocaml

03:26 FreeBirdLjj has joined #ocaml

03:26 anmonteiro has quit [Ping timeout: 272 seconds]

03:27 tormen_ has joined #ocaml

03:30 tormen has quit [Ping timeout: 246 seconds]

03:31 FreeBirdLjj has quit [Ping timeout: 240 seconds]

03:41 lyxia has quit [Quit: WeeChat 2.3]

03:49 lyxia has joined #ocaml

04:08 recj has quit [Ping timeout: 250 seconds]

04:08 FreeBirdLjj has joined #ocaml

04:13 FreeBirdLjj has quit [Ping timeout: 250 seconds]

04:14 enikar has quit [Ping timeout: 246 seconds]

04:15 enikar has joined #ocaml

04:24 recj has joined #ocaml

04:42 keep_learning_M has joined #ocaml

04:45 keep_learning_M has quit [Client Quit]

04:45 keep_learning_M has joined #ocaml

04:46 keep_learning_M has quit [Client Quit]

04:47 keep_learning_M has joined #ocaml

04:52 anmonteiro has joined #ocaml

05:06 ggole has joined #ocaml

05:25 anmonteiro has quit [Ping timeout: 240 seconds]

05:27 FreeBirdLjj has joined #ocaml

05:32 dTal_ has joined #ocaml

05:33 FreeBirdLjj has quit [Ping timeout: 268 seconds]

05:34 jao has quit [Ping timeout: 250 seconds]

05:34 dTal has quit [Ping timeout: 246 seconds]

05:46 themsay has quit [Ping timeout: 246 seconds]

05:48 themsay has joined #ocaml

05:53 KeyJoo has joined #ocaml

05:58 friendofafriend1 has joined #ocaml

06:03 friendofafriend1 has quit [Ping timeout: 268 seconds]

06:16 anmonteiro has joined #ocaml

06:22 sonologico has joined #ocaml

06:35 FreeBirdLjj has joined #ocaml

06:40 FreeBirdLjj has quit [Ping timeout: 250 seconds]

06:43 kvda has quit [Quit: Textual IRC Client: www.textualapp.com]

06:50 anmonteiro has quit [Ping timeout: 244 seconds]

07:01 pierpal has quit [Ping timeout: 272 seconds]

07:20 <Leonidas> tobiasBora: I used to agree a long time ago, but nowadays I think that databases are so different that migrating between them is quite a debacle

07:21 <Leonidas> so might as well pick one and stick with it

07:22 <Leonidas> and hope that you didn't pick mysql

07:35 KeyJoo has quit [Quit: KeyJoo]

07:41 anmonteiro has joined #ocaml

07:41 ziyourenxiang has quit [Ping timeout: 246 seconds]

07:43 FreeBirdLjj has joined #ocaml

07:49 FreeBirdLjj has quit [Ping timeout: 268 seconds]

08:05 <adrien> notnotdan: thanks :)

08:06 * adrien didn't get home as early as thought initially

08:13 anmonteiro has quit [Ping timeout: 250 seconds]

08:33 sagotch has joined #ocaml

08:34 FreeBirdLjj has joined #ocaml

08:38 FreeBirdLjj has quit [Ping timeout: 250 seconds]

08:39 keep_learning_M has quit [Quit: Leaving]

09:04 anmonteiro has joined #ocaml

09:12 FreeBirdLjj has joined #ocaml

09:20 FreeBirdLjj has quit [Remote host closed the connection]

09:24 FreeBirdLjj has joined #ocaml

09:28 FreeBirdLjj has quit [Ping timeout: 245 seconds]

09:38 anmonteiro has quit [Ping timeout: 244 seconds]

09:39 <Leonidas> hmm, kantians explanation of modular implicits is fantastic

09:53 gareppa has joined #ocaml

09:54 gareppa has quit [Client Quit]

10:02 FreeBirdLjj has joined #ocaml

10:06 FreeBirdLjj has quit [Ping timeout: 250 seconds]

10:29 anmonteiro has joined #ocaml

10:36 ggole has quit [Ping timeout: 250 seconds]

10:38 FreeBirdLjj has joined #ocaml

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

10:48 johnelse has quit [Read error: Connection reset by peer]

10:49 ggole has joined #ocaml

10:50 mfp has joined #ocaml

10:52 johnelse has joined #ocaml

11:01 anmonteiro has quit [Ping timeout: 245 seconds]

11:04 Guest32502 has joined #ocaml

11:14 johnelse has quit [Read error: Connection reset by peer]

11:15 pierpal has joined #ocaml

11:19 johnelse has joined #ocaml

11:24 Guest32502 has quit [Read error: Connection reset by peer]

11:25 Haudegen has joined #ocaml

11:39 ziyourenxiang has joined #ocaml

11:40 themsay has quit [Ping timeout: 244 seconds]

11:43 anmonteiro has joined #ocaml

11:45 dTal_ has quit [Changing host]

11:45 dTal_ has joined #ocaml

11:46 dTal_ is now known as dTal

11:58 gareppa has joined #ocaml

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

12:05 bartholin has joined #ocaml

12:05 bartholin is now known as bartnukkah

12:11 ggole has joined #ocaml

12:30 slamzy has joined #ocaml

12:31 slamzy1234 has joined #ocaml

12:35 slamzy has quit [Ping timeout: 256 seconds]

12:40 FreeBirdLjj has joined #ocaml

12:41 iovec has quit []

12:44 FreeBirdLjj has quit [Ping timeout: 268 seconds]

12:45 iovec has joined #ocaml

12:45 silver has joined #ocaml

13:13 marsam has joined #ocaml

13:13 marsam has quit [Remote host closed the connection]

13:22 Haudegen has quit [Remote host closed the connection]

13:34 marsam has joined #ocaml

13:58 magnus_ has joined #ocaml

14:01 zolk3ri has joined #ocaml

14:05 linville has joined #ocaml

14:05 linville has quit [Remote host closed the connection]

14:15 magnus_ has quit [Quit: leaving]

14:16 marasgp has joined #ocaml

14:16 marasgp has quit [Client Quit]

14:20 sagotch has quit [Quit: Leaving.]

14:26 FreeBirdLjj has joined #ocaml

14:27 sagotch has joined #ocaml

14:30 Haudegen has joined #ocaml

14:30 FreeBirdLjj has quit [Ping timeout: 245 seconds]

14:32 jave has quit [Ping timeout: 245 seconds]

14:37 jave has joined #ocaml

14:46 marsam has quit [Ping timeout: 252 seconds]

14:53 mildtaste has left #ocaml [#ocaml]

14:53 jao has joined #ocaml

14:58 marsam has joined #ocaml

15:14 marsam has quit [Remote host closed the connection]

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

15:17 gareppa has quit [Quit: Leaving]

15:17 slamzy1234 has joined #ocaml

15:42 ygrek has joined #ocaml

15:55 slamzy1234 has quit [Remote host closed the connection]

15:59 objmagic has joined #ocaml

16:00 objmagic has quit [Client Quit]

16:03 objmagic has joined #ocaml

16:26 ziyourenxiang has quit [Ping timeout: 268 seconds]

16:27 FreeBirdLjj has joined #ocaml

16:31 FreeBirdLjj has quit [Ping timeout: 250 seconds]

16:44 gravicappa has joined #ocaml

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

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

17:00 objmagic has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:03 FreeBirdLjj has joined #ocaml

17:08 FreeBirdLjj has quit [Ping timeout: 245 seconds]

17:08 johnelse has quit [Quit: leaving]

17:47 layeredeggplant has joined #ocaml

17:47 layeredeggplant has quit [Client Quit]

17:51 objmagic has joined #ocaml

18:27 sonologico has quit [Remote host closed the connection]

18:27 anmonteiro has quit [Remote host closed the connection]

18:37 anmonteiro has joined #ocaml

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

18:47 ggole has quit [Quit: ggole]

19:04 FreeBirdLjj has joined #ocaml

19:08 TheRuralJuror has joined #ocaml

19:09 FreeBirdLjj has quit [Ping timeout: 244 seconds]

19:11 TheRuralJuror has quit [Remote host closed the connection]

19:31 tane has joined #ocaml

19:36 kakadu has joined #ocaml

19:44 FreeBirdLjj has joined #ocaml

19:49 FreeBirdLjj has quit [Ping timeout: 250 seconds]

19:52 bartnukkah has quit [Remote host closed the connection]

20:07 jao has quit [Remote host closed the connection]

20:10 <spew> is there a way to define a metarule or wildcard rule in dune?

20:10 <spew> e.g. this in make

20:10 <spew> %.pdf: %.ps

20:10 <spew> ps2pdf $< > $@

20:11 slamzy1234 has joined #ocaml

20:11 slamzy1234 has quit [Remote host closed the connection]

20:13 <spew> welp there's this: https://github.com/ocaml/dune/issues/307

20:49 layeredeggplant has joined #ocaml

20:49 layeredeggplant has quit [Client Quit]

21:06 jao has joined #ocaml

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

21:27 <Armael> can I pass options to utop when doing "dune utop dir"?

21:27 <Armael> I'd like to pass -emacs

21:45 FreeBirdLjj has joined #ocaml

21:50 FreeBirdLjj has quit [Ping timeout: 246 seconds]

22:05 jnavila has quit [Quit: Konversation terminated!]

22:06 jnavila has joined #ocaml

22:25 FreeBirdLjj has joined #ocaml

22:30 FreeBirdLjj has quit [Ping timeout: 250 seconds]

22:54 recj has quit [Ping timeout: 268 seconds]

22:55 recj has joined #ocaml

23:04 objmagic has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:10 gravicappa has quit [Remote host closed the connection]

23:18 pierpal has joined #ocaml

23:18 kakadu has quit [Remote host closed the connection]

23:22 zmv has joined #ocaml

23:22 notzmv has quit [Ping timeout: 246 seconds]

23:23 spew has quit [Quit: Connection closed for inactivity]

23:24 pierpal has quit [Ping timeout: 240 seconds]

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

23:26 ygrek has joined #ocaml

23:33 pierpal has joined #ocaml

23:40 tane has quit [Quit: Leaving]