#ocaml on 2018-08-15 — irc logs at freenode.irclog.whitequark.org

2018-08-02 09:43 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 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:32 ygrek has quit [Ping timeout: 240 seconds]

00:36 ben_ has quit [Remote host closed the connection]

00:58 Fare has quit [Ping timeout: 260 seconds]

01:07 zolk3ri has quit [Quit: leaving]

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

01:25 ygrek has joined #ocaml

01:45 neatonk has joined #ocaml

02:05 brynjar25 has joined #ocaml

02:07 brynjar25 has quit [Remote host closed the connection]

02:16 tormen has joined #ocaml

02:17 Fare has joined #ocaml

02:19 tormen_ has quit [Ping timeout: 256 seconds]

02:22 Pidgeotto24 has joined #ocaml

02:28 Pidgeotto24 has quit [Ping timeout: 272 seconds]

02:29 neatonk has quit [Ping timeout: 240 seconds]

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

02:42 moei has quit [Quit: Leaving...]

03:08 loli has quit [Quit: WeeChat 2.2]

03:12 loli has joined #ocaml

03:20 jao has quit [Ping timeout: 265 seconds]

03:33 _whitelogger has joined #ocaml

04:00 jbrown has quit [Ping timeout: 240 seconds]

04:40 malina has joined #ocaml

04:40 keep_learning has quit [Remote host closed the connection]

04:44 Maxdamantus has quit [Ping timeout: 268 seconds]

04:49 malina has quit [Ping timeout: 260 seconds]

04:51 Maxdamantus has joined #ocaml

04:57 Maxdamantus has quit [Ping timeout: 272 seconds]

04:57 Maxdamantus has joined #ocaml

05:01 lopex has quit [Quit: Connection closed for inactivity]

05:23 noitakomentaja has joined #ocaml

05:24 Fare has quit [Ping timeout: 272 seconds]

05:44 Fare has joined #ocaml

06:06 Fare has quit [Ping timeout: 248 seconds]

06:09 noitakomentaja has quit [Ping timeout: 250 seconds]

06:17 noitakomentaja has joined #ocaml

06:30 malina has joined #ocaml

06:58 orbifx has joined #ocaml

07:01 Maxdamantus has quit [Ping timeout: 272 seconds]

07:01 Maxdamantus has joined #ocaml

07:13 sagax has joined #ocaml

07:16 orbifx has quit [Ping timeout: 256 seconds]

07:25 keep_learning has joined #ocaml

07:36 ozzymcduff has joined #ocaml

07:47 noitakomentaja has quit [Remote host closed the connection]

07:47 noitakomentaja has joined #ocaml

07:57 <sagax> hi all!

07:57 <sagax> what read about ocaml?

08:28 ia0 has quit [Quit: reboot]

08:29 <xvilka> sagax: RealWorldOCaml https://dev.realworldocaml.org

08:29 <xvilka> sagax: + OCaml reference manual

08:29 <xvilka> btw, anyone knows if there is LZMA implementation in OCaml?

08:30 ia0 has joined #ocaml

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

08:35 nopf has quit [Ping timeout: 265 seconds]

08:39 <hannes> is there a way to find out how many bytes/words are consumed by an arbitrary OCaml value?

08:39 <hannes> I tried "Obj.size (Obj.repr [])" (using the empty list as example), but this segmentation faults :/

08:41 <hannes> xvilka: https://forge.ocamlcore.org/projects/ocaml-lzma/ is what I found...

08:41 <flux[m]> hannes, I wonder if that's a bug? Not sure what's the difference to Obj.reachable_words, but at least it seems to work

08:42 <flux[m]> actually I notice Obj.size is not documented and probably doesn't so what you hope it would do

08:42 <flux[m]> perhaps reachable_words fares better :-)

08:42 <hannes> flux[m]: thanks!

08:42 <flux[m]> (Obj.size probably accesses the object's size field, and therefore crashes on null input)

08:43 <flux[m]> hannes: happy to help, learned something new myself as well ;)

08:44 <flux[m]> cool, Obj.reachable_words seems to handle infinite/recursive structures fine as well

08:51 <flux[m]> ..what's this? https://caml.inria.fr/pub/docs/manual-ocaml/libref/Tbl.html

08:51 <xvilka> hannes: yeah, looks dead

08:51 <xvilka> even lzma in Rust dead too

08:51 <xvilka> too boring format

08:54 <Armael> flux[m]: that's part of compiler-libs, not the stdlib

08:54 <flux[m]> ah, of course. nice if the lists were separate.

08:54 <Armael> yeah I agree

08:54 <Armael> fwiw https://caml.inria.fr/pub/docs/manual-ocaml/stdlib.html is the list of stdlib's modules

08:55 <flux[m]> looks nicer than I remembered :), someone has done some work on CSS

08:55 <Armael> yes!

09:01 pierpal has joined #ocaml

09:13 pierpal has quit [Quit: Poof]

09:14 pierpal has joined #ocaml

09:17 Duns_Scrotus_ has joined #ocaml

09:17 cbarrett_ has joined #ocaml

09:18 strmpnk_ has joined #ocaml

09:18 strmpnk has quit [Ping timeout: 245 seconds]

09:18 Duns_Scrotus has quit [Read error: Connection reset by peer]

09:18 cbarrett has quit [Read error: Connection reset by peer]

09:18 strmpnk_ is now known as strmpnk

09:21 jnavila has joined #ocaml

09:29 Maxdamantus has quit [Ping timeout: 240 seconds]

09:30 Maxdamantus has joined #ocaml

09:41 mobijubo26 has joined #ocaml

09:41 mobijubo26 has quit [Killed (Sigyn (Spam is off topic on freenode.))]

09:42 mfp has joined #ocaml

09:43 ben__ has joined #ocaml

09:44 ben__ has quit [Remote host closed the connection]

09:44 cjd has quit [Ping timeout: 256 seconds]

09:51 ben__ has joined #ocaml

09:54 ski_ has joined #ocaml

09:57 ski_ has quit [Remote host closed the connection]

10:11 freyr69 has joined #ocaml

10:18 Maxdamantus has quit [Ping timeout: 272 seconds]

10:21 zolk3ri has joined #ocaml

10:22 Maxdamantus has joined #ocaml

10:24 nopf has joined #ocaml

10:48 jnavila has quit [Ping timeout: 256 seconds]

10:51 bray90820_11 has joined #ocaml

10:52 bray90820_11 has quit [Remote host closed the connection]

10:57 freyr69 has quit [Ping timeout: 244 seconds]

11:14 jao has joined #ocaml

11:17 pierpal has quit [Quit: Poof]

11:18 pierpal has joined #ocaml

11:21 ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

11:22 ozzymcduff has joined #ocaml

11:27 ozzymcduff has quit [Ping timeout: 260 seconds]

11:47 moei has joined #ocaml

11:51 caltelt has quit [Ping timeout: 272 seconds]

12:11 Compu has joined #ocaml

12:11 Compu has quit [Remote host closed the connection]

12:31 jao has quit [Ping timeout: 260 seconds]

12:34 Alina-malina27 has joined #ocaml

12:37 Alina-malina27 has quit [Remote host closed the connection]

12:41 spew_ has joined #ocaml

12:41 reynir has quit [Quit: brb]

12:41 spew_ is now known as spew

12:45 reynir has joined #ocaml

12:51 mengu has joined #ocaml

12:52 freyr69 has joined #ocaml

13:00 Duns_Scrotus_ has quit []

13:00 Duns_Scrotus_ has joined #ocaml

13:01 Duns_Scrotus_ has left #ocaml [#ocaml]

13:14 noitakomentaja has quit [Ping timeout: 250 seconds]

13:15 cjd has joined #ocaml

13:15 webshinra has quit [Read error: Connection reset by peer]

13:15 Fare has joined #ocaml

13:18 Maxdamantus has quit [Ping timeout: 272 seconds]

13:19 Maxdamantus has joined #ocaml

13:20 cjd has quit [Ping timeout: 256 seconds]

13:26 webshinra has joined #ocaml

13:31 Maxdamantus has quit [Ping timeout: 268 seconds]

13:32 Maxdamantus has joined #ocaml

13:32 _andre has joined #ocaml

13:34 yar24 has joined #ocaml

13:35 yar24 has quit [Remote host closed the connection]

13:35 jnavila has joined #ocaml

13:38 FreeBirdLjj has joined #ocaml

13:38 lopex has joined #ocaml

13:42 FreeBirdLjj has quit [Ping timeout: 244 seconds]

13:47 freyr69 has quit [Read error: Connection reset by peer]

13:49 freyr69 has joined #ocaml

13:52 Maxdamantus has quit [Ping timeout: 268 seconds]

14:01 EvilRoey18 has joined #ocaml

14:04 EvilRoey18 has quit [Remote host closed the connection]

14:11 jnavila has quit [Ping timeout: 240 seconds]

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

14:20 ben__ has joined #ocaml

14:21 quipa has joined #ocaml

14:22 ben__ has quit [Remote host closed the connection]

14:23 ben__ has joined #ocaml

14:23 jao has joined #ocaml

14:24 jbrown has joined #ocaml

14:24 FreeBirdLjj has joined #ocaml

14:25 ziyourenxiang has joined #ocaml

14:25 quipa has quit [Remote host closed the connection]

14:38 <companion_cube> heh, suddenly I find this idea of "duniverse" pretty interesting

14:43 <dmbaturin> companion_cube: The idea of what?

14:43 <companion_cube> https://discuss.ocaml.org/t/ocaml-community-github-organization/2413/17

14:43 <companion_cube> basically, duniverse = using dune + git submodule to emulate a monorepo

14:44 <companion_cube> even when every project has its own repo

14:44 <dmbaturin> Sounds interesting indeed.

14:48 fkz has joined #ocaml

14:53 fkz has quit [Remote host closed the connection]

14:54 freyr69 has quit [Ping timeout: 272 seconds]

14:56 ben__ has quit [Remote host closed the connection]

14:57 loic__ has joined #ocaml

14:57 ben__ has joined #ocaml

14:58 mengu_ has joined #ocaml

15:00 ben__ has quit [Remote host closed the connection]

15:01 mengu has quit [Ping timeout: 256 seconds]

15:02 jao has quit [Ping timeout: 244 seconds]

15:02 ben__ has joined #ocaml

15:04 loic__ has left #ocaml [#ocaml]

15:04 neatonk has joined #ocaml

15:06 ygrek has quit [Ping timeout: 240 seconds]

15:09 mengu has joined #ocaml

15:12 mengu_ has quit [Ping timeout: 272 seconds]

15:13 neatonk has quit [Ping timeout: 240 seconds]

15:17 tane has joined #ocaml

15:22 bartholin has quit [Read error: Connection reset by peer]

15:26 laurus has joined #ocaml

15:30 earlz19 has joined #ocaml

15:30 earlz19 has quit [Remote host closed the connection]

15:35 Denommus has joined #ocaml

15:37 quipa has joined #ocaml

15:38 neatonk has joined #ocaml

15:38 quipa has quit [Remote host closed the connection]

15:39 ben__ has quit [Remote host closed the connection]

15:40 ben__ has joined #ocaml

15:47 ben__ has quit [Remote host closed the connection]

15:47 tokomak has joined #ocaml

15:48 laurus has left #ocaml ["Part"]

15:49 BitPuffin has joined #ocaml

16:01 neatonk1 has joined #ocaml

16:01 ben__ has joined #ocaml

16:01 neatonk has quit [Ping timeout: 255 seconds]

16:03 ben__ has quit [Remote host closed the connection]

16:04 ben__ has joined #ocaml

16:05 ben__ has quit [Remote host closed the connection]

16:06 ben__ has joined #ocaml

16:08 ben__ has quit [Client Quit]

16:09 ben__ has joined #ocaml

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

16:14 ben__ has joined #ocaml

16:30 cobreadmonster has joined #ocaml

16:31 neatonk has joined #ocaml

16:32 neatonk1 has quit [Ping timeout: 256 seconds]

16:41 ben__ has quit [Remote host closed the connection]

16:42 erkin has joined #ocaml

16:43 ben__ has joined #ocaml

16:44 ben__ has quit [Remote host closed the connection]

16:45 ben__ has joined #ocaml

16:48 jnavila has joined #ocaml

16:49 tane has quit [Remote host closed the connection]

16:49 Maxdamantus has joined #ocaml

16:49 tane has joined #ocaml

16:51 jnavila has quit [Remote host closed the connection]

16:52 jnavila has joined #ocaml

16:53 quipa has joined #ocaml

17:00 Freechicks has quit [Remote host closed the connection]

17:03 Freechicks has joined #ocaml

17:03 Freechicks has quit [Excess Flood]

17:03 Freechicks has joined #ocaml

17:03 Freechicks has quit [Excess Flood]

17:03 Freechicks has joined #ocaml

17:03 Freechicks has quit [Excess Flood]

17:04 Freechicks has joined #ocaml

17:04 Freechicks has quit [Excess Flood]

17:04 Freechicks has joined #ocaml

17:05 Fare has quit [Ping timeout: 248 seconds]

17:05 Maxdamantus has quit [Ping timeout: 272 seconds]

17:06 mengu_ has joined #ocaml

17:07 Maxdamantus has joined #ocaml

17:07 ziyourenxiang has quit [Ping timeout: 260 seconds]

17:10 mengu has quit [Ping timeout: 272 seconds]

17:21 FreeBirdLjj has quit [Remote host closed the connection]

17:22 pierpal has quit [Quit: Poof]

17:22 pierpal has joined #ocaml

17:23 bartholin has joined #ocaml

17:28 quipa has quit [Quit: Leaving]

17:28 <Drup> flux[m]: that's a module that I recently removed :3

17:30 Maxdaman1us has joined #ocaml

17:31 mengu has joined #ocaml

17:32 Maxdamantus has quit [Ping timeout: 240 seconds]

17:33 mengu_ has quit [Ping timeout: 240 seconds]

17:34 Fare has joined #ocaml

17:49 ben__ has quit [Remote host closed the connection]

17:50 ben__ has joined #ocaml

17:53 orbifx has joined #ocaml

17:57 kit_ty_kate has quit [Quit: WeeChat 1.6]

17:58 Freechicks has quit [Remote host closed the connection]

17:58 kit_ty_kate has joined #ocaml

18:00 Freechicks has joined #ocaml

18:05 FreeBirdLjj has joined #ocaml

18:07 neatonk has quit [Ping timeout: 272 seconds]

18:10 neatonk has joined #ocaml

18:13 <reynir> (discord1 is still not voiced)

18:13 <discord1> <companion_cube> indeed

18:14 Maxdamantus has joined #ocaml

18:14 Maxdaman1us has quit [Ping timeout: 272 seconds]

18:14 discord1 is now known as discord

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

18:14 <reynir> \o/

18:14 <reynir> thanks companion_cube

18:21 orbifx has quit [Ping timeout: 240 seconds]

18:27 mengu has quit [Quit: Leaving...]

18:41 rigel19 has joined #ocaml

18:43 rigel19 has quit [Remote host closed the connection]

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

18:45 Maxdaman1us has joined #ocaml

18:45 Maxdamantus has quit [Ping timeout: 240 seconds]

18:46 FreeBirdLjj has joined #ocaml

18:50 Maxdaman1us has quit [Ping timeout: 240 seconds]

18:52 Maxdamantus has joined #ocaml

18:58 Maxdamantus has quit [Ping timeout: 272 seconds]

19:04 <discord> <Bluddy> I can't reboot the bot until I get home. Sorry.

19:05 Maxdamantus has joined #ocaml

19:08 <companion_cube> well for now it's voiced

19:13 Maxdamantus has quit [Ping timeout: 256 seconds]

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

19:15 ben_ has joined #ocaml

19:19 Freechicks has quit []

19:27 jack5638 has quit [Ping timeout: 248 seconds]

19:32 Maxdamantus has joined #ocaml

19:32 wize has joined #ocaml

19:32 Jesin has quit [Remote host closed the connection]

19:33 jack5638 has joined #ocaml

19:35 orbifx has joined #ocaml

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

19:36 Fare has quit [Ping timeout: 268 seconds]

19:43 orbifx has quit [Ping timeout: 256 seconds]

19:47 kakadu_ has joined #ocaml

19:50 FreeBirdLjj has quit [Ping timeout: 248 seconds]

19:57 Guest58648 has joined #ocaml

20:00 Maxdamantus has quit [Ping timeout: 272 seconds]

20:00 Guest58648 has quit [Remote host closed the connection]

20:01 Maxdamantus has joined #ocaml

20:03 bacam has quit [Quit: reboot]

20:03 noitakomentaja has joined #ocaml

20:07 Maxdaman1us has joined #ocaml

20:10 Maxdamantus has quit [Ping timeout: 244 seconds]

20:15 Jesin has joined #ocaml

20:17 francisl has joined #ocaml

20:20 FreeBirdLjj has joined #ocaml

20:30 Freechicks has joined #ocaml

20:30 orbifx has joined #ocaml

20:33 Freechicks has quit []

20:37 bacam has joined #ocaml

20:40 Freechicks has joined #ocaml

20:49 tane has quit [Quit: Leaving]

20:53 FreeBirdLjj has quit [Ping timeout: 244 seconds]

20:55 Denommus has quit [Remote host closed the connection]

20:56 Denommus has joined #ocaml

20:56 erkin has quit [Remote host closed the connection]

21:08 jmiven has quit [Quit: co'o]

21:09 jmiven has joined #ocaml

21:14 noitakomentaja has quit [Ping timeout: 250 seconds]

21:15 Dread20 has joined #ocaml

21:17 noitakomentaja has joined #ocaml

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

21:27 sagax has quit [Quit: Konversation terminated!]

21:30 pierpal has quit [Quit: Poof]

21:30 pierpal has joined #ocaml

21:39 noitakomentaja has quit [Ping timeout: 250 seconds]

21:42 Maxdaman1us has quit [Ping timeout: 244 seconds]

21:45 Maxdamantus has joined #ocaml

21:49 FreeBirdLjj has joined #ocaml

21:49 Fare has joined #ocaml

21:52 orbifx has quit [Ping timeout: 240 seconds]

21:53 kakadu_ has quit [Ping timeout: 240 seconds]

21:53 kakadu__ has joined #ocaml

22:00 neatonk has quit [Ping timeout: 240 seconds]

22:01 jbrown has joined #ocaml

22:01 Denommus has quit [Remote host closed the connection]

22:09 pierpa has joined #ocaml

22:11 maarhart has joined #ocaml

22:11 maarhart has quit [Excess Flood]

22:11 maarhart has joined #ocaml

22:11 maarhart has quit [Excess Flood]

22:11 maarhart has joined #ocaml

22:11 maarhart has quit [Excess Flood]

22:12 maarhart has joined #ocaml

22:12 maarhart has quit [Excess Flood]

22:12 maarhart has joined #ocaml

22:12 maarhart has quit [Excess Flood]

22:14 jnavila has quit [Ping timeout: 240 seconds]

22:16 zolk3ri has quit [Quit: Lost terminal]

22:21 mengu has joined #ocaml

22:31 FreeBirdLjj has quit [Ping timeout: 256 seconds]

22:32 kakadu__ has quit [Read error: Connection reset by peer]

22:41 caltelt has joined #ocaml

22:44 francisl has quit [Quit: francisl]

22:47 zolk3ri has joined #ocaml

22:52 James_T18 has joined #ocaml

22:54 James_T18 has quit [Remote host closed the connection]

23:03 ben_ has quit [Remote host closed the connection]

23:09 bartholin has quit [Remote host closed the connection]

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

23:25 FreeBirdLjj has joined #ocaml

23:27 Fare has quit [Ping timeout: 272 seconds]

23:31 mengu has quit [Remote host closed the connection]

23:31 francisl has joined #ocaml

23:31 mengu has joined #ocaml

23:35 BitPuffin has quit [Ping timeout: 272 seconds]

23:41 zolk3ri has quit [Quit: Lost terminal]

23:42 Soni has quit [Ping timeout: 256 seconds]

23:43 Soni has joined #ocaml

23:45 jao has joined #ocaml

23:47 FreeBirdLjj has quit [Ping timeout: 244 seconds]

23:48 Soni has quit [Excess Flood]

23:49 Soni has joined #ocaml

23:51 tokomak has quit [Ping timeout: 260 seconds]