#ocaml on 2020-04-01 — irc logs at freenode.irclog.whitequark.org

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

00:01 vicfred has joined #ocaml

00:04 nullcone has quit [Quit: Connection closed for inactivity]

00:10 kleisli_ has joined #ocaml

00:12 kleisli has quit [Ping timeout: 256 seconds]

00:51 kleisli__ has joined #ocaml

00:53 kleisli_ has quit [Ping timeout: 265 seconds]

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

01:50 FreeBirdLjj has joined #ocaml

01:54 FreeBirdLjj has quit [Ping timeout: 252 seconds]

01:54 mfp has quit [Ping timeout: 256 seconds]

02:00 spew has joined #ocaml

03:15 nullcone has joined #ocaml

03:28 landonf has quit [Excess Flood]

03:29 landonf has joined #ocaml

04:05 narimiran has joined #ocaml

04:16 mbuf has joined #ocaml

05:00 dborisog has joined #ocaml

05:09 spew has quit [Quit: Connection closed for inactivity]

05:18 jao has quit [Remote host closed the connection]

05:20 jao has joined #ocaml

06:28 jao has quit [Remote host closed the connection]

06:31 kamog has joined #ocaml

06:46 TheLemonMan has joined #ocaml

06:53 Niamkik has quit [Ping timeout: 265 seconds]

06:53 ahf has quit [Ping timeout: 265 seconds]

06:58 Niamkik has joined #ocaml

07:07 ahf has joined #ocaml

07:18 Haudegen has joined #ocaml

07:34 kleisli__ has quit [Remote host closed the connection]

07:35 kleisli__ has joined #ocaml

07:37 sagax has quit [Remote host closed the connection]

07:38 chripell__ has joined #ocaml

07:47 sagax has joined #ocaml

07:52 kleisli__ has quit [Remote host closed the connection]

07:52 kleisli__ has joined #ocaml

08:05 jaar has joined #ocaml

08:11 amiloradovsky has joined #ocaml

08:18 orbifx has joined #ocaml

08:39 ggole has joined #ocaml

08:44 kamog has quit [Remote host closed the connection]

08:44 kamog has joined #ocaml

08:48 kamog has quit [Remote host closed the connection]

09:36 ygrek has joined #ocaml

09:46 kleisli__ has quit [Remote host closed the connection]

09:47 kleisli__ has joined #ocaml

09:48 nicooo has quit [Remote host closed the connection]

09:49 towel has quit [Ping timeout: 256 seconds]

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

09:49 nicooo has joined #ocaml

09:49 mbuf has joined #ocaml

09:50 tmhoang4 has joined #ocaml

09:50 cartwright has quit [Ping timeout: 240 seconds]

09:50 towel has joined #ocaml

09:50 gahr has quit [Quit: Reconnecting]

09:50 tmhoang has quit [Read error: Connection reset by peer]

09:50 tmhoang4 is now known as tmhoang

09:50 gahr has joined #ocaml

09:52 cartwright has joined #ocaml

09:54 mfp has joined #ocaml

09:59 nullifidian__ has joined #ocaml

10:02 FreeBirdLjj has joined #ocaml

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

10:07 FreeBirdLjj has quit [Ping timeout: 256 seconds]

10:13 nullcone has quit [Quit: Connection closed for inactivity]

11:12 orbifx has quit [Ping timeout: 260 seconds]

11:12 orbifx has joined #ocaml

11:14 nullifidian_ has joined #ocaml

11:18 nullifidian__ has quit [Ping timeout: 256 seconds]

11:23 kleisli__ has quit [Remote host closed the connection]

11:24 kleisli__ has joined #ocaml

11:33 kleisli__ has quit [Remote host closed the connection]

11:34 kleisli__ has joined #ocaml

11:37 tane has joined #ocaml

11:53 laudecay is now known as laudiacay

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

13:02 orbifx has joined #ocaml

13:03 orbifx has quit [Client Quit]

13:10 porchetta has quit [Read error: Connection reset by peer]

13:20 Haudegen has quit [Quit: Bin weg.]

13:28 porchetta has joined #ocaml

13:42 spew has joined #ocaml

14:21 Haudegen has joined #ocaml

14:24 cartwright has quit [Ping timeout: 240 seconds]

14:27 cartwright has joined #ocaml

14:50 <zozozo> Drup: well I'll try but I'm now counting how many processor instructions ar eused to translate various basic operations, so I'm diving deeper into the rabbit hole unfortunately, XD

14:54 <companion_cube> although number of instructions isn't the same as speed, right? :p

14:55 <zozozo> no, but if a basic operation (like branching on a boolean) takes 2 instruction instead of 1, it might be non-negligible

14:55 <zozozo> code size is also something to take into account

15:01 <companion_cube> right.

15:01 <companion_cube> (isn't there non-branching stuff as well?)

15:04 <zozozo> sure

15:04 <zozozo> I'm just fixing a small thing right now

15:07 Anarchos has joined #ocaml

15:46 orbifx has joined #ocaml

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

16:13 kleisli__ has quit [Remote host closed the connection]

16:15 kleisli has joined #ocaml

16:31 kleisli has quit [Remote host closed the connection]

16:32 kleisli has joined #ocaml

16:32 orbifx has quit [Remote host closed the connection]

16:52 ggole has quit [Quit: Leaving]

16:53 FreeBirdLjj has joined #ocaml

16:55 pyx has joined #ocaml

16:56 mbuf has quit [Quit: Leaving]

16:57 pyx has quit [Client Quit]

16:57 FreeBirdLjj has quit [Ping timeout: 240 seconds]

17:02 kleisli has quit [Ping timeout: 260 seconds]

17:16 Haudegen has joined #ocaml

17:19 kleisli has joined #ocaml

17:32 smazga has joined #ocaml

17:33 kleisli has quit [Remote host closed the connection]

17:35 kleisli has joined #ocaml

17:37 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

17:41 kleisli has quit [Remote host closed the connection]

17:45 kleisli has joined #ocaml

17:50 <theblatte> how do I generate indexes with odoc? the grammar mentions {!indexlist} but it doesn't seem to get interpreted: http://caml.inria.fr/pub/docs/manual-ocaml/ocamldoc.html#ss:ocamldoc-formatting

17:51 <theblatte> eg an index of all the modules defined in my library

18:01 <hannes> zozozo: you're aware of https://ocaml.godbolt.org/ -- pretty nice to see the OCaml code next to the generated assembly

18:02 kleisli has quit [Remote host closed the connection]

18:02 kleisli has joined #ocaml

18:03 <zozozo> hannes: yes I've used it quite a lot, ^^

18:10 kleisli has quit [Remote host closed the connection]

18:17 gareppa has joined #ocaml

18:18 gareppa has quit [Remote host closed the connection]

18:20 orbifx has joined #ocaml

18:51 orbifx has quit [Ping timeout: 256 seconds]

18:58 dborisog has quit [Ping timeout: 265 seconds]

19:06 orbifx has joined #ocaml

19:10 chripell__ has quit [Ping timeout: 256 seconds]

19:25 orbifx has quit [Ping timeout: 260 seconds]

19:26 wingsorc has joined #ocaml

19:26 shmibs has joined #ocaml

19:32 towel has quit [Quit: ZNC - https://znc.in]

19:32 towel has joined #ocaml

19:36 mal`` has quit [Quit: Leaving]

19:37 nicooo has quit [Ping timeout: 240 seconds]

19:38 nicooo has joined #ocaml

19:43 mal`` has joined #ocaml

20:02 narimiran has quit [Ping timeout: 256 seconds]

20:14 kleisli has joined #ocaml

20:15 |jbrown| has quit [Remote host closed the connection]

20:28 orbifx has joined #ocaml

20:37 jbrown has joined #ocaml

21:01 orbifx has quit [Quit: orbifx]

21:05 smazga has quit [Quit: leaving]

21:20 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

21:35 nicooo has quit [Remote host closed the connection]

21:36 nullcone has joined #ocaml

21:37 nicooo has joined #ocaml

21:52 orbifx has joined #ocaml

22:08 Fardale has quit [*.net *.split]

22:08 gargawel has quit [*.net *.split]

22:08 artart78 has quit [*.net *.split]

22:08 runawayfive has quit [*.net *.split]

22:08 maker has quit [*.net *.split]

22:08 seb_ has quit [*.net *.split]

22:10 orbifx has quit [Ping timeout: 256 seconds]

22:10 runawayfive has joined #ocaml

22:11 artart78 has joined #ocaml

22:12 artart78 has quit [Changing host]

22:12 artart78 has joined #ocaml

22:14 maker has joined #ocaml

22:30 gargawel has joined #ocaml

22:30 Fardale has joined #ocaml

22:42 amiloradovsky has quit [Ping timeout: 240 seconds]

22:49 tane has quit [Quit: Leaving]

22:56 ygrek has quit [Ping timeout: 256 seconds]

23:03 Haudegen has quit [Ping timeout: 256 seconds]

23:15 ygrek has joined #ocaml

23:39 kleisli has quit [Remote host closed the connection]

23:40 kleisli has joined #ocaml

23:46 jbrown has quit [Quit: Leaving]

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