#ocaml on 2019-08-11 — irc logs at freenode.irclog.whitequark.org

2019-06-16 15:10 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 ziyourenxiang has joined #ocaml

00:18 esum has quit [Quit: WeeChat 2.3]

00:18 esum has joined #ocaml

00:19 esum has quit [Client Quit]

00:19 esum has joined #ocaml

00:22 pyan has quit [Quit: Emacs is dumb. brb]

00:23 pyan has joined #ocaml

00:29 lizzin has joined #ocaml

00:29 lizzin is now known as Guest82060

00:33 Guest82060 has quit [Ping timeout: 245 seconds]

01:00 jao has quit [Ping timeout: 244 seconds]

01:08 lopex has quit [Quit: Connection closed for inactivity]

01:09 delysin_ is now known as delysin

02:25 tormen_ has joined #ocaml

02:28 tormen has quit [Ping timeout: 246 seconds]

02:53 bitwinery has joined #ocaml

02:59 mfp has quit [Ping timeout: 245 seconds]

03:12 isaachodes[m] has quit [Remote host closed the connection]

03:12 adi________ has quit [Write error: Broken pipe]

03:12 lynn has quit [Write error: Broken pipe]

03:12 pgiarrusso has quit [Write error: Broken pipe]

03:12 zozozo has quit [Write error: Broken pipe]

03:18 _whitelogger has joined #ocaml

03:21 jave has quit [Ping timeout: 248 seconds]

03:24 jave has joined #ocaml

03:33 nullifidian has quit [Read error: Connection reset by peer]

03:33 nullifidian_ has joined #ocaml

03:36 sonologico has quit [Ping timeout: 245 seconds]

03:51 sonologico has joined #ocaml

03:52 sonologico has quit [Remote host closed the connection]

03:53 sonologico has joined #ocaml

03:57 _whitelogger has joined #ocaml

04:15 _whitelogger has joined #ocaml

04:30 gravicappa has joined #ocaml

04:33 sonologico has quit [Remote host closed the connection]

04:34 sonologico has joined #ocaml

04:39 _whitelogger has joined #ocaml

04:53 nullifidian__ has joined #ocaml

04:56 nullifidian_ has quit [Ping timeout: 246 seconds]

04:57 crowley95 has quit [Read error: Connection reset by peer]

04:58 crowley95 has joined #ocaml

06:03 nullifidian__ is now known as nullifidian

06:07 KeyJoo has joined #ocaml

06:53 gravicappa has quit [Ping timeout: 272 seconds]

06:54 ggole has joined #ocaml

06:54 haesbaert has joined #ocaml

06:54 haesbaert has quit [Client Quit]

06:55 haesbaert has joined #ocaml

07:09 kakadu has joined #ocaml

07:11 lalitmee has joined #ocaml

07:13 lalitmee has quit [Read error: Connection reset by peer]

07:25 amiloradovsky has joined #ocaml

07:57 vicfred has joined #ocaml

08:34 KeyJoo has quit [Quit: KeyJoo]

08:45 webshinra has joined #ocaml

08:57 _whitelogger has joined #ocaml

09:20 jnavila has joined #ocaml

09:22 Birdface has joined #ocaml

09:24 nullifidian has quit [Read error: Connection reset by peer]

09:24 nullifidian_ has joined #ocaml

09:36 mfp has joined #ocaml

09:42 Haudegen has joined #ocaml

10:12 Birdface has quit [Remote host closed the connection]

10:12 Birdface has joined #ocaml

10:15 Birdface has quit [Remote host closed the connection]

10:17 Birdface has joined #ocaml

10:18 lopex has joined #ocaml

10:32 amiloradovsky has quit [Ping timeout: 268 seconds]

10:44 bitwinery has quit [Quit: Leaving]

10:46 jnavila has quit [Ping timeout: 244 seconds]

11:10 AtumT has joined #ocaml

11:10 AtumT has quit [Remote host closed the connection]

11:11 jnavila has joined #ocaml

11:39 nullifidian_ has quit [Read error: Connection reset by peer]

11:39 nullifidian_ has joined #ocaml

11:46 gravicappa has joined #ocaml

12:06 _whitelogger has joined #ocaml

12:36 jao has joined #ocaml

12:59 Serpent7776 has joined #ocaml

13:16 <notnotdan> hm, so ocamldoc and odoc are incompatible formats?

13:16 <notnotdan> i got so used to odig, but this package can only output documentation with ocamldoc :<

13:18 FreeBirdLjj has joined #ocaml

13:26 lizzin has joined #ocaml

13:27 lizzin is now known as Guest30571

13:52 <companion_cube> they're the same, although sometimes odoc is stricter in its requirements

14:01 Guest30571 has quit [Ping timeout: 272 seconds]

14:03 lizzin has joined #ocaml

14:04 lizzin is now known as Guest63789

14:06 jnavila has quit [Ping timeout: 246 seconds]

14:08 jnavila has joined #ocaml

14:08 <notnotdan> hm then i am not sure why i am not getting the documentation for this package

14:25 gareppa has joined #ocaml

14:27 jnavila has quit [Ping timeout: 276 seconds]

14:41 <sgnb> is it right that bytes and string are the same from the point of view of C bindings?

14:44 <sgnb> it seems so: section 20.3.1 of https://caml.inria.fr/pub/docs/manual-ocaml-4.08/intfc.html

14:46 FreeBirdLjj has quit [Remote host closed the connection]

14:47 gareppa has quit [Quit: Leaving]

14:59 kakadu has quit [Remote host closed the connection]

15:19 FreeBirdLjj has joined #ocaml

15:29 jnavila has joined #ocaml

15:59 nullifidian_ has quit [Read error: Connection reset by peer]

16:00 nullifidian_ has joined #ocaml

16:03 gareppa has joined #ocaml

16:03 gareppa has quit [Remote host closed the connection]

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

16:20 FreeBirdLjj has joined #ocaml

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

16:37 FreeBirdLjj has joined #ocaml

16:42 FreeBirdLjj has quit [Ping timeout: 245 seconds]

16:48 jao has quit [Ping timeout: 268 seconds]

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

16:55 sonologico has quit [Ping timeout: 245 seconds]

17:00 jao has joined #ocaml

17:07 Jesin has quit [Quit: Leaving]

17:09 jnavila has quit [Ping timeout: 250 seconds]

17:13 sonologico has joined #ocaml

17:15 gareppa has joined #ocaml

17:16 Jesin has joined #ocaml

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

17:26 tane has joined #ocaml

18:35 jao has quit [Ping timeout: 268 seconds]

18:35 jao- has joined #ocaml

18:36 jnavila has joined #ocaml

19:11 Hrundi_V_Bakshi has joined #ocaml

19:33 tane has quit [Quit: Leaving]

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

19:45 jnavila has quit [Ping timeout: 246 seconds]

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

20:16 jnavila has joined #ocaml

20:53 Guest63789 has quit [Ping timeout: 272 seconds]

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

21:02 ggole has quit [Quit: Leaving]

21:39 Birdface has quit [Ping timeout: 268 seconds]

21:43 Serpent7776 has quit [Quit: leaving]

21:48 lizzin has joined #ocaml

21:48 lizzin is now known as Guest8026

21:52 Jeanne-Kamikaze has joined #ocaml

21:54 nullifidian__ has joined #ocaml

21:54 nullifidian_ has quit [Read error: Connection reset by peer]

22:07 Jesin has quit [Read error: Connection reset by peer]

22:34 ziyourenxiang has joined #ocaml

22:45 Hrundi_V_Bakshi has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

22:53 Guest8026 has quit [Ping timeout: 246 seconds]

23:02 Haudegen has quit [Quit: Bin weg.]

23:14 bitwinery has joined #ocaml

23:19 Jesin has joined #ocaml

23:23 lizzin has joined #ocaml

23:24 lizzin is now known as Guest90575

23:31 sagax has quit [Ping timeout: 244 seconds]

23:31 sagax has joined #ocaml

23:42 Nikkel has quit [Ping timeout: 276 seconds]