#ocaml on 2018-12-08 — 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:01 chjk6x_ has joined #ocaml

00:06 chjk6x_ has quit [Ping timeout: 250 seconds]

00:10 zolk3ri has joined #ocaml

00:11 discord2 has joined #ocaml

00:13 nahra` has joined #ocaml

00:13 diginet_ has joined #ocaml

00:15 DanielRi1hman has joined #ocaml

00:15 erwanou_ has joined #ocaml

00:15 AdmWiggin has joined #ocaml

00:16 bjs_ has joined #ocaml

00:16 tormen has joined #ocaml

00:18 discord1 has quit [Remote host closed the connection]

00:18 jave has quit [Ping timeout: 240 seconds]

00:18 DanielRichman has quit [Ping timeout: 240 seconds]

00:18 erwanou has quit [Ping timeout: 240 seconds]

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

00:18 nullifidian has quit [Ping timeout: 240 seconds]

00:18 tianon has quit [Ping timeout: 240 seconds]

00:18 nahra has quit [Ping timeout: 240 seconds]

00:18 bjs has quit [Ping timeout: 240 seconds]

00:18 cross has joined #ocaml

00:18 kalio has quit [Ping timeout: 240 seconds]

00:18 tormen_ has quit [Ping timeout: 240 seconds]

00:18 cross has quit [Ping timeout: 240 seconds]

00:18 bjs_ is now known as bjs

00:18 diginet_ is now known as diginet

00:18 jave has joined #ocaml

00:19 kalio has joined #ocaml

00:21 clog has quit [Ping timeout: 246 seconds]

00:21 aplainzetakind has joined #ocaml

00:21 lukky513 has quit [Ping timeout: 246 seconds]

00:21 picolino has quit [Ping timeout: 246 seconds]

00:21 catern has joined #ocaml

00:25 picolino has joined #ocaml

00:30 lukky513 has joined #ocaml

00:35 ziyourenxiang has joined #ocaml

00:37 aplainzetakind has quit [Remote host closed the connection]

00:38 aplainzetakind has joined #ocaml

00:41 AdmWiggin is now known as tianon

00:47 sonologico has quit [Ping timeout: 246 seconds]

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

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

01:06 jmiven has joined #ocaml

01:11 themsay has joined #ocaml

01:12 marvin2 has quit []

02:18 clog has joined #ocaml

02:26 Jeanne-Kamikaze has quit [Ping timeout: 250 seconds]

02:33 kvda has joined #ocaml

02:37 Haudegen has quit [Ping timeout: 250 seconds]

02:46 mfp has quit [Ping timeout: 246 seconds]

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

03:01 kvda has joined #ocaml

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

03:40 tormen_ has joined #ocaml

03:43 tormen has quit [Ping timeout: 250 seconds]

03:52 aplainzetakind has quit [Ping timeout: 250 seconds]

04:54 c4rc4s has quit [Read error: Connection reset by peer]

04:54 c4rc4s has joined #ocaml

04:55 pierpal has quit [Quit: Poof]

04:55 pierpal has joined #ocaml

05:52 ygrek has quit [Ping timeout: 246 seconds]

06:02 jao has quit [Ping timeout: 250 seconds]

06:30 pierpal has quit [Read error: Connection reset by peer]

06:32 pierpal has joined #ocaml

06:37 pierpal has quit [Ping timeout: 250 seconds]

06:40 pierpal has joined #ocaml

06:44 pierpal has quit [Ping timeout: 246 seconds]

06:50 pierpal has joined #ocaml

06:53 pierpal has quit [Read error: Connection reset by peer]

06:59 rwmjones_ has joined #ocaml

07:01 rwmjones has quit [Ping timeout: 268 seconds]

07:11 pierpal has joined #ocaml

07:15 pierpal has quit [Ping timeout: 240 seconds]

07:47 fraxamo has joined #ocaml

07:50 pierpal has joined #ocaml

07:52 awal has quit [Quit: ZNC 1.6.4 - http://znc.in]

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

07:58 pierpal has joined #ocaml

08:03 pierpal has quit [Ping timeout: 250 seconds]

08:06 pierpal has joined #ocaml

08:25 pierpal has quit [Read error: Connection reset by peer]

08:26 sagotch has joined #ocaml

08:26 kakadu has joined #ocaml

08:36 pierpal has joined #ocaml

08:38 pierpal has quit [Read error: Connection reset by peer]

08:40 pierpal has joined #ocaml

08:43 themsay has quit [Ping timeout: 268 seconds]

08:43 pierpal has quit [Read error: Connection reset by peer]

08:43 pierpal has joined #ocaml

08:47 pierpal has quit [Ping timeout: 244 seconds]

08:48 pierpal has joined #ocaml

08:50 pierpal has quit [Read error: Connection reset by peer]

08:50 pierpal has joined #ocaml

08:54 pierpal has quit [Ping timeout: 250 seconds]

08:57 pierpal has joined #ocaml

09:02 pierpal has quit [Ping timeout: 268 seconds]

09:04 pierpal has joined #ocaml

09:06 gravicappa has joined #ocaml

09:08 pierpal has quit [Ping timeout: 246 seconds]

09:13 sagotch has quit [Quit: Leaving.]

09:16 pierpal has joined #ocaml

09:22 sonologico has joined #ocaml

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

09:24 pierpal has joined #ocaml

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

09:27 pierpal has joined #ocaml

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

09:31 pierpal has joined #ocaml

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

09:34 pierpal has joined #ocaml

09:35 sagotch has joined #ocaml

09:39 sagotch has quit [Client Quit]

09:42 tobiasBora has quit [Ping timeout: 245 seconds]

09:42 tobiasBora has joined #ocaml

09:43 _y has quit [Ping timeout: 250 seconds]

09:43 _y has joined #ocaml

09:50 pierpal has quit [Ping timeout: 250 seconds]

09:54 pierpal has joined #ocaml

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

09:59 pierpal has joined #ocaml

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

10:08 pierpal has joined #ocaml

10:08 weird_error has quit [Quit: weird_error]

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

10:10 pierpal has joined #ocaml

10:14 pierpal has quit [Ping timeout: 245 seconds]

10:16 pierpal has joined #ocaml

10:20 pierpal has quit [Ping timeout: 240 seconds]

10:24 pierpal has joined #ocaml

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

10:32 pierpal has joined #ocaml

10:33 mfp has joined #ocaml

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

10:37 pierpal has joined #ocaml

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

10:39 pierpal has joined #ocaml

10:45 ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

10:59 pierpal has joined #ocaml

11:06 pierpal has quit [Ping timeout: 244 seconds]

11:11 pierpal has joined #ocaml

11:15 pierpal has quit [Ping timeout: 240 seconds]

11:21 pierpal has joined #ocaml

11:23 pierpal has quit [Read error: Connection reset by peer]

11:24 pierpal has joined #ocaml

11:24 Haudegen has joined #ocaml

11:28 pierpal has quit [Ping timeout: 245 seconds]

11:30 pierpal has joined #ocaml

11:33 pierpal has quit [Read error: Connection reset by peer]

11:36 chjk6x_ has joined #ocaml

11:36 pierpal has joined #ocaml

12:38 pierpal has quit [Ping timeout: 250 seconds]

12:38 pierpal has joined #ocaml

12:42 pierpal has quit [Ping timeout: 246 seconds]

12:49 pierpal has joined #ocaml

12:52 pierpal has quit [Read error: Connection reset by peer]

12:52 pierpal has joined #ocaml

12:57 pierpal has quit [Ping timeout: 268 seconds]

13:10 chjk6x_ has quit [Ping timeout: 246 seconds]

13:12 pierpal has joined #ocaml

13:15 pierpal has quit [Read error: Connection reset by peer]

13:15 pierpal has joined #ocaml

13:18 KeyJoo has joined #ocaml

13:25 chjk6x_ has joined #ocaml

13:40 aplainzetakind has joined #ocaml

13:52 KeyJoo has quit [Quit: KeyJoo]

13:53 KeyJoo has joined #ocaml

14:01 aplainzetakind has quit [Ping timeout: 240 seconds]

14:09 malina has quit [Ping timeout: 246 seconds]

14:15 jnavila has joined #ocaml

14:24 kvda has joined #ocaml

14:24 weird_error has joined #ocaml

14:26 steenuil has quit [Remote host closed the connection]

14:30 steenuil has joined #ocaml

14:44 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:58 Jesin has quit [Ping timeout: 250 seconds]

15:19 weird_error has quit [Quit: weird_error]

15:22 weird_error has joined #ocaml

15:27 weird_error has quit [Quit: weird_error]

15:33 gravicappa has quit [Ping timeout: 246 seconds]

15:55 weird_error has joined #ocaml

16:02 weird_error has quit [Quit: weird_error]

16:09 weird_error has joined #ocaml

16:12 xyz__ has joined #ocaml

16:17 KeyJoo has quit [Ping timeout: 245 seconds]

16:29 chjk6x_ has quit [Ping timeout: 268 seconds]

16:43 aplainzetakind has joined #ocaml

16:44 chjk6x_ has joined #ocaml

16:51 xyz__ has quit [Ping timeout: 240 seconds]

16:51 ziyourenxiang has quit [Ping timeout: 240 seconds]

16:52 weird_error has quit [Quit: weird_error]

17:00 _whitelogger has joined #ocaml

17:04 jao has joined #ocaml

17:10 ygrek has joined #ocaml

17:19 aplainzetakind has quit [Ping timeout: 268 seconds]

17:24 xyz__ has joined #ocaml

17:29 gravicappa has joined #ocaml

17:35 roygbiv has joined #ocaml

17:56 odgfu has joined #ocaml

18:00 FreeBirdLjj has joined #ocaml

18:02 <odgfu> Hi. I have a compiled .cmo file that I want to load in the top-level as a module, I do #load "/path/to/file.cmo";; in the top-level but when I try open File;; I get "Unbound module File" error - why?

18:03 chjk6x__ has joined #ocaml

18:04 <octachron> you need to make the corresponding interface(cmi) file visible from the toplevel too

18:06 <octachron> (with 'directory "path/to"')

18:07 chjk6x_ has quit [Ping timeout: 250 seconds]

18:07 xyz__ has quit [Ping timeout: 240 seconds]

18:07 aplainzetakind has joined #ocaml

18:11 <odgfu> Thank you!

18:23 aplainzetakind has quit [Ping timeout: 252 seconds]

18:23 aplainzetakind has joined #ocaml

18:23 ctrlsbstr has joined #ocaml

18:40 odgfu has quit [Quit: ERC (IRC client for Emacs 27.0.50)]

18:48 roygbiv has quit [Quit: ™]

18:50 weird_error has joined #ocaml

18:52 nonstop_17 has joined #ocaml

18:53 nonstop_17 has quit [Remote host closed the connection]

19:06 slamzy has joined #ocaml

19:12 pierpal has quit [Read error: Connection reset by peer]

19:35 weird_error has quit [Quit: weird_error]

19:45 FreeBirdLjj has quit [Remote host closed the connection]

19:45 pierpal has joined #ocaml

19:45 FreeBirdLjj has joined #ocaml

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

19:51 Jesin has joined #ocaml

19:56 gravicappa has quit [Ping timeout: 246 seconds]

20:21 Jesin has quit [Quit: Leaving]

20:25 Jesin has joined #ocaml

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

20:31 Jesin has quit [Quit: Leaving]

20:38 tormen_ has quit [Quit: Lost terminal]

20:40 jnavila has joined #ocaml

20:40 tormen has joined #ocaml

20:46 themsay has joined #ocaml

20:49 weird_error has joined #ocaml

20:50 themsay has quit [Ping timeout: 250 seconds]

20:51 xyz__ has joined #ocaml

20:52 themsay has joined #ocaml

20:59 philtor has joined #ocaml

21:16 xyz__ has quit [Ping timeout: 252 seconds]

21:24 xyz__ has joined #ocaml

21:32 themsay has quit [Read error: Connection reset by peer]

21:32 themsay has joined #ocaml

21:33 themsay has quit [Read error: Connection reset by peer]

21:34 themsay has joined #ocaml

21:38 themsay has quit [Ping timeout: 240 seconds]

21:38 themsay has joined #ocaml

21:42 themsay has quit [Ping timeout: 246 seconds]

21:43 xyz__ has quit [Quit: Konversation terminated!]

21:46 fraxamo has quit [Quit: Leaving]

21:58 bartholin has quit [Remote host closed the connection]

22:07 jnavila has quit [Ping timeout: 246 seconds]

22:08 jnavila has joined #ocaml

22:20 _y has quit [Quit: Hmm… À quoi, la tourte ? — À la pomme. — Chouette, mes préférées !]

22:23 pierpal has quit [Ping timeout: 250 seconds]

22:36 Jesin has joined #ocaml

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

22:40 jnavila has quit [Ping timeout: 252 seconds]

22:40 hannes` has left #ocaml [#ocaml]

22:40 hannes has joined #ocaml

22:41 Jesin has joined #ocaml

22:50 pierpal has joined #ocaml

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

23:00 lucasb has joined #ocaml

23:04 jjmeyer0 has joined #ocaml

23:04 jjmeyer0 has quit [Read error: Connection reset by peer]

23:04 slamzy has quit [Ping timeout: 256 seconds]

23:19 ygrek has quit [Ping timeout: 268 seconds]

23:40 malina has joined #ocaml

23:53 lucasb has left #ocaml [#ocaml]

23:58 chjk6x__ has quit [Ping timeout: 252 seconds]