#ocaml on 2018-01-20 — irc logs at freenode.irclog.whitequark.org

2017-11-24 19:05 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 h11 has quit [Quit: WeeChat 2.0.1]

00:09 andreas_ has quit [Quit: Connection closed for inactivity]

00:09 zarul has joined #ocaml

00:24 jao has joined #ocaml

00:35 silver_ has joined #ocaml

00:37 zolk3ri has quit [Quit: leaving]

00:39 silver has quit [Ping timeout: 255 seconds]

00:39 zarul has quit [Ping timeout: 240 seconds]

00:39 infinity0_ has joined #ocaml

00:39 infinity0_ has quit [Changing host]

00:39 infinity0 has quit [Killed (barjavel.freenode.net (Nickname regained by services))]

00:39 infinity0 has joined #ocaml

00:41 Haudegen has quit [Read error: Connection reset by peer]

00:42 zarul has joined #ocaml

00:45 zarul has quit [Read error: Connection reset by peer]

00:45 zarul has joined #ocaml

00:51 cbot has joined #ocaml

01:04 baboum has quit [Quit: WeeChat 2.0.1]

01:26 shinnya has joined #ocaml

01:33 silver_ has quit [Read error: Connection reset by peer]

01:34 mfp has quit [Ping timeout: 240 seconds]

02:04 sz0 has joined #ocaml

02:09 govg has quit [Ping timeout: 276 seconds]

02:15 zarul has quit [Changing host]

02:15 zarul has joined #ocaml

02:54 zarul has quit [Ping timeout: 264 seconds]

03:01 an-tuan has quit [Quit: WeeChat 2.0.1]

03:08 jao has quit [Ping timeout: 268 seconds]

03:27 nicoo has quit [Remote host closed the connection]

03:28 nicoo has joined #ocaml

03:30 nicoo has quit [Remote host closed the connection]

03:32 nicoo has joined #ocaml

03:38 govg has joined #ocaml

03:47 shinnya has quit [Ping timeout: 248 seconds]

03:51 spew has joined #ocaml

03:51 zarul has joined #ocaml

03:52 nullifidian has quit [Ping timeout: 248 seconds]

03:56 zarul has quit [Ping timeout: 268 seconds]

04:08 nullifidian has joined #ocaml

04:29 pierpa has quit [Quit: Page closed]

04:51 sigjuice has quit [Quit: ZNC - http://znc.in]

04:52 zarul has joined #ocaml

04:56 zarul has quit [Ping timeout: 240 seconds]

04:58 spew has quit [Read error: Connection reset by peer]

05:06 cobreadmonster has joined #ocaml

05:13 FreeBirdLjj has joined #ocaml

05:29 aphprentice has joined #ocaml

05:40 jimmyrcom has quit [Ping timeout: 260 seconds]

05:53 zarul has joined #ocaml

05:58 zarul has quit [Ping timeout: 256 seconds]

06:19 jbrown has quit [Ping timeout: 260 seconds]

06:20 KeyJoo has joined #ocaml

06:22 sz0 has quit [Quit: Connection closed for inactivity]

06:26 shinnya has joined #ocaml

06:29 KeyJoo has quit [Remote host closed the connection]

06:43 ygrek has quit [Ping timeout: 260 seconds]

06:53 zarul has joined #ocaml

06:58 zarul has quit [Ping timeout: 268 seconds]

07:17 sz0 has joined #ocaml

07:29 dogui has quit [Ping timeout: 255 seconds]

07:30 dogui has joined #ocaml

07:31 whoman has quit [Remote host closed the connection]

07:38 slash^ has joined #ocaml

07:40 sh0t has quit [Remote host closed the connection]

07:54 zarul has joined #ocaml

07:59 zarul has quit [Ping timeout: 240 seconds]

08:15 cobreadmonster has quit [Quit: Connection closed for inactivity]

08:16 sigjuice has joined #ocaml

08:30 leah2 has quit [Ping timeout: 255 seconds]

08:33 barcabuona has joined #ocaml

08:36 FreeBird_ has joined #ocaml

08:37 Orbifx has joined #ocaml

08:38 FreeBirdLjj has quit [Ping timeout: 256 seconds]

08:39 sonologico has joined #ocaml

08:45 leah2 has joined #ocaml

08:51 jnavila has joined #ocaml

08:55 zarul has joined #ocaml

09:00 zarul has quit [Ping timeout: 264 seconds]

09:04 jnavila has quit [Ping timeout: 256 seconds]

09:05 Orbifx has left #ocaml [#ocaml]

09:05 Orbifx has joined #ocaml

09:10 kakadu has joined #ocaml

09:12 jnavila has joined #ocaml

09:23 sh0t has joined #ocaml

09:36 Soni has quit [Ping timeout: 256 seconds]

09:37 leah2 has quit [Ping timeout: 240 seconds]

09:37 mfp has joined #ocaml

09:40 cbot has quit [Quit: Leaving]

09:44 mk9 has joined #ocaml

09:48 leah2 has joined #ocaml

09:49 jnavila has quit [Ping timeout: 276 seconds]

09:52 zarul has joined #ocaml

09:59 argent_smith has joined #ocaml

10:17 zolk3ri has joined #ocaml

10:27 <argent_smith> hi ppl. I came across statistical-memprof switch. how to use it?

10:30 kerrhau has quit [Ping timeout: 268 seconds]

10:44 mk9 has quit [Quit: mk9]

10:57 mk9 has joined #ocaml

10:58 eni has joined #ocaml

10:58 eni is now known as Guest1302

10:58 FreeBird_ has quit [Remote host closed the connection]

11:07 awesomelackware has joined #ocaml

11:08 awesomelackware has left #ocaml [#ocaml]

11:13 ziyourenxiang has joined #ocaml

11:16 Haudegen has joined #ocaml

11:20 mk9 has quit [Quit: mk9]

11:46 zarul has quit [Ping timeout: 256 seconds]

11:48 zarul has joined #ocaml

11:49 orbifx1 has joined #ocaml

11:50 Soni has joined #ocaml

11:56 <orbifx[m]> argent_smith: you mean a compiler switch?

11:56 <orbifx[m]> `opam switch ...` ?

11:57 baboum has joined #ocaml

11:59 <argent_smith> no, I mean the profiling

12:00 <argent_smith> there's a manual about spacetime. is there anything like that about this kind of profiling?

12:00 <argent_smith> orbifx[m]: ^

12:01 zarul has quit [Ping timeout: 260 seconds]

12:03 FreeBirdLjj has joined #ocaml

12:05 Orbifx has left #ocaml [#ocaml]

12:12 silver has joined #ocaml

12:13 zpe has joined #ocaml

12:21 zarul has joined #ocaml

12:28 <def`> argent_smith: https://github.com/jhjourdan/statmemprof-emacs

12:29 <def`> argent_smith: read the README here https://github.com/jhjourdan/ocaml/tree/memprof_4.06.0

12:29 <def`> (I used it with success

12:29 <def`> )

12:37 <reynir> infinity0: in order to do arithmetics on t. It's opaque in the .mli though.

12:37 shinnya has quit [Ping timeout: 248 seconds]

12:38 andreas_ has joined #ocaml

12:43 <argent_smith> def`: thnx

12:48 jnavila has joined #ocaml

13:03 jnavila has quit [Ping timeout: 256 seconds]

13:05 kakadu has quit [Remote host closed the connection]

13:07 orbifx1 has quit [Ping timeout: 256 seconds]

13:13 jnavila has joined #ocaml

13:18 Guest1302 has quit [Remote host closed the connection]

13:25 leah2 has quit [Ping timeout: 248 seconds]

13:29 zarul has quit [Ping timeout: 248 seconds]

13:41 jnavila has quit [Ping timeout: 256 seconds]

14:06 leah2 has joined #ocaml

14:11 leah2 has quit [Excess Flood]

14:12 leah2 has joined #ocaml

14:18 govg has quit [Ping timeout: 240 seconds]

14:18 infinity0 has quit [Remote host closed the connection]

14:20 govg has joined #ocaml

14:21 leah2 has quit [Ping timeout: 276 seconds]

14:25 zarul has joined #ocaml

14:26 infinity0 has joined #ocaml

14:31 maufred has quit [Ping timeout: 255 seconds]

14:33 leah2 has joined #ocaml

14:36 zpe has quit [Remote host closed the connection]

14:36 zpe has joined #ocaml

14:39 shinnya has joined #ocaml

14:41 zpe has quit [Ping timeout: 248 seconds]

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

15:02 dhil has joined #ocaml

15:07 maufred has joined #ocaml

15:14 Orbifx has joined #ocaml

15:15 FreeBirdLjj has joined #ocaml

15:15 Orbifx has left #ocaml [#ocaml]

15:17 spew has joined #ocaml

15:20 FreeBirdLjj has quit [Ping timeout: 268 seconds]

15:25 FreeBirdLjj has joined #ocaml

15:30 FreeBirdLjj has quit [Ping timeout: 264 seconds]

15:32 cobreadmonster has joined #ocaml

15:39 FreeBirdLjj has joined #ocaml

15:44 FreeBirdLjj has quit [Ping timeout: 255 seconds]

15:45 FreeBirdLjj has joined #ocaml

15:45 emliunix has quit [Quit: No Ping reply in 180 seconds.]

15:47 emliunix has joined #ocaml

15:47 shinnya has quit [Ping timeout: 256 seconds]

15:50 FreeBirdLjj has quit [Ping timeout: 260 seconds]

15:56 FreeBirdLjj has joined #ocaml

16:00 FreeBirdLjj has quit [Ping timeout: 256 seconds]

16:05 FreeBirdLjj has joined #ocaml

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

16:15 mk9 has joined #ocaml

16:20 FreeBirdLjj has joined #ocaml

16:21 BitPuffin has joined #ocaml

16:24 viry has joined #ocaml

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

16:25 viry has left #ocaml [#ocaml]

16:32 FreeBirdLjj has joined #ocaml

16:33 an-tuan has joined #ocaml

16:33 jimmyrcom has joined #ocaml

16:37 FreeBirdLjj has quit [Ping timeout: 260 seconds]

16:38 zarul has quit [Ping timeout: 264 seconds]

16:44 FreeBirdLjj has joined #ocaml

16:48 FreeBirdLjj has quit [Ping timeout: 265 seconds]

16:53 an-tuan has quit [Quit: WeeChat 2.0.1]

16:56 zarul has joined #ocaml

16:57 kerrhau has joined #ocaml

17:07 mk9 has quit [Quit: mk9]

17:13 ziyourenxiang has quit [Ping timeout: 248 seconds]

17:19 Anarchos has joined #ocaml

17:20 jimmyrcom has quit [Ping timeout: 240 seconds]

17:36 barcabuona has quit [Quit: WeeChat 2.0.1]

17:44 jimmyrcom has joined #ocaml

17:48 johnelse has quit [Ping timeout: 256 seconds]

17:54 cbot has joined #ocaml

17:54 jnavila has joined #ocaml

17:58 spew has quit [Ping timeout: 268 seconds]

18:04 FreeBirdLjj has joined #ocaml

18:06 stux|RC has quit [Remote host closed the connection]

18:07 johnelse has joined #ocaml

18:09 FreeBirdLjj has quit [Ping timeout: 240 seconds]

18:11 FreeBirdLjj has joined #ocaml

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

18:16 FreeBirdLjj has quit [Ping timeout: 256 seconds]

18:19 cobreadmonster has quit [Quit: Connection closed for inactivity]

18:20 FreeBirdLjj has joined #ocaml

18:25 spew has joined #ocaml

18:25 FreeBirdLjj has quit [Ping timeout: 265 seconds]

18:27 FreeBirdLjj has joined #ocaml

18:32 FreeBirdLjj has quit [Ping timeout: 256 seconds]

18:40 FreeBirdLjj has joined #ocaml

18:42 jbrown has joined #ocaml

18:45 FreeBirdLjj has quit [Ping timeout: 248 seconds]

18:47 ewanas has joined #ocaml

18:47 ewanas has quit [Changing host]

18:49 mk9 has joined #ocaml

19:01 jnavila has quit [Ping timeout: 256 seconds]

19:05 sz0 has quit [Quit: Connection closed for inactivity]

19:05 stux|RC has joined #ocaml

19:07 spew has quit [Read error: Connection reset by peer]

19:07 Anarchos has quit [Ping timeout: 248 seconds]

19:14 mk9 has quit [Quit: mk9]

19:23 kakadu has joined #ocaml

19:25 mk9 has joined #ocaml

19:30 mk9 has quit [Quit: mk9]

19:47 FreeBirdLjj has joined #ocaml

19:51 kakadu_ has joined #ocaml

19:51 kakadu has quit [Ping timeout: 268 seconds]

19:51 FreeBirdLjj has quit [Ping timeout: 256 seconds]

19:56 FreeBirdLjj has joined #ocaml

20:00 FreeBirdLjj has quit [Ping timeout: 265 seconds]

20:05 jnavila has joined #ocaml

20:09 shinnya has joined #ocaml

20:10 FreeBirdLjj has joined #ocaml

20:15 FreeBirdLjj has quit [Ping timeout: 256 seconds]

20:22 jimmyrcom has quit [Ping timeout: 265 seconds]

20:22 FreeBirdLjj has joined #ocaml

20:23 jimmyrcom has joined #ocaml

20:27 FreeBirdLjj has quit [Ping timeout: 268 seconds]

20:28 kerrhau has quit [Ping timeout: 260 seconds]

20:29 FreeBirdLjj has joined #ocaml

20:34 FreeBirdLjj has quit [Ping timeout: 248 seconds]

20:36 kerrhau has joined #ocaml

20:43 argent_smith has quit [Quit: Leaving.]

20:49 Haudegen has quit [Read error: Connection reset by peer]

21:00 BitPuffin has quit [Remote host closed the connection]

21:03 stux|RC has quit [Ping timeout: 240 seconds]

21:04 Jesin has joined #ocaml

21:07 Haudegen has joined #ocaml

21:07 mk9 has joined #ocaml

21:07 stux|RC has joined #ocaml

21:13 slash^ has quit [Read error: Connection reset by peer]

21:33 kakadu_ has quit [Remote host closed the connection]

21:48 mk9 has quit [Quit: mk9]

21:56 lynn has quit []

21:56 lynn has joined #ocaml

21:56 shinnya has quit [Ping timeout: 248 seconds]

22:05 isaachodes[m] has quit [*.net *.split]

22:05 lopex has quit [*.net *.split]

22:05 equalunique[m] has quit [*.net *.split]

22:05 regnat[m] has quit [*.net *.split]

22:05 ansiwen[m] has quit [*.net *.split]

22:05 drsmkl[m] has quit [*.net *.split]

22:05 jmct has quit [*.net *.split]

22:05 breitenj has quit [*.net *.split]

22:05 jeroud has quit [*.net *.split]

22:05 flux has quit [*.net *.split]

22:05 Geekingfrog has quit [*.net *.split]

22:05 zozozo has quit [*.net *.split]

22:05 Geekingfrog has joined #ocaml

22:05 breitenj has joined #ocaml

22:05 zozozo has joined #ocaml

22:05 flux has joined #ocaml

22:06 lopex has joined #ocaml

22:06 jmct has joined #ocaml

22:06 jeroud has joined #ocaml

22:07 ansiwen[m] has joined #ocaml

22:07 regnat[m] has joined #ocaml

22:07 stux|RC has quit [Ping timeout: 240 seconds]

22:08 drsmkl[m] has joined #ocaml

22:08 equalunique[m] has joined #ocaml

22:09 isaachodes[m] has joined #ocaml

22:11 stux|RC has joined #ocaml

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

22:24 silenc3r has joined #ocaml

22:31 silenc3r has quit [Quit: Leaving]

22:31 silenc3r has joined #ocaml

22:35 silenc3r has quit [Client Quit]

22:41 maufred has quit [Ping timeout: 265 seconds]

22:42 maufred has joined #ocaml

23:00 _whitelogger has joined #ocaml

23:01 equalunique[m] has quit [Ping timeout: 246 seconds]

23:01 nkhodyunya has quit [Ping timeout: 246 seconds]

23:02 orbifx[m] has joined #ocaml

23:03 nkhodyunya has joined #ocaml

23:05 peddie[m] has joined #ocaml

23:06 equalunique[m] has joined #ocaml

23:11 silenc3r has joined #ocaml

23:16 silenc3r has quit [Quit: Leaving]

23:21 jao has joined #ocaml

23:29 orbifx1 has joined #ocaml

23:37 FreeBirdLjj has joined #ocaml

23:41 ziyourenxiang has joined #ocaml

23:42 FreeBirdLjj has quit [Ping timeout: 260 seconds]

23:52 FreeBirdLjj has joined #ocaml

23:53 jao has quit [Ping timeout: 260 seconds]

23:56 FreeBirdLjj has quit [Ping timeout: 240 seconds]