#ocaml on 2019-09-18 — 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:09 _5HT has quit [Ping timeout: 265 seconds]

00:09 b0bby__ has quit [Quit: Leaving]

00:17 falcon_t has quit [Quit: Leaving]

00:18 ravenous_ has joined #ocaml

00:20 AtumT has quit [Quit: AtumT]

00:22 ravenous_ has quit [Ping timeout: 246 seconds]

00:45 jao has quit [Ping timeout: 245 seconds]

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

02:02 ygrek has quit [Ping timeout: 265 seconds]

02:13 analogue has quit [Quit: Leaving]

02:38 haskell_enthusia has quit [Ping timeout: 268 seconds]

02:40 haskell_enthusia has joined #ocaml

02:45 tormen_ has joined #ocaml

02:47 nullifidian__ has quit [Read error: Connection reset by peer]

02:47 nullifidian has joined #ocaml

02:49 tormen has quit [Ping timeout: 265 seconds]

03:31 gravicappa has joined #ocaml

03:51 _whitelogger has joined #ocaml

03:52 _5HT has joined #ocaml

04:11 ravenous_ has joined #ocaml

04:15 ravenous_ has quit [Ping timeout: 246 seconds]

04:22 gravicappa has quit [Ping timeout: 240 seconds]

04:50 gravicappa has joined #ocaml

04:55 _5HT has quit [Remote host closed the connection]

04:57 gravicappa has quit [Ping timeout: 268 seconds]

05:01 amosbird_ has joined #ocaml

05:01 _5HT has joined #ocaml

05:02 amosbird has quit [Ping timeout: 265 seconds]

05:08 narimiran has joined #ocaml

05:32 _5HT has quit [Remote host closed the connection]

05:34 _5HT has joined #ocaml

06:06 malina has joined #ocaml

06:35 mbuf has joined #ocaml

06:58 ggole has joined #ocaml

07:06 barockobamo has joined #ocaml

07:32 jimt has quit [Ping timeout: 244 seconds]

07:32 jimt has joined #ocaml

07:34 ravenous_ has joined #ocaml

07:35 Haudegen has joined #ocaml

07:39 ravenous_ has quit [Ping timeout: 276 seconds]

07:53 bartholin has quit [Remote host closed the connection]

08:01 tianon has quit [Ping timeout: 245 seconds]

08:03 tianon has joined #ocaml

08:08 Serpent7776 has joined #ocaml

08:12 nullifidian_ has joined #ocaml

08:15 nullifidian has quit [Ping timeout: 240 seconds]

08:18 haesbaert has quit [Ping timeout: 244 seconds]

08:24 jao has joined #ocaml

08:25 _5HT has quit [Remote host closed the connection]

08:27 _5HT has joined #ocaml

08:32 _5HT has quit [Remote host closed the connection]

08:34 _5HT has joined #ocaml

08:34 ravenous_ has joined #ocaml

08:39 ravenous_ has quit [Ping timeout: 250 seconds]

08:42 jao has quit [Ping timeout: 276 seconds]

08:45 ravenous_ has joined #ocaml

08:45 vyorkin has joined #ocaml

08:45 _5HT has quit [Remote host closed the connection]

08:45 vyorkin has quit [Client Quit]

08:46 vyorkin has joined #ocaml

08:49 ravenous_ has quit [Ping timeout: 252 seconds]

08:51 <vyorkin> are there any examples of using ppx_bench + core_bench?

08:51 <vyorkin> I want to try provided example https://github.com/janestreet/ppx_bench/blob/master/example/ppx_bench_sample.ml, but I'm not sure how to run it

08:51 <vyorkin> I guess I should use the inline_benchmarks_runner to run those benchmarks somehow?

08:52 bitwinery has quit [Quit: Leaving]

08:56 <vyorkin> oh, I see https://github.com/janestreet/core_bench/issues/12

08:59 Serpent7776 has quit [Remote host closed the connection]

08:59 Serpent7776 has joined #ocaml

09:18 KeyJoo has joined #ocaml

09:20 ravenous_ has joined #ocaml

09:33 _whitelogger has joined #ocaml

09:39 mfp has joined #ocaml

09:43 vyorkin has quit [Remote host closed the connection]

09:44 vyorkin has joined #ocaml

10:04 Haudegen has quit [Quit: Bin weg.]

10:14 ygrek has joined #ocaml

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

10:15 ygrek has joined #ocaml

10:17 ravenous_ has quit [Ping timeout: 276 seconds]

10:23 <vyorkin> I've found the example of ppx_bench usage in https://github.com/diml/memory-access-bench, but I still can't make it work :(

10:23 KeyJoo has quit [Ping timeout: 265 seconds]

10:24 <vyorkin> Warning: X_LIBRARY_INLINING is not set to true, benchmarks may be inaccurate.

10:24 <vyorkin> No benchmarks to run!

10:24 <vyorkin> This is the output I'm getting by running the ./runner.sh script

10:26 <vyorkin> Here is what I'm doing https://github.com/vyorkin/core_profiler_playground/blob/master/runner.sh

10:29 ygrek has quit [Ping timeout: 240 seconds]

10:39 nullifidian__ has joined #ocaml

10:40 nullifidian_ has quit [Read error: Connection reset by peer]

11:00 Haudegen has joined #ocaml

11:01 emias has quit [Quit: Reboot.]

11:16 <cemerick> companion_cube: thanks, back to normal runtimes again after unboxing my hot "newtype"

11:17 <cemerick> but now I wonder why `-unboxed-types` isn't the default

11:21 <cemerick> I guess it would break FFI if one were passing e.g. variant values to external fns, but (I'd hope) that's rare

11:29 <Armael> I don't think it's particularly rare (and yeah it would be bad to break it)

11:31 zolk3ri has joined #ocaml

11:33 <Armael> though I think now you get a warning if you do that without explicitly specifying either boxed or unboxed

11:34 <Armael> so in the future we might switch the default to be unboxed instead of boxed

11:35 _5HT has joined #ocaml

11:37 AtumT has joined #ocaml

11:39 _5HT has quit [Remote host closed the connection]

11:41 _5HT has joined #ocaml

11:41 nullifidian__ is now known as nullifidian

11:41 _5HT has quit [Remote host closed the connection]

11:42 _5HT has joined #ocaml

11:43 ygrek has joined #ocaml

11:44 emias has joined #ocaml

11:48 _5HT has quit [Remote host closed the connection]

11:50 _5HT has joined #ocaml

11:58 _5HT has quit [Ping timeout: 268 seconds]

12:00 _5HT has joined #ocaml

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

12:10 _5HT has joined #ocaml

12:16 _5HT has quit [Remote host closed the connection]

12:17 _5HT has joined #ocaml

12:49 bartholin has joined #ocaml

12:56 nullifidian_ has joined #ocaml

12:59 jbrown has quit [Ping timeout: 246 seconds]

13:00 nullifidian has quit [Ping timeout: 265 seconds]

13:00 spew has joined #ocaml

13:06 bartholin has quit [Ping timeout: 265 seconds]

13:07 <companion_cube> yes, it's for ffi reasons I think

13:12 kakadu has quit [Quit: Konversation terminated!]

13:19 bartholin has joined #ocaml

13:20 jbrown has joined #ocaml

13:25 pino|work has quit [Quit: brb]

13:25 pino|work has joined #ocaml

13:30 FreeBirdLjj has joined #ocaml

13:33 AtumT_ has joined #ocaml

13:33 AtumT has quit [Ping timeout: 265 seconds]

13:35 FreeBirdLjj has quit [Ping timeout: 276 seconds]

13:44 AtumT_ has quit [Read error: Connection reset by peer]

13:45 AtumT has joined #ocaml

13:51 <cemerick> fair, my ocaml ffi contact has been limited to ints and strings and arrays I guess :-)

13:53 <companion_cube> probably for the best, yes

13:58 nullifidian_ is now known as nullifidian

14:23 FreeBirdLjj has joined #ocaml

14:49 Serpent7776 has quit [Quit: Leaving]

14:55 mk__ has joined #ocaml

14:55 <mk__> For the ones familiar with MirageOS: Looks like Str was removed from Mirage some time ago. However, Ctypes uses Str in the code. How is it possible to build Ctypes-based applications for xen?

14:56 <companion_cube> ctypes uses str???

14:56 <mk__> I get "No implementation provided" for Str referenced from Ctypes sctubs

14:56 <mk__> Works well when compiled for unix

14:58 <mk__> companion_cube yes, I can see Str is used in the code of Ctypes

15:05 nullifidian_ has joined #ocaml

15:06 vyorkin has quit [Remote host closed the connection]

15:09 nullifidian has quit [Ping timeout: 265 seconds]

15:19 barockobamo has quit [Remote host closed the connection]

15:24 gravicappa has joined #ocaml

15:45 Haudegen has quit [Quit: Bin weg.]

15:52 FreeBirdLjj has quit [Remote host closed the connection]

15:53 ggole has quit [Quit: Leaving]

16:00 analogue has joined #ocaml

16:12 flux has joined #ocaml

16:23 Serpent7776 has joined #ocaml

16:25 mbuf has quit [Quit: Leaving]

16:37 analogue has quit [Quit: Leaving]

16:41 flux has quit [Ping timeout: 276 seconds]

16:51 ziyourenxiang has quit [Ping timeout: 276 seconds]

16:51 pino|work has quit [Quit: brb]

16:52 pino|work has joined #ocaml

16:54 Haudegen has joined #ocaml

16:56 kakadu has joined #ocaml

16:56 jao has joined #ocaml

17:02 kakadu has quit [Ping timeout: 276 seconds]

17:11 kakadu_ has joined #ocaml

17:16 KeyJoo has joined #ocaml

17:17 flux has joined #ocaml

17:20 KeyJoo has quit [Client Quit]

17:23 AtumT has quit [Ping timeout: 252 seconds]

17:28 KeyJoo has joined #ocaml

17:35 ravenous_ has joined #ocaml

17:39 AtumT has joined #ocaml

17:41 AtumT_ has joined #ocaml

17:44 AtumT has quit [Ping timeout: 240 seconds]

17:45 KeyJoo has quit [Remote host closed the connection]

17:46 KeyJoo has joined #ocaml

17:52 _5HT has quit [Remote host closed the connection]

17:52 nullifidian_ is now known as nullifidian

17:52 _5HT has joined #ocaml

17:53 FreeBirdLjj has joined #ocaml

17:57 KeyJoo has quit [Ping timeout: 268 seconds]

17:58 FreeBirdLjj has quit [Ping timeout: 245 seconds]

18:07 KeyJoo has joined #ocaml

18:40 mk__ has quit [Quit: Ping timeout (120 seconds)]

18:46 jnavila has joined #ocaml

18:57 gravicappa has quit [Ping timeout: 268 seconds]

19:00 _5HT has quit [Remote host closed the connection]

19:02 _5HT has joined #ocaml

19:08 troydm has quit [Ping timeout: 268 seconds]

19:12 _5HT has quit [Remote host closed the connection]

19:12 _5HT has joined #ocaml

19:21 _5HT has quit [Remote host closed the connection]

19:23 _5HT has joined #ocaml

19:41 _5HT has quit [Remote host closed the connection]

19:42 _5HT has joined #ocaml

19:42 _5HT has quit [Remote host closed the connection]

19:44 _5HT has joined #ocaml

19:56 KeyJoo has quit [Quit: KeyJoo]

19:58 malina has quit [Remote host closed the connection]

20:00 ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:10 Hrundi_V_Bakshi has joined #ocaml

20:23 vicfred has joined #ocaml

20:28 analogue has joined #ocaml

20:33 analogue has quit [Quit: Leaving]

20:44 Serpent7776 has quit [Quit: leaving]

20:45 vicfred has quit [Quit: Leaving]

20:56 smazga has joined #ocaml

20:59 narimiran has quit [Ping timeout: 240 seconds]

21:05 raduom has quit [Ping timeout: 246 seconds]

21:07 troydm has joined #ocaml

21:23 jnavila has quit [Remote host closed the connection]

21:24 _5HT has quit [Ping timeout: 268 seconds]

21:27 _5HT has joined #ocaml

21:30 kjak has quit [Ping timeout: 240 seconds]

21:31 ec is now known as ELLIOTTCABLE

21:45 kjak has joined #ocaml

21:46 kjak has quit [Client Quit]

21:46 kjak has joined #ocaml

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

22:24 _5HT has quit [Ping timeout: 246 seconds]

22:26 Hrundi_V_Bakshi has joined #ocaml

22:26 Hrundi_V_Bakshi has quit [Client Quit]

22:26 _5HT has joined #ocaml

22:26 kakadu_ has quit [Remote host closed the connection]

22:31 ygrek has quit [Ping timeout: 245 seconds]

22:31 bitwinery has joined #ocaml

22:45 AtumT_ has quit [Quit: AtumT_]

22:46 Haudegen has quit [Ping timeout: 240 seconds]

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

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

23:33 nullifidian has joined #ocaml

23:36 ziyourenxiang has joined #ocaml

23:39 smazga has quit [Quit: leaving]