#ocaml on 2018-04-05 — 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:16 infinity0_ has joined #ocaml

00:17 infinity0_ has quit [Changing host]

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

00:17 infinity0 has joined #ocaml

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

00:35 shinnya has quit [Ping timeout: 265 seconds]

00:42 zolk3ri_ has joined #ocaml

00:44 ousado has joined #ocaml

00:46 aegray has joined #ocaml

00:46 eagleflo has joined #ocaml

00:46 adrien_ has joined #ocaml

00:46 mikeyhc_ has joined #ocaml

00:46 artart78_ has joined #ocaml

00:46 cross_ has joined #ocaml

00:46 lix_ has joined #ocaml

00:49 octachron_ has joined #ocaml

00:49 TallerGhostWalt has joined #ocaml

00:49 dx- has joined #ocaml

00:49 tsani has joined #ocaml

00:50 dx has quit [Disconnected by services]

00:50 dx- is now known as dx

00:51 tsani_ has quit [*.net *.split]

00:51 TallerGh- has quit [*.net *.split]

00:51 aegray_ has quit [*.net *.split]

00:51 ousado_ has quit [*.net *.split]

00:51 zolk3ri has quit [*.net *.split]

00:51 ziyourenxiang has quit [*.net *.split]

00:51 Soni has quit [*.net *.split]

00:51 eagleflo_ has quit [*.net *.split]

00:51 cross has quit [*.net *.split]

00:51 lix has quit [*.net *.split]

00:51 qbitor has quit [*.net *.split]

00:51 octachron has quit [*.net *.split]

00:51 artart78 has quit [*.net *.split]

00:51 mikeyhc has quit [*.net *.split]

00:51 adrien has quit [*.net *.split]

00:54 zolk3ri_ has quit [Remote host closed the connection]

00:56 Soni has joined #ocaml

00:57 Soni has quit [Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number]

00:57 ziyourenxiang has joined #ocaml

00:57 Soni has joined #ocaml

00:58 Soni has quit [Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number]

00:58 Soni has joined #ocaml

00:58 qbitor has joined #ocaml

01:08 opios has joined #ocaml

01:08 opios has quit [Excess Flood]

01:08 opios has joined #ocaml

01:08 opios has quit [Changing host]

01:08 opios has joined #ocaml

01:09 opios has joined #ocaml

01:09 opios has quit [Changing host]

01:09 opios has joined #ocaml

01:12 spew has joined #ocaml

01:14 hdon has quit [Ping timeout: 255 seconds]

01:24 Soni has quit [Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number]

01:25 Soni has joined #ocaml

01:29 Soni has quit [Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number]

01:29 Soni has joined #ocaml

01:36 ousado has quit [Remote host closed the connection]

01:38 isd has quit [Ping timeout: 265 seconds]

01:40 ousado has joined #ocaml

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

02:04 Soni has quit [Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number]

02:04 Soni has joined #ocaml

02:09 muelleme has joined #ocaml

02:12 Soni has quit [Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number]

02:12 Soni has joined #ocaml

02:13 Soni has quit [Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number]

02:13 Soni has joined #ocaml

02:14 muelleme has quit [Ping timeout: 246 seconds]

02:14 Soni has quit [Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number]

02:14 Soni has joined #ocaml

02:32 kino has quit [Quit: WeeChat 2.1]

02:38 tormen_ has joined #ocaml

02:41 tormen has quit [Ping timeout: 255 seconds]

02:44 spew has quit [Ping timeout: 276 seconds]

02:48 Soni has quit [Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number]

02:49 Soni has joined #ocaml

02:51 Soni has quit [Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number]

02:51 Soni has joined #ocaml

02:53 iitalics has joined #ocaml

02:53 <iitalics> man qtest feels super buggy at times

02:53 letoh_ has joined #ocaml

02:53 <iitalics> im going to end up spending hours yak shaving, this is very annoying

02:54 Soni has quit [Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number]

02:54 Soni has joined #ocaml

02:56 letoh has quit [Ping timeout: 256 seconds]

02:58 zmt00 has joined #ocaml

02:59 Soni has quit [Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number]

03:00 Soni has joined #ocaml

03:05 pierpa_ has quit [Quit: Page closed]

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

03:13 Soni has joined #ocaml

03:23 isd has joined #ocaml

03:26 FreeBirdLjj has quit [Ping timeout: 256 seconds]

03:32 FreeBirdLjj has joined #ocaml

03:49 FreeBirdLjj has quit [Read error: Connection timed out]

03:57 FreeBirdLjj has joined #ocaml

04:02 hdon has joined #ocaml

04:10 FreeBirdLjj has quit [Ping timeout: 240 seconds]

04:15 FreeBirdLjj has joined #ocaml

04:19 FreeBirdLjj has quit [Ping timeout: 265 seconds]

04:21 mbuf has joined #ocaml

04:23 moolc has joined #ocaml

04:27 jimmyrcom has joined #ocaml

04:29 xuanrui has quit [Quit: Leaving]

04:31 kark has joined #ocaml

04:33 snhmib has quit [Read error: Connection reset by peer]

04:36 FreeBirdLjj has joined #ocaml

04:43 zmt00 has quit [Read error: Connection reset by peer]

04:43 zmt00 has joined #ocaml

04:50 FreeBirdLjj has quit [Ping timeout: 276 seconds]

04:52 MercurialAlchemi has joined #ocaml

04:53 FreeBirdLjj has joined #ocaml

05:00 nicoo has quit [Read error: Connection reset by peer]

05:01 nicoo has joined #ocaml

05:07 govg has joined #ocaml

05:08 hdon has quit [Ping timeout: 256 seconds]

05:18 pierpa has quit [Ping timeout: 260 seconds]

05:18 moolc has quit [Quit: ERC (IRC client for Emacs 27.0.50)]

05:28 FreeBirdLjj has quit [Ping timeout: 264 seconds]

05:32 FreeBirdLjj has joined #ocaml

05:33 hdon has joined #ocaml

05:42 hdon has quit [Ping timeout: 256 seconds]

05:43 isd has quit [Quit: Leaving.]

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

06:02 FreeBirdLjj has joined #ocaml

06:07 cbot has quit [Quit: Leaving]

06:36 iitalics has quit [Ping timeout: 264 seconds]

06:44 adrien_ is now known as adrien

06:47 muelleme has joined #ocaml

06:52 muelleme has quit [Ping timeout: 265 seconds]

07:13 Onemorenickname has joined #ocaml

07:17 govg has quit [Ping timeout: 276 seconds]

07:19 govg has joined #ocaml

07:21 Haudegen has joined #ocaml

07:26 letoh_ is now known as letoh

07:27 mk9 has joined #ocaml

07:37 groovy2shoes has quit [Quit: moritura te salutat]

07:37 hdon has joined #ocaml

07:40 muelleme has joined #ocaml

07:42 hdon has quit [Ping timeout: 268 seconds]

07:44 bairui has quit [Ping timeout: 255 seconds]

07:44 bairui has joined #ocaml

07:44 groovy2shoes has joined #ocaml

07:44 mk9 has quit [Quit: mk9]

07:47 dhil has joined #ocaml

07:58 ousado has quit [Remote host closed the connection]

08:01 ousado has joined #ocaml

08:06 muelleme has quit [Ping timeout: 256 seconds]

08:09 SegFaultAX has quit [Ping timeout: 256 seconds]

08:10 Bluddy[m] has quit [Ping timeout: 248 seconds]

08:11 orbifx[m] has quit [Ping timeout: 248 seconds]

08:11 equalunique[m] has quit [Ping timeout: 248 seconds]

08:11 aantron has quit [Ping timeout: 248 seconds]

08:11 MercurialAlchemi has quit [Ping timeout: 264 seconds]

08:11 cthuluh has quit [Ping timeout: 264 seconds]

08:12 opios has quit [Ping timeout: 265 seconds]

08:12 cross_ has quit [Ping timeout: 240 seconds]

08:12 cow-orker has quit [Ping timeout: 264 seconds]

08:12 gargawel_ has quit [Ping timeout: 264 seconds]

08:13 MercurialAlchemi has joined #ocaml

08:13 cthuluh has joined #ocaml

08:13 xa0 has quit [Ping timeout: 276 seconds]

08:13 gargawel has joined #ocaml

08:13 Chobbes has quit [Ping timeout: 276 seconds]

08:13 cow-orker has joined #ocaml

08:13 SegFaultAX has joined #ocaml

08:15 xa0 has joined #ocaml

08:17 opios has joined #ocaml

08:17 opios has quit [Changing host]

08:17 opios has joined #ocaml

08:19 konrad_ has joined #ocaml

08:20 konrad_ is now known as kmerz

08:22 equalunique[m] has joined #ocaml

08:23 Bluddy[m] has joined #ocaml

08:24 aantron has joined #ocaml

08:25 cross has joined #ocaml

08:26 M-ErkkiSeppl has quit [Ping timeout: 245 seconds]

08:26 drsmkl[m] has quit [Ping timeout: 245 seconds]

08:26 ansiwen has quit [Ping timeout: 245 seconds]

08:26 caseypme[m] has quit [Ping timeout: 245 seconds]

08:26 regnat[m] has quit [Ping timeout: 245 seconds]

08:26 xa0 has quit [Ping timeout: 276 seconds]

08:26 copy` has quit [Ping timeout: 260 seconds]

08:27 opios has quit [Ping timeout: 255 seconds]

08:27 srenatus has quit [Ping timeout: 260 seconds]

08:27 rbocquet has quit [Ping timeout: 276 seconds]

08:28 cow-orker has quit [Remote host closed the connection]

08:29 cow-orker has joined #ocaml

08:29 FreeBirdLjj has quit [Remote host closed the connection]

08:30 srenatus has joined #ocaml

08:31 copy` has joined #ocaml

08:31 caseypme[m] has joined #ocaml

08:32 opios has joined #ocaml

08:33 M-ErkkiSeppl has joined #ocaml

08:34 FreeBirdLjj has joined #ocaml

08:34 orbifx[m] has joined #ocaml

08:34 rbocquet has joined #ocaml

08:35 xa0 has joined #ocaml

08:35 regnat[m] has joined #ocaml

08:35 ansiwen has joined #ocaml

08:36 drsmkl[m] has joined #ocaml

08:40 Chobbes has joined #ocaml

08:44 argent_smith has joined #ocaml

08:46 tarptaeya has joined #ocaml

08:48 FreeBirdLjj has quit [Ping timeout: 276 seconds]

08:55 FreeBirdLjj has joined #ocaml

09:01 mfp has joined #ocaml

09:07 pierpa_ has joined #ocaml

09:08 moolc has joined #ocaml

09:13 FreeBirdLjj has quit [Ping timeout: 245 seconds]

09:15 argent_smith has quit [Quit: Leaving.]

09:17 FreeBirdLjj has joined #ocaml

09:21 FreeBirdLjj has quit [Ping timeout: 260 seconds]

09:31 artart78_ is now known as artart78

09:38 argent_smith has joined #ocaml

09:40 Haudegen has quit [Ping timeout: 276 seconds]

09:42 pierpa_ is now known as pierpa

09:46 Guest86741 has joined #ocaml

09:47 Guest86741 has quit [Read error: Connection reset by peer]

09:51 FreeBirdLjj has joined #ocaml

10:08 kakadu_ has joined #ocaml

10:13 mk9 has joined #ocaml

10:14 mk9 has quit [Client Quit]

10:26 jao has joined #ocaml

10:35 FreeBirdLjj has quit [Remote host closed the connection]

10:35 FreeBirdLjj has joined #ocaml

10:37 hdon has joined #ocaml

10:40 dogui has quit [Ping timeout: 256 seconds]

10:41 zolk3ri has joined #ocaml

10:41 hdon has quit [Ping timeout: 240 seconds]

10:41 dogui has joined #ocaml

10:45 jao has quit [Ping timeout: 264 seconds]

11:09 jao has joined #ocaml

11:10 spew has joined #ocaml

11:16 pierpa has quit [Ping timeout: 260 seconds]

11:21 cthuluh has quit [Quit: leaving]

11:21 cthuluh has joined #ocaml

11:36 gtrak_1 has joined #ocaml

11:40 neubyi has quit [Remote host closed the connection]

11:48 mbuf has quit [Quit: Leaving]

11:52 jao has quit [Ping timeout: 260 seconds]

11:56 spew has quit [Quit: Leaving]

11:58 jimmyrcom has quit [Ping timeout: 240 seconds]

12:00 pierpa has joined #ocaml

12:10 inr has quit [Quit: WeeChat 2.0.1]

12:13 sh0t has joined #ocaml

12:14 huglovefan has joined #ocaml

12:14 sepp2k has joined #ocaml

12:15 inr has joined #ocaml

12:16 ygrek has joined #ocaml

12:18 dhil has quit [Ping timeout: 240 seconds]

12:26 al-damiri has joined #ocaml

12:31 remix2000[m] has joined #ocaml

12:36 spew has joined #ocaml

13:00 shinnya has joined #ocaml

13:00 _andre has joined #ocaml

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

13:12 raduom has joined #ocaml

13:12 chindy_ has quit [Quit: No Ping reply in 180 seconds.]

13:12 raduom has quit [Client Quit]

13:13 raduom has joined #ocaml

13:14 SomeName has joined #ocaml

13:34 andreas__ has joined #ocaml

13:41 jao has joined #ocaml

14:01 SomeName has quit [Quit: No Ping reply in 180 seconds.]

14:02 chindy has joined #ocaml

14:04 muelleme has joined #ocaml

14:05 MercurialAlchemi has quit [Ping timeout: 255 seconds]

14:08 sh0t has joined #ocaml

14:12 dhil has joined #ocaml

14:30 muelleme has quit [Ping timeout: 260 seconds]

14:33 mfp has quit [Ping timeout: 240 seconds]

15:05 muelleme has joined #ocaml

15:13 shinnya has quit [Ping timeout: 265 seconds]

15:32 muelleme has quit [Ping timeout: 264 seconds]

15:35 freusque has joined #ocaml

15:44 govg has quit [Ping timeout: 265 seconds]

15:45 govg has joined #ocaml

15:51 dhil has quit [Ping timeout: 264 seconds]

16:02 j0sh has quit [Ping timeout: 264 seconds]

16:02 j0sh has joined #ocaml

16:04 <Cale> Can anyone think of a reason that ocamlfind list might find a bunch of libraries that jbuilder installed-libraries does not? Everything I've seen appears to indicate that the lists of libraries ought to be the same, but that's not happening for me...

16:04 <Cale> The documentation says that it ought to be using the result of ocamlfind printconf path to get search paths

16:05 <Cale> and indeed, a library which is missing exists under one of those search paths

16:07 <Cale> In particular, I have /nix/store/ynhb5j2y0kl0m8gqlh45yaxsz9lmldhr-result-1.3/lib among the lines produced by ocamlfind printconf path and that directory contains a directory named 'result' which in turn contains a bunch of files: META, opam, result.{a,cma,cmi,cmt,cmx,cmxa,cmxs,dune,ml}

16:07 dhil has joined #ocaml

16:08 mfp has joined #ocaml

16:08 <Cale> and yet jbuilder (1.0+beta19) doesn't seem to find the result library

16:08 raduom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:09 Jesin has joined #ocaml

16:16 ygrek has quit [Remote host closed the connection]

16:16 ygrek has joined #ocaml

16:18 freusque has quit [Quit: WeeChat 2.0]

16:24 Jesin has quit [Quit: Leaving]

16:32 Jesin has joined #ocaml

16:38 hdon has joined #ocaml

16:40 jao has quit [Ping timeout: 256 seconds]

16:42 hdon has quit [Ping timeout: 265 seconds]

16:51 raduom has joined #ocaml

17:02 <smondet[m]> Cale: not sure, but I think dune tries to figure out ocamlfind's search paths at build time, so maybe your Nix-based installation of result changes the config "too late"

17:03 <Cale> ohhh...

17:03 <smondet[m]> Sorry Cale I meant Path ^

17:04 <Cale> So I need to build jbuilder/dune only after installing all other packages then... hmm

17:05 <smondet[m]> My advice would be to use opam and if possible avoid nix for ocaml libraries

17:08 letoh has quit [Ping timeout: 265 seconds]

17:11 hdon has joined #ocaml

17:12 ia0 has quit [Quit: reboot]

17:12 <Cale> Yeah, well, one point of what I'm doing right now is to try to improve the support for ocaml in nix (specifically working off of Tim Bertson's opam2nix stuff, and expanding it to be able to build multiple non-repository opam libraries at once).

17:14 ia0 has joined #ocaml

17:15 <Cale> There's a particular project (tezos) whose build system uses jbuilder and opam which the company I work for is working on, but we had a lot of trouble getting the installation to run consistently in different environments (its build script sets a lot of pins, but on some machines, various pins will fail during the build script, but can be set manually beforehand for some reason, it's all quite fiddly). We've used nix a

17:15 <Cale> bunch in the past to try to solve such issues, so we're trying that approach to reproducibility.

17:16 <smondet[m]> Oh cool

17:17 <smondet[m]> you should definitely submit an issue on jbuilder/dune, the ocamlfind search path should be able to be dynamic, and if they don't, they're breaking the "model"

17:19 <Cale> Sounds good

17:32 raduom has quit [Ping timeout: 268 seconds]

17:34 moolc has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]

17:35 huglovefan has quit [Quit: huglovefan]

17:43 GreyFaceNoSpace has joined #ocaml

17:45 talyian[m] has joined #ocaml

17:45 slash^ has joined #ocaml

17:49 kolko has joined #ocaml

17:51 ygrek has quit [Ping timeout: 265 seconds]

17:52 Haudegen has joined #ocaml

18:02 mk9 has joined #ocaml

18:11 pierpa_ has joined #ocaml

18:14 mk9 has quit [Quit: mk9]

18:24 letoh has joined #ocaml

18:25 jao has joined #ocaml

18:36 bartholin has quit [Read error: Connection reset by peer]

18:37 bartholin has joined #ocaml

18:44 Jesin has quit [Quit: Leaving]

18:48 jao has quit [Disconnected by services]

18:48 jao has joined #ocaml

18:49 jrslepak has quit [Quit: Lost terminal]

18:49 kolko has quit [Ping timeout: 260 seconds]

18:51 kolko has joined #ocaml

18:52 jao has quit [Disconnected by services]

18:53 jao has joined #ocaml

18:54 <companion_cube> errrrr, why isn't the standard queue double-ended??

18:54 <companion_cube> looks like it would be super easy to make it double-ended

18:58 jao has quit [Remote host closed the connection]

18:59 jao has joined #ocaml

19:15 MercurialAlchemi has joined #ocaml

19:15 slash^ has quit [Read error: Connection reset by peer]

19:17 jrslepak has joined #ocaml

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

19:19 bartholin_ has joined #ocaml

19:25 GreyFaceNoSpace has quit [Quit: Ex-Chat]

19:28 sh0t has quit [Remote host closed the connection]

19:28 sh0t has joined #ocaml

19:29 letoh has quit [Ping timeout: 268 seconds]

19:32 gpietro has joined #ocaml

19:33 sh0t has quit [Ping timeout: 276 seconds]

19:39 gpietro has quit [Ping timeout: 264 seconds]

19:40 gpietro has joined #ocaml

19:44 kakadu has joined #ocaml

19:46 gpietro has quit [Remote host closed the connection]

19:48 sh0t has joined #ocaml

19:53 jao has quit [Ping timeout: 256 seconds]

19:58 sepp2k has quit [Quit: Leaving.]

19:59 dhil has quit [Remote host closed the connection]

20:03 letoh has joined #ocaml

20:03 sh0t has quit [Ping timeout: 260 seconds]

20:05 on_ion has quit [Read error: No route to host]

20:07 MercurialAlchemi has quit [Ping timeout: 276 seconds]

20:09 nicoo has quit [Remote host closed the connection]

20:11 sh0t has joined #ocaml

20:12 nicoo has joined #ocaml

20:13 gtrak_1 has quit [Ping timeout: 260 seconds]

20:15 gtrak_1 has joined #ocaml

20:16 zolk3ri has quit [Remote host closed the connection]

20:19 malina has joined #ocaml

20:33 pierpa has quit [Ping timeout: 260 seconds]

20:41 sh0t has quit [Ping timeout: 276 seconds]

20:44 argent_smith1 has joined #ocaml

20:46 sh0t has joined #ocaml

20:47 argent_smith has quit [Ping timeout: 260 seconds]

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

20:56 mfp has joined #ocaml

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

21:04 _andre has quit [Quit: leaving]

21:05 bjorkint0sh has joined #ocaml

21:06 al-damiri has quit [Quit: Connection closed for inactivity]

21:21 gtrak_1 has quit [Ping timeout: 276 seconds]

21:22 gtrak_1 has joined #ocaml

21:44 tarptaeya has quit [Quit: Byeeeeeee!]

22:00 andreas__ has quit [Quit: Connection closed for inactivity]

22:03 bartholin_ has quit [Read error: Connection reset by peer]

22:15 shinnya has joined #ocaml

22:32 spew has quit [Quit: Connection closed for inactivity]

22:51 bjorkint0sh has left #ocaml ["Leaving"]

22:59 isd has joined #ocaml

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

23:24 sh0t has quit [Remote host closed the connection]

23:25 isd has quit [Ping timeout: 265 seconds]

23:38 isd has joined #ocaml

23:40 cbot has joined #ocaml

23:49 FreeBirdLjj has quit [Remote host closed the connection]