#ocaml on 2020-12-29 — irc logs at freenode.irclog.whitequark.org

2020-09-11 13:16 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:07 noonien6 is now known as noonien

01:01 olle_ has quit [Ping timeout: 260 seconds]

01:07 ArthurStrong has joined #ocaml

01:15 <d_bot> <kyp0717> Hi. I am using ocaml with jupyter. Tab completion seems to work only with some packages and not others. For example `List.<tab>` , a pop-up window appears with all functions in this module. However, `Core.<tab>` does nothing. Any idea why?

01:22 Tuplanolla has quit [Quit: Leaving.]

01:29 amiloradovsky has quit [Remote host closed the connection]

01:30 mxns has joined #ocaml

01:32 olle has quit [Ping timeout: 240 seconds]

01:34 amiloradovsky has joined #ocaml

01:34 olle has joined #ocaml

01:35 amiloradovsky has quit [Remote host closed the connection]

02:02 amiloradovsky has joined #ocaml

02:02 amiloradovsky has quit [Remote host closed the connection]

02:06 GuerrillaMonkey has quit [Ping timeout: 246 seconds]

02:11 sm2n has quit [Remote host closed the connection]

02:11 cantstanya has quit [Ping timeout: 240 seconds]

02:14 cantstanya has joined #ocaml

02:38 vicfred has quit [Quit: Leaving]

02:55 mxns has quit [Ping timeout: 272 seconds]

03:06 rdivyanshu has joined #ocaml

03:07 madroach has joined #ocaml

03:10 madroach_ has quit [Ping timeout: 256 seconds]

03:11 mfp has quit [Ping timeout: 256 seconds]

03:40 ArthurStrong has quit [Ping timeout: 240 seconds]

03:42 <d_bot> <hcarty> @kyp0717 I haven't used OCaml in jupyter in a while, but I think it still requires external libraries to be explicitly loaded

03:43 <d_bot> <hcarty> From your jupyter session, something like `#require "core"` should work

03:44 <d_bot> <hcarty> After that, if core loads properly, everything should work as expected

03:46 zebrag has quit [Quit: Konversation terminated!]

03:51 zebrag has joined #ocaml

03:55 steenuil has quit [Read error: Connection reset by peer]

03:56 steenuil has joined #ocaml

04:06 steenuil has quit [Read error: Connection reset by peer]

05:27 zebrag has quit [Quit: Konversation terminated!]

05:51 waleee-cl has quit [Quit: Connection closed for inactivity]

06:08 mbuf has joined #ocaml

06:30 narimiran has joined #ocaml

06:40 vicfred has joined #ocaml

07:03 decentpenguin has quit [Quit: ZNC crashed or something]

07:03 decentpenguin has joined #ocaml

07:42 dborisog has joined #ocaml

07:55 shawnw has joined #ocaml

07:56 vicfred has quit [Quit: Leaving]

08:28 bjorkintosh has joined #ocaml

08:45 gareppa has joined #ocaml

08:46 gareppa has quit [Remote host closed the connection]

08:58 mbuf has quit [Ping timeout: 265 seconds]

09:08 wonko7 has joined #ocaml

09:09 rdivyanshu has quit [Quit: Connection closed for inactivity]

09:13 hnOsmium0001 has quit [Quit: Connection closed for inactivity]

09:27 bartholin has joined #ocaml

09:29 olle_ has joined #ocaml

09:41 Tuplanolla has joined #ocaml

09:55 l1x has quit [Quit: Connection closed for inactivity]

10:08 tane has joined #ocaml

10:46 dhil has joined #ocaml

10:47 mbuf has joined #ocaml

11:19 dborisog has quit [Ping timeout: 256 seconds]

11:19 l1x has joined #ocaml

11:25 richbridger has quit [Ping timeout: 260 seconds]

11:41 mfp has joined #ocaml

11:48 richbridger has joined #ocaml

12:04 aquijoule_ has joined #ocaml

12:06 richbridger has quit [Ping timeout: 256 seconds]

12:09 nullcone has quit [Quit: Connection closed for inactivity]

12:25 ggole has joined #ocaml

12:45 wonko7 has quit [Quit: See You Space Cowboy..]

12:46 dborisog has joined #ocaml

12:50 wonko7 has joined #ocaml

13:39 steenuil has joined #ocaml

13:40 mbuf has quit [Ping timeout: 246 seconds]

14:15 olle_ has quit [Ping timeout: 264 seconds]

14:17 waleee-cl has joined #ocaml

14:21 zebrag has joined #ocaml

14:28 kitties is now known as puppies

14:50 shawnw has quit [Ping timeout: 256 seconds]

15:06 djellemah has joined #ocaml

15:25 djellemah has quit [Quit: #ruby]

15:46 mro_name has joined #ocaml

15:47 mro_name is now known as mro-

15:48 mro- has quit [Client Quit]

15:48 mro- has joined #ocaml

15:49 RalfJ has quit [Remote host closed the connection]

15:50 mro- has quit [Client Quit]

15:50 RalfJ has joined #ocaml

15:51 mro- has joined #ocaml

15:51 mro- has quit [Client Quit]

15:52 mro has joined #ocaml

15:55 RalfJ has quit [Client Quit]

15:56 RalfJ has joined #ocaml

16:25 avsm[m] has joined #ocaml

16:25 mbuf has joined #ocaml

16:29 jnavila has joined #ocaml

16:48 puppies is now known as catties

17:09 c4rc4s has joined #ocaml

17:12 jbrown has joined #ocaml

17:27 Jeanne-Kamikaze has joined #ocaml

17:28 mro has quit [Quit: Leaving...]

17:34 nullcone has joined #ocaml

17:37 c4rc4s has quit [Quit: Adios]

17:37 c4rc4s has joined #ocaml

17:49 narimiran has quit [Quit: leaving]

18:00 mxns has joined #ocaml

18:04 mxns has quit [Ping timeout: 264 seconds]

18:08 mbuf has quit [Quit: Leaving]

18:16 raver has joined #ocaml

18:24 Jeanne-Kamikaze has quit [Ping timeout: 268 seconds]

18:29 zebrag has quit [Quit: Konversation terminated!]

18:31 zebrag has joined #ocaml

18:42 dhil has quit [Quit: Leaving]

18:53 dborisog has quit [Ping timeout: 240 seconds]

19:17 Jeanne-Kamikaze has joined #ocaml

19:23 GuerrillaMonkey has joined #ocaml

19:26 Jeanne-Kamikaze has quit [Ping timeout: 260 seconds]

19:37 mxns has joined #ocaml

19:39 vicfred has joined #ocaml

19:42 tryte has quit [Quit: _]

19:43 tryte has joined #ocaml

19:44 cantstanya has quit [Ping timeout: 240 seconds]

19:45 nicoo has quit [Ping timeout: 240 seconds]

19:46 cantstanya has joined #ocaml

19:46 andreas303 has quit [Ping timeout: 240 seconds]

19:54 vicfred_ has joined #ocaml

19:57 GuerrillaMonkey has quit [Quit: Leaving]

19:57 vicfred has quit [Ping timeout: 256 seconds]

19:57 vicfred__ has joined #ocaml

19:58 nicoo has joined #ocaml

20:00 vicfred_ has quit [Ping timeout: 246 seconds]

20:00 vicfred__ has quit [Client Quit]

20:06 wonko7 has quit [Ping timeout: 260 seconds]

20:16 schlaftier has quit [Quit: Ping timeout (120 seconds)]

20:17 schlaftier has joined #ocaml

20:23 wonko7 has joined #ocaml

20:35 andreas303 has joined #ocaml

20:36 vicfred has joined #ocaml

20:37 mxns has quit [Ping timeout: 265 seconds]

20:37 hnOsmium0001 has joined #ocaml

20:37 neiluj has joined #ocaml

20:37 neiluj has quit [Changing host]

20:44 neiluj has quit [Remote host closed the connection]

20:44 neiluj has joined #ocaml

20:45 neiluj has quit [Changing host]

20:45 neiluj has joined #ocaml

20:46 ggole has quit [Quit: Leaving]

20:54 neiluj has quit [Ping timeout: 256 seconds]

20:55 neiluj has joined #ocaml

20:56 neiluj has joined #ocaml

20:56 neiluj has quit [Changing host]

21:19 mro has joined #ocaml

21:20 dan64- has joined #ocaml

21:22 dan64 has quit [Ping timeout: 240 seconds]

21:25 neiluj has quit [Ping timeout: 264 seconds]

21:25 neiluj has joined #ocaml

21:27 neiluj has quit [Changing host]

21:27 neiluj has joined #ocaml

21:27 robmyers has quit [Ping timeout: 260 seconds]

21:30 robmyers has joined #ocaml

21:33 mro- has joined #ocaml

21:34 mro has quit [Ping timeout: 272 seconds]

21:35 amiloradovsky has joined #ocaml

21:36 neiluj has quit [Ping timeout: 256 seconds]

21:37 neiluj has joined #ocaml

21:42 motherfsck has quit [Remote host closed the connection]

21:45 neiluj has quit [Ping timeout: 264 seconds]

21:51 neiluj has joined #ocaml

22:06 neiluj has quit [Quit: leaving]

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

22:07 Jeanne-Kamikaze has joined #ocaml

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

22:13 amiloradovsky has joined #ocaml

22:54 Serpent7776 has quit [Quit: leaving]

22:59 strmpnk has quit []

23:01 cararemixed has joined #ocaml

23:12 mxns has joined #ocaml

23:13 amiloradovsky has quit [Remote host closed the connection]

23:15 tane has quit [Quit: Leaving]

23:16 amiloradovsky has joined #ocaml

23:26 mro- has quit [Quit: Leaving...]

23:28 mxns has quit [Ping timeout: 240 seconds]

23:29 bartholin has quit [Quit: Leaving]

23:45 steenuil has quit [Read error: Connection reset by peer]