#ocaml on 2021-02-08 — 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:18 Haudegen has quit [Ping timeout: 272 seconds]

00:31 steenuil has quit [Ping timeout: 240 seconds]

00:35 steenuil has joined #ocaml

00:37 mxns has quit [Ping timeout: 272 seconds]

00:37 mxns has joined #ocaml

00:42 mxns_ has joined #ocaml

00:42 mxns has quit [Ping timeout: 272 seconds]

00:49 bartholin has quit [Ping timeout: 272 seconds]

01:19 steenuil has quit [Read error: Connection reset by peer]

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

01:35 arecaceae has joined #ocaml

01:44 Tuplanolla has quit [Ping timeout: 264 seconds]

01:47 inkbottle has joined #ocaml

01:51 zebrag has quit [Ping timeout: 264 seconds]

01:56 mxns_ has quit [Quit: ZNC 1.8.2 - https://znc.in]

01:56 mxns has joined #ocaml

01:57 rock64 has quit [Ping timeout: 240 seconds]

01:58 impgourd has joined #ocaml

01:59 rock64 has joined #ocaml

02:01 mxns has quit [Ping timeout: 260 seconds]

02:23 impgourd has quit [Read error: Connection reset by peer]

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

03:13 inkbottle has quit [Quit: Konversation terminated!]

03:24 vicfred has quit [Quit: Leaving]

03:27 vicfred has joined #ocaml

04:03 kini has quit [Quit: bye]

04:25 mbuf has joined #ocaml

04:44 ygrek has joined #ocaml

04:50 djellemah has quit [Ping timeout: 265 seconds]

04:50 vicfred has quit [Quit: Leaving]

05:47 kini has joined #ocaml

05:52 rdivyanshu has joined #ocaml

06:18 _whitelogger has joined #ocaml

06:20 ygrek has quit [Remote host closed the connection]

06:23 narimiran has joined #ocaml

06:36 jogama has joined #ocaml

06:42 jogama has quit [Quit: Connection closed]

06:47 waleee-cl has quit [Quit: Connection closed for inactivity]

07:01 kini has quit [Remote host closed the connection]

07:01 decentpenguin has quit [Read error: Connection reset by peer]

07:02 kini has joined #ocaml

07:04 decentpenguin has joined #ocaml

07:05 mbuf has quit [Ping timeout: 240 seconds]

07:10 madroach has quit [Ping timeout: 276 seconds]

07:10 madroach has joined #ocaml

07:29 arecaceae has quit [Remote host closed the connection]

07:30 arecaceae has joined #ocaml

07:42 mfp_ has quit [Ping timeout: 264 seconds]

07:59 Haudegen has joined #ocaml

08:03 aquijoule_ has quit [Remote host closed the connection]

08:03 aquijoule_ has joined #ocaml

08:19 catt has joined #ocaml

08:36 gahr has quit [Quit: leaving]

08:37 rdivyanshu has quit [Quit: Connection closed for inactivity]

08:45 steenuil has joined #ocaml

08:58 gahr has joined #ocaml

09:02 gahr has quit [Client Quit]

09:02 gahr has joined #ocaml

09:27 olle has joined #ocaml

09:49 catt has quit [Remote host closed the connection]

10:10 Tuplanolla has joined #ocaml

10:59 vicfred has joined #ocaml

11:05 tane has joined #ocaml

11:08 kini has quit [Remote host closed the connection]

11:10 kini has joined #ocaml

11:15 bartholin has joined #ocaml

11:36 zebrag has joined #ocaml

11:43 Haudegen has quit [Quit: Bin weg.]

12:31 zolk3ri has joined #ocaml

12:58 Haudegen has joined #ocaml

13:00 kini has quit [Remote host closed the connection]

13:01 kini has joined #ocaml

13:07 steenuil has quit [Quit: Leaving]

13:09 steenuil has joined #ocaml

13:14 djellemah has joined #ocaml

13:20 steenuil has quit [Remote host closed the connection]

13:23 steenuil has joined #ocaml

13:26 SrPx has quit [Ping timeout: 240 seconds]

13:27 terabit has quit [Ping timeout: 264 seconds]

13:27 stylewarning has quit [Ping timeout: 265 seconds]

13:27 cqc has quit [Read error: Connection reset by peer]

13:27 robmyers has quit [Read error: Connection reset by peer]

13:27 JSharp has quit [Read error: Connection reset by peer]

13:27 banjiewen__ has quit [Read error: Connection reset by peer]

13:27 chewbranca has quit [Read error: Connection reset by peer]

13:27 nullcone has quit [Read error: Connection reset by peer]

13:27 stephe has quit [Read error: Connection reset by peer]

13:27 sz0 has quit [Read error: Connection reset by peer]

13:27 ec has quit [Read error: Connection reset by peer]

13:27 mgsk has quit [Read error: Connection reset by peer]

13:28 cqc has joined #ocaml

13:29 sz0 has joined #ocaml

13:29 nullcone has joined #ocaml

13:30 stylewarning has joined #ocaml

13:30 SrPx has joined #ocaml

13:31 JSharp has joined #ocaml

13:31 mgsk has joined #ocaml

13:32 ec has joined #ocaml

13:32 terabit has joined #ocaml

13:33 banjiewen__ has joined #ocaml

13:33 stephe has joined #ocaml

13:33 chewbranca has joined #ocaml

13:34 robmyers has joined #ocaml

14:10 andreas303 has quit [Quit: andreas303]

14:13 mfp_ has joined #ocaml

14:17 kini has quit [Remote host closed the connection]

14:18 andreas303 has joined #ocaml

14:18 kini has joined #ocaml

15:33 mxns has joined #ocaml

15:34 ygrek has joined #ocaml

15:37 waleee-cl has joined #ocaml

16:32 <d_bot> <n4323> has anyone made a time profile of an ocaml program using "instruments" which is included in xcode on macos?

16:33 <d_bot> <n4323> for me it kind of works but not all symbols are readable and i don't get info where in the source code the symbol comes from.

16:33 <d_bot> <n4323> can i set some compilation option to make this better? (using dune)

16:40 kini has quit [Remote host closed the connection]

16:42 kini has joined #ocaml

16:52 <d_bot> <n4323> alternatives?

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

17:03 zolk3ri has quit [Remote host closed the connection]

17:04 zolk3ri has joined #ocaml

17:05 olle has quit [Ping timeout: 240 seconds]

17:07 boxscape has joined #ocaml

17:12 bartholin has quit [Quit: Leaving]

17:17 tryte has joined #ocaml

17:36 <d_bot> <rgrinberg> Statmemprof seems to be good

17:36 boxscape has quit [Ping timeout: 240 seconds]

17:46 mxns has quit [Ping timeout: 246 seconds]

17:52 <sleepydog> i use perf on Linux with --callgraph dwarf. It's pretty readable, e.g. MyModule.some_function becomes camlMyMoudle__some_function_1234

17:54 arecaceae has quit [Remote host closed the connection]

17:54 arecaceae has joined #ocaml

18:12 Haudegen has joined #ocaml

18:14 mxns has joined #ocaml

18:19 boxscape has joined #ocaml

18:20 boxscape has quit [Client Quit]

18:20 boxscape has joined #ocaml

18:22 mxns has quit [Ping timeout: 240 seconds]

18:25 robmyers has quit [Read error: Connection reset by peer]

18:26 robmyers has joined #ocaml

18:30 mxns has joined #ocaml

18:30 arecaceae has quit [Remote host closed the connection]

18:31 arecaceae has joined #ocaml

18:35 mxns has quit [Ping timeout: 272 seconds]

18:46 mxns has joined #ocaml

18:50 mxns has quit [Ping timeout: 246 seconds]

18:58 djellemah has quit [Quit: #proglangdesign]

18:58 djellemah has joined #ocaml

19:12 mxns has joined #ocaml

19:17 mxns has quit [Ping timeout: 265 seconds]

19:51 olle has joined #ocaml

20:02 mxns has joined #ocaml

20:11 mxns has quit [Ping timeout: 272 seconds]

20:15 mxns has joined #ocaml

20:20 mxns has quit [Ping timeout: 260 seconds]

20:20 mxns has joined #ocaml

20:24 vicfred has quit [Quit: Leaving]

20:50 ArthurStrong has joined #ocaml

21:02 olle has quit [Ping timeout: 256 seconds]

21:34 boxscape has quit [Quit: Connection closed]

21:34 narimiran has quit [Ping timeout: 256 seconds]

21:35 djellemah has quit [Ping timeout: 264 seconds]

22:33 haesbaert has quit [Remote host closed the connection]

22:37 djellemah has joined #ocaml

22:50 tane has quit [Quit: Leaving]

23:03 stylewarning has quit [Ping timeout: 240 seconds]

23:04 cqc has quit [Ping timeout: 240 seconds]

23:04 nullcone has quit [Ping timeout: 265 seconds]

23:04 cqc has joined #ocaml

23:05 stylewarning has joined #ocaml

23:05 nullcone has joined #ocaml

23:10 oriba has joined #ocaml

23:14 haesbaert has joined #ocaml

23:17 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

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

23:34 mxns has joined #ocaml

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

23:49 mxns has joined #ocaml

23:56 mxns has quit [Ping timeout: 272 seconds]