#ocaml on 2019-04-16 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:11 themsay has joined #ocaml

00:12 rambocoder has quit [Quit: Connection closed for inactivity]

00:19 AnAverageHuman has quit [Ping timeout: 256 seconds]

00:20 themsay has quit [Ping timeout: 264 seconds]

00:20 ziyourenxiang__ has joined #ocaml

00:23 al-damiri has quit [Quit: Connection closed for inactivity]

00:35 themsay has joined #ocaml

00:52 ale64bit has joined #ocaml

01:02 amiloradovsky has quit [Ping timeout: 250 seconds]

01:11 themsay has quit [Read error: Connection reset by peer]

01:11 ale64bit has quit [Ping timeout: 250 seconds]

01:11 silver has quit [Read error: Connection reset by peer]

01:12 themsay has joined #ocaml

01:15 themsay has quit [Remote host closed the connection]

01:27 DomTorr has joined #ocaml

01:27 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:33 AnAverageHuman has joined #ocaml

01:33 JimmyRcom has joined #ocaml

01:33 kvda has joined #ocaml

01:40 AtumT has quit [Quit: AtumT]

01:49 JimmyRcom has quit [Quit: Leaving]

02:04 mfp has quit [Ping timeout: 268 seconds]

02:15 ale64bit has joined #ocaml

02:24 tormen_ has joined #ocaml

02:27 tormen has quit [Ping timeout: 252 seconds]

02:33 notnotdan has quit [Ping timeout: 252 seconds]

02:35 notnotdan has joined #ocaml

02:35 themsay has joined #ocaml

02:40 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:42 gravicappa has joined #ocaml

02:51 jao has quit [Remote host closed the connection]

02:54 kvda has joined #ocaml

02:55 pierpal has quit [Quit: Poof]

02:55 pierpal has joined #ocaml

03:08 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:15 _whitelogger has joined #ocaml

03:39 ale64bit has quit [Ping timeout: 252 seconds]

03:45 AnAverageHuman has quit [Ping timeout: 256 seconds]

03:48 kvda has joined #ocaml

03:59 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:06 kvda has joined #ocaml

04:10 okuu has joined #ocaml

04:18 themsay has quit [Ping timeout: 240 seconds]

04:35 Jeanne-Kamikaze has joined #ocaml

04:37 themsay has joined #ocaml

04:38 ygrek has quit [Ping timeout: 250 seconds]

04:57 okuu has quit [Remote host closed the connection]

04:57 okuu has joined #ocaml

05:05 okuu has quit [Remote host closed the connection]

05:08 Birdface has joined #ocaml

05:34 Jeanne-Kamikaze has quit [Quit: Leaving]

05:36 themsay has quit [Remote host closed the connection]

05:52 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:53 Birdface has quit [Ping timeout: 252 seconds]

06:12 kvda has joined #ocaml

06:23 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:27 monad_cat has quit [Ping timeout: 250 seconds]

06:28 mgsk has quit [Read error: Connection reset by peer]

06:28 rfv has quit [Ping timeout: 268 seconds]

06:32 mrallen1 has quit [Ping timeout: 252 seconds]

06:33 jkni has quit [Ping timeout: 258 seconds]

06:34 nkaretnikov has quit [Ping timeout: 258 seconds]

06:35 alexelcu has quit [Ping timeout: 252 seconds]

06:38 jmct has quit [Ping timeout: 258 seconds]

06:47 kvda has joined #ocaml

06:52 jmct has joined #ocaml

06:53 rfv has joined #ocaml

06:53 barockobamo has joined #ocaml

06:53 jkni has joined #ocaml

06:54 monad_cat has joined #ocaml

06:54 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:56 mgsk has joined #ocaml

06:56 mrallen1 has joined #ocaml

07:00 nkaretnikov has joined #ocaml

07:01 sagax has quit [Ping timeout: 268 seconds]

07:01 alexelcu has joined #ocaml

07:14 Haudegen has joined #ocaml

07:17 sagax has joined #ocaml

07:24 JeanMax has joined #ocaml

07:28 Birdface has joined #ocaml

07:35 freyr69 has joined #ocaml

07:57 Birdface has quit [Quit: Leaving]

08:05 mgsk has quit [Ping timeout: 255 seconds]

08:05 jkni_ has joined #ocaml

08:05 mgsk has joined #ocaml

08:05 jkni has quit [Ping timeout: 252 seconds]

08:05 jkni_ is now known as jkni

08:16 JeanMax has quit [Ping timeout: 268 seconds]

09:02 <freyr69> How to read a 64 bit float using Cstruct?

09:18 johnelse has quit [Quit: leaving]

09:18 <dinosaure> freyr69: you should open an issue, we are close to make a release :d

09:23 JeanMax has joined #ocaml

09:25 <freyr69> dinosaure: https://github.com/mirage/ocaml-cstruct/issues/174

09:25 <freyr69> I think this is it

09:36 kvda has joined #ocaml

09:38 mfp has joined #ocaml

09:41 johnelse has joined #ocaml

09:53 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:54 <freyr69> If I allocate value in a loop within C stubs, could I reuse the same CAMLlocal value on each iteration?

09:59 jaar has joined #ocaml

10:16 JeanMax has quit [Ping timeout: 264 seconds]

10:39 _whitelogger has joined #ocaml

10:49 Haudegen has quit [Remote host closed the connection]

10:49 Bahman has quit [Ping timeout: 252 seconds]

10:50 keep_learning has quit [Quit: Ping timeout (120 seconds)]

11:04 Bahman has joined #ocaml

11:18 kvda has joined #ocaml

11:25 <flux> yes. I assume you're allocating from OCaml heap.

11:31 <freyr69> flux: something like this: for (field..) { val = caml_copy_int64; Field(tup, field) = val }

11:35 ygrek has joined #ocaml

11:42 pierpal has quit [Quit: Poof]

11:42 pierpal has joined #ocaml

11:46 Bahman has quit [Ping timeout: 246 seconds]

11:47 Bahman has joined #ocaml

11:47 aspiwack[m] has joined #ocaml

11:52 jao has joined #ocaml

11:57 <flux> freyr69, seems fine

11:59 cgenie[m] has joined #ocaml

11:59 copy` has joined #ocaml

11:59 flux[m] has joined #ocaml

11:59 Haudegen[m] has joined #ocaml

11:59 hdurer[m] has joined #ocaml

11:59 spectrumgomas[m] has joined #ocaml

11:59 smondet[m] has joined #ocaml

11:59 peddie has joined #ocaml

11:59 sepp2k has joined #ocaml

11:59 jimt[m] has joined #ocaml

12:02 Haudegen has joined #ocaml

12:03 <freyr69> thanks

12:04 JeanMax has joined #ocaml

12:24 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

12:26 silver has joined #ocaml

12:51 JeanMax has quit [Ping timeout: 244 seconds]

12:58 okuu has joined #ocaml

13:00 kvda has joined #ocaml

13:00 kvda has quit [Client Quit]

13:04 yetanotherion[m] has joined #ocaml

13:04 aecepoglu[m] has joined #ocaml

13:04 dl3br[m] has joined #ocaml

13:04 nojb_[m] has joined #ocaml

13:04 nojb[m] has joined #ocaml

13:05 Walter[m] has joined #ocaml

13:05 isaachodes[m] has joined #ocaml

13:05 Virgile[m] has joined #ocaml

13:05 miguelbe[m] has joined #ocaml

13:05 rgr[m] has joined #ocaml

13:06 regnat[m] has joined #ocaml

13:06 otini has joined #ocaml

13:07 karan[m] has joined #ocaml

13:07 lokydor[m] has joined #ocaml

13:18 xuib has joined #ocaml

13:28 nikivi has quit [Quit: ZNC is awesome]

13:39 Bahman_ has joined #ocaml

13:41 Bahman has quit [Ping timeout: 245 seconds]

13:42 Bahman_ is now known as Bahman

13:42 ygrek has quit [Ping timeout: 252 seconds]

13:50 nikivi has joined #ocaml

13:51 Bahman has quit [Ping timeout: 268 seconds]

14:05 lokydor[m] has quit [Remote host closed the connection]

14:05 copy` has quit [Read error: Connection reset by peer]

14:05 Virgile[m] has quit [Remote host closed the connection]

14:05 nojb_[m] has quit [Remote host closed the connection]

14:05 cgenie[m] has quit [Read error: Connection reset by peer]

14:05 dl3br[m] has quit [Read error: Connection reset by peer]

14:05 flux[m] has quit [Read error: Connection reset by peer]

14:05 regnat[m] has quit [Read error: Connection reset by peer]

14:05 yetanotherion[m] has quit [Read error: Connection reset by peer]

14:05 Walter[m] has quit [Read error: Connection reset by peer]

14:05 karan[m] has quit [Remote host closed the connection]

14:05 isaachodes[m] has quit [Read error: Connection reset by peer]

14:05 smondet[m] has quit [Read error: Connection reset by peer]

14:05 otini has quit [Read error: Connection reset by peer]

14:05 hdurer[m] has quit [Read error: Connection reset by peer]

14:05 aspiwack[m] has quit [Read error: Connection reset by peer]

14:06 miguelbe[m] has quit [Read error: Connection reset by peer]

14:06 aecepoglu[m] has quit [Read error: Connection reset by peer]

14:06 Haudegen[m] has quit [Remote host closed the connection]

14:06 rgr[m] has quit [Read error: Connection reset by peer]

14:06 peddie has quit [Write error: Connection reset by peer]

14:06 sepp2k has quit [Read error: Connection reset by peer]

14:06 nojb[m] has quit [Read error: Connection reset by peer]

14:06 spectrumgomas[m] has quit [Read error: Connection reset by peer]

14:06 jimt[m] has quit [Read error: Connection reset by peer]

14:08 pierpal has quit [Quit: Poof]

14:08 seliopou has quit [Ping timeout: 246 seconds]

14:08 pierpal has joined #ocaml

14:09 jao has quit [Remote host closed the connection]

14:10 jao has joined #ocaml

14:11 seliopou has joined #ocaml

14:31 aspiwack[m] has joined #ocaml

14:41 Haudegen[m] has joined #ocaml

14:41 copy` has joined #ocaml

14:41 flux[m] has joined #ocaml

14:41 hdurer[m] has joined #ocaml

14:41 smondet[m] has joined #ocaml

14:41 cgenie[m] has joined #ocaml

14:41 peddie has joined #ocaml

14:41 spectrumgomas[m] has joined #ocaml

14:41 jimt[m] has joined #ocaml

14:41 dl3br[m] has joined #ocaml

14:41 yetanotherion[m] has joined #ocaml

14:41 rgr[m] has joined #ocaml

14:41 Walter[m] has joined #ocaml

14:41 isaachodes[m] has joined #ocaml

14:41 miguelbe[m] has joined #ocaml

14:41 aecepoglu[m] has joined #ocaml

14:41 regnat[m] has joined #ocaml

14:41 nojb[m] has joined #ocaml

14:41 otini has joined #ocaml

14:41 Virgile[m] has joined #ocaml

14:41 nojb_[m] has joined #ocaml

14:41 karan[m] has joined #ocaml

14:41 lokydor[m] has joined #ocaml

14:41 sepp2k has joined #ocaml

15:06 rfv has quit []

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

15:06 rfv has joined #ocaml

15:06 okuu has joined #ocaml

15:07 okuu has quit [Remote host closed the connection]

15:08 wilfredh has joined #ocaml

15:12 okuu has joined #ocaml

15:13 <wilfredh> does ocaml have an equivalent of python's `any` and `all`?

15:13 <wilfredh> i.e. given `'a list` and `'a -> bool`, return `bool` and (ideally) terminate early

15:13 AnAverageHuman has joined #ocaml

15:14 <Armael> List.exists / List.for_all

15:20 <wilfredh> thanks :)

15:21 <freyr69> Dune still couldn't manage private libraries as the deps of public ones?

15:24 AtumT has joined #ocaml

15:29 freyr69 has quit [Remote host closed the connection]

15:47 alexelcu has quit []

15:47 alexelcu has joined #ocaml

15:49 Haudegen has quit [Remote host closed the connection]

15:54 al-damiri has joined #ocaml

16:05 AnAverageHuman has quit [Ping timeout: 256 seconds]

16:11 tane has joined #ocaml

16:15 <Leonidas> gasche's blog post is fun, everything he touches becomes magically slower :D http://gallium.inria.fr/blog/marrakesh-retreat-03-2019/

16:17 <Leonidas> looking forward to read the explanation for @@unboxed

16:25 Serpent7776 has joined #ocaml

16:38 jnavila has joined #ocaml

16:44 ygrek has joined #ocaml

16:47 barockobamo has quit [Remote host closed the connection]

16:51 Haudegen has joined #ocaml

16:58 jaar has quit [Ping timeout: 255 seconds]

17:05 pierpal has quit [Ping timeout: 245 seconds]

17:10 Jesin has quit [Quit: Leaving]

17:14 okuu has quit [Ping timeout: 246 seconds]

17:28 jnavila has quit [Ping timeout: 246 seconds]

17:29 Jesin has joined #ocaml

17:45 TheLemonMan has joined #ocaml

17:49 Jesin has quit [Quit: Leaving]

17:54 Jesin has joined #ocaml

17:56 gravicappa has quit [Ping timeout: 252 seconds]

18:01 okuu has joined #ocaml

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

18:05 okuu has joined #ocaml

18:10 jstolare1 has quit [Ping timeout: 245 seconds]

18:17 jstolarek has joined #ocaml

18:32 rambocoder has joined #ocaml

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

19:08 jnavila has joined #ocaml

19:09 okuu has quit [Ping timeout: 255 seconds]

19:27 kakadu_ has joined #ocaml

20:01 Haudegen has quit [Remote host closed the connection]

20:32 gareppa has joined #ocaml

20:37 Serpent7776 has quit [Quit: leaving]

20:39 al-damiri has quit [Quit: Connection closed for inactivity]

20:44 Haudegen has joined #ocaml

20:54 sonologico has joined #ocaml

20:56 tane has quit [Quit: Leaving]

21:01 gareppa has quit [Quit: Leaving]

21:10 amiloradovsky has joined #ocaml

21:14 okuu has joined #ocaml

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

22:11 ygrek has quit [Ping timeout: 255 seconds]

22:22 magicbit has quit [Quit: leaving]

22:26 Haudegen has quit [Read error: Connection reset by peer]

22:52 AtumT has quit [Read error: Connection reset by peer]

22:54 AtumT has joined #ocaml

23:04 kvda has joined #ocaml

23:05 kakadu_ has quit [Remote host closed the connection]

23:16 ale64bit has joined #ocaml

23:28 ale64bit has quit [Ping timeout: 246 seconds]

23:40 silver_ has joined #ocaml

23:42 rambocoder has quit [Quit: Connection closed for inactivity]

23:42 silver has quit [Ping timeout: 246 seconds]

23:46 okuu has quit [Ping timeout: 246 seconds]