#ocaml on 2019-10-05 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:04 gobears has joined #ocaml

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

00:26 ziyourenxiang_ has joined #ocaml

00:31 Haudegen has quit [Quit: Bin weg.]

01:09 AtumT has quit [Ping timeout: 265 seconds]

01:10 ravenousmoose has joined #ocaml

01:13 Haudegen has joined #ocaml

01:15 ravenousmoose has quit [Ping timeout: 276 seconds]

01:33 analogue has joined #ocaml

01:54 stux|RC has quit [Ping timeout: 245 seconds]

01:58 stux|RC has joined #ocaml

02:08 gobears has quit [Read error: Connection reset by peer]

02:09 gobears has joined #ocaml

02:18 gobears has quit [Remote host closed the connection]

02:18 gobears has joined #ocaml

02:24 gobears has quit [Remote host closed the connection]

02:25 gobears has joined #ocaml

02:27 tormen has joined #ocaml

02:30 gobears has quit [Ping timeout: 240 seconds]

02:30 tormen_ has quit [Ping timeout: 252 seconds]

02:32 ravenousmoose has joined #ocaml

02:33 mfp has quit [Ping timeout: 264 seconds]

02:37 ravenousmoose has quit [Ping timeout: 252 seconds]

02:46 analogue has quit [Quit: Leaving]

02:54 ygrek has quit [Ping timeout: 268 seconds]

03:03 ravenousmoose has joined #ocaml

03:07 ravenousmoose has quit [Ping timeout: 252 seconds]

03:13 spew has quit [Quit: Connection closed for inactivity]

03:39 gobears has joined #ocaml

04:07 kvda has joined #ocaml

04:20 gravicappa has joined #ocaml

04:23 <dckc> anybody use ocaml 4.09 in nix? merlin doesn't seem to work (to build / install, that is). wait... of course now `nix-shell -p ocamlPackages.merlin` seems to work. hm.

04:24 <dckc> I think that version is out of sync. I wonder if it matters.

04:24 <dckc> meanwhile, in opam land:

04:24 <dckc> $ opam install merlin

04:24 <dckc> The following dependencies couldn't be met:

04:24 <dckc> - merlin → ocaml < 4.09

04:27 malina has quit [Remote host closed the connection]

04:36 <dckc> $ opam install findlib

04:36 <dckc> [ERROR] No package named findlib found.

04:36 <dckc> what are the likely causes of that? ways to diagnose?

04:37 <dckc> $ opam --version

04:37 <dckc> 2.0.5

04:37 <dckc> ummm... this looks suspect:

04:37 <dckc> $ opam switch

04:37 <dckc> # switch compiler description

04:37 <dckc> system ocaml-system.4.05.0

04:37 <dckc> → 4.09.0 ocaml-base-compiler.4.09.0 4.09.0

04:40 <xvilka> dckc: for merlin you need to pin it afaik, there are some unreleased changes

04:40 <dckc> pin what? how?

04:40 <xvilka> opam pin add merlin --dev-repo

04:41 <dckc> I'm building a branch of merlin

04:41 <xvilka> ah, don't worry

04:41 <dckc> ... from source

04:41 <xvilka> it wont work, because the PR not merged yet

04:41 <dckc> any idea what's up with findlib? I would think that would work.

04:41 <xvilka> https://github.com/ocaml/merlin/pull/1031

04:41 <dckc> right, but I checked out that PR 1031

04:42 <dckc> 9c5993286c5c2f068a5efec83ad38c55b278f0c5 update magic number for 4.0

04:43 <xvilka> from what I know findlib has some problems with 4.09 too

04:43 ggole has joined #ocaml

04:43 <dckc> I guess "never trust a release with a .0 on the end" applies to 4.09. darn. some nice goodies in stdlib.

04:43 <xvilka> also see https://discuss.ocaml.org/t/improving-interoperability-between-ocaml-ocamlfind-and-dune/4479

04:44 <xvilka> dckc: yes, it didn't even built for me in the custom docker haha, though it is fixed in the 4.09 ocaml branch

04:46 <dckc> it's kinda wild that so much stuff is changing in ocaml lately; it's been around since the mid '90s! I guess the same is true of python with Pipfile and all, though.

04:47 <dckc> on top of that, my collaborators use nix, which is another moving part

04:52 <xvilka> to my taste it's better to see something moving, rather than dead

04:52 <xvilka> e.g. like SML

04:53 <dckc> sure. maybe I can convince my collaborator to hold off on 4.09 for a bit.

04:53 <xvilka> 4.09 is mostly a bugfix release

04:53 <xvilka> so not a big deal I think

04:55 <dckc> hmm... I thought stuff like the Option module was new

04:59 <xvilka> yes, this is why I said 'mostly'

04:59 <xvilka> Fun, Bool, etc

05:03 gobears has quit [Remote host closed the connection]

05:13 narimiran has joined #ocaml

05:48 _whitelogger has joined #ocaml

06:06 _whitelogger has joined #ocaml

06:24 gobears has joined #ocaml

06:28 ravenousmoose has joined #ocaml

06:32 ravenousmoose has quit [Ping timeout: 246 seconds]

06:34 gobears has quit [Ping timeout: 240 seconds]

06:43 gareppa has joined #ocaml

06:44 gareppa has quit [Remote host closed the connection]

06:46 gareppa has joined #ocaml

06:50 gareppa has quit [Remote host closed the connection]

06:56 gareppa has joined #ocaml

06:58 ravenousmoose has joined #ocaml

07:04 gareppa has quit [Remote host closed the connection]

07:05 gobears has joined #ocaml

07:10 gobears has quit [Ping timeout: 276 seconds]

07:54 gobears has joined #ocaml

08:01 gobears has quit [Remote host closed the connection]

08:01 gobears has joined #ocaml

08:26 dwdv has joined #ocaml

08:49 gobears has quit [Remote host closed the connection]

08:50 gobears has joined #ocaml

08:56 gobears has quit [Ping timeout: 276 seconds]

09:03 toppler has quit [Ping timeout: 246 seconds]

09:16 tane has joined #ocaml

09:20 gobears has joined #ocaml

09:21 toppler has joined #ocaml

09:26 toppler has quit [Ping timeout: 276 seconds]

09:28 ravenousmoose has quit [Max SendQ exceeded]

09:28 toppler has joined #ocaml

09:30 ravenousmoose has joined #ocaml

09:31 gobears has quit [Ping timeout: 276 seconds]

09:53 ravenousmoose has quit [Ping timeout: 246 seconds]

09:53 mfp has joined #ocaml

09:55 ravenousmoose has joined #ocaml

10:02 iovec has joined #ocaml

10:07 narimiran has quit [Ping timeout: 240 seconds]

10:32 toppler has quit [Ping timeout: 250 seconds]

10:36 gobears has joined #ocaml

10:40 gobears has quit [Ping timeout: 240 seconds]

10:42 toppler has joined #ocaml

10:45 weird_error has joined #ocaml

10:47 toppler has quit [Ping timeout: 240 seconds]

10:50 tane has quit [Ping timeout: 240 seconds]

10:53 ravenousmoose has quit [Read error: Connection reset by peer]

10:55 ravenousmoose has joined #ocaml

10:58 toppler has joined #ocaml

11:01 AtumT has joined #ocaml

11:02 toppler has quit [Ping timeout: 250 seconds]

11:09 cartwright has quit [Remote host closed the connection]

11:09 toppler has joined #ocaml

11:10 cartwright has joined #ocaml

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

11:24 _whitelogger has joined #ocaml

11:25 sylvain_25634 has joined #ocaml

11:25 sylvain_25634 has quit [Client Quit]

11:26 spew has joined #ocaml

11:29 toppler has joined #ocaml

11:31 sylvain_25634 has joined #ocaml

11:31 sylvain_25634 has quit [Client Quit]

11:33 toppler has quit [Ping timeout: 240 seconds]

11:37 gobears has joined #ocaml

11:42 gobears has quit [Ping timeout: 245 seconds]

11:44 toppler has joined #ocaml

11:46 jnavila has joined #ocaml

11:49 toppler has quit [Ping timeout: 268 seconds]

12:01 toppler has joined #ocaml

12:07 toppler has quit [Ping timeout: 276 seconds]

12:09 cartwright has quit [Remote host closed the connection]

12:10 cartwright has joined #ocaml

12:12 keep_learning has quit [Remote host closed the connection]

12:18 tane has joined #ocaml

12:20 toppler has joined #ocaml

12:24 toppler has quit [Ping timeout: 240 seconds]

12:34 gobears has joined #ocaml

12:38 toppler has joined #ocaml

12:38 gobears has quit [Ping timeout: 246 seconds]

12:43 toppler has quit [Ping timeout: 240 seconds]

12:45 FreeBirdLjj has joined #ocaml

12:51 toppler has joined #ocaml

12:55 pzp has quit [Quit: Connection closed for inactivity]

12:56 toppler has quit [Ping timeout: 265 seconds]

13:00 ravenous_ has joined #ocaml

13:02 ravenousmoose has quit [Ping timeout: 246 seconds]

13:06 toppler has joined #ocaml

13:09 gobears has joined #ocaml

13:10 toppler has quit [Ping timeout: 240 seconds]

13:12 FreeBirdLjj has quit [Ping timeout: 268 seconds]

13:14 FreeBirdLjj has joined #ocaml

13:14 gobears has quit [Ping timeout: 265 seconds]

13:21 toppler has joined #ocaml

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

13:26 toppler has quit [Ping timeout: 276 seconds]

13:33 _whitelogger has joined #ocaml

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

13:35 jnavila has quit [Ping timeout: 246 seconds]

13:38 FreeBirdLjj has joined #ocaml

13:41 toppler has joined #ocaml

13:45 toppler has quit [Ping timeout: 240 seconds]

13:49 gareppa has joined #ocaml

13:52 gobears has joined #ocaml

13:58 FreeBirdLjj has quit [Ping timeout: 265 seconds]

13:58 toppler has joined #ocaml

13:59 gobears has quit [Ping timeout: 245 seconds]

14:03 toppler has quit [Ping timeout: 265 seconds]

14:15 toppler has joined #ocaml

14:19 toppler has quit [Remote host closed the connection]

14:19 toppler has joined #ocaml

14:31 gobears has joined #ocaml

14:33 ygrek has joined #ocaml

14:35 gobears has quit [Ping timeout: 240 seconds]

14:43 gobears has joined #ocaml

14:48 gobears has quit [Ping timeout: 245 seconds]

14:49 ygrek has quit [Ping timeout: 265 seconds]

14:53 gareppa has quit [Quit: Leaving]

15:04 spew has quit [Quit: Connection closed for inactivity]

15:14 gareppa has joined #ocaml

15:16 gobears has joined #ocaml

15:24 gobears has quit [Ping timeout: 265 seconds]

15:30 ygrek has joined #ocaml

15:47 vicfred has joined #ocaml

15:48 toppler has quit [Ping timeout: 240 seconds]

15:58 stux|RC has quit [Quit: Aloha!]

15:58 stux|RC has joined #ocaml

16:04 toppler has joined #ocaml

16:06 gobears has joined #ocaml

16:09 toppler has quit [Ping timeout: 276 seconds]

16:11 stux|RC-only has quit [Quit: Aloha!]

16:12 stux|RC-only has joined #ocaml

16:19 gobears has quit [Ping timeout: 276 seconds]

16:24 toppler has joined #ocaml

16:25 jnavila has joined #ocaml

16:29 toppler has quit [Ping timeout: 265 seconds]

16:33 gobears has joined #ocaml

16:41 toppler has joined #ocaml

16:45 toppler has quit [Ping timeout: 250 seconds]

16:53 zolk3ri has joined #ocaml

16:54 toppler has joined #ocaml

16:58 toppler has quit [Ping timeout: 264 seconds]

17:00 gareppa has quit [Quit: Leaving]

17:04 ziyourenxiang_ has quit [Ping timeout: 252 seconds]

17:09 toppler has joined #ocaml

17:09 weird_error has quit [Quit: weird_error]

17:13 toppler has quit [Ping timeout: 240 seconds]

17:14 vicfred has quit [Quit: Leaving]

17:26 toppler has joined #ocaml

17:29 Haudegen has quit [Quit: Bin weg.]

17:30 toppler has quit [Ping timeout: 240 seconds]

17:41 toppler has joined #ocaml

17:45 toppler has quit [Ping timeout: 240 seconds]

17:47 narimiran has joined #ocaml

17:49 weird_error has joined #ocaml

17:51 vicfred has joined #ocaml

17:55 kakadu has joined #ocaml

17:56 malina has joined #ocaml

18:00 vicfred has quit [Quit: Leaving]

18:02 gobears has quit [Remote host closed the connection]

18:04 toppler has joined #ocaml

18:09 toppler has quit [Ping timeout: 265 seconds]

18:21 toppler has joined #ocaml

18:26 toppler has quit [Ping timeout: 265 seconds]

18:30 toppler has joined #ocaml

18:46 traviss has quit [Quit: Leaving]

18:47 traviss has joined #ocaml

18:57 gobears has joined #ocaml

19:02 gobears has quit [Ping timeout: 268 seconds]

19:06 gareppa has joined #ocaml

19:15 ggole has quit [Quit: Leaving]

19:25 gareppa has quit [Quit: Leaving]

19:26 SpiceGuid has joined #ocaml

19:53 Jesin has quit [Quit: Leaving]

19:59 gravicappa has quit [Ping timeout: 276 seconds]

20:05 ygrek has quit [Ping timeout: 268 seconds]

20:07 Jeanne-Kamikaze has joined #ocaml

20:11 narimiran has quit [Remote host closed the connection]

20:37 gareppa has joined #ocaml

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

20:53 weird_error has quit [Quit: weird_error]

20:53 gareppa has quit [Quit: Leaving]

20:55 weird_error has joined #ocaml

20:58 Jesin has joined #ocaml

21:00 gareppa has joined #ocaml

21:05 gareppa has quit [Remote host closed the connection]

21:07 tane has quit [Ping timeout: 240 seconds]

21:09 Jeanne-Kamikaze has quit [Quit: Leaving]

21:10 unyu has quit [Ping timeout: 276 seconds]

21:18 malina has quit [Remote host closed the connection]

21:51 ygrek has joined #ocaml

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

21:54 tane has joined #ocaml

21:58 SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]

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

22:28 ygrek has joined #ocaml

22:31 iovec has quit [Quit: Connection closed for inactivity]

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

23:16 ziyourenxiang_ has joined #ocaml

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

23:23 tane has quit [Quit: Leaving]

23:23 AtumT has joined #ocaml

23:37 AtumT has quit [Read error: Connection reset by peer]

23:37 AtumT_ has joined #ocaml

23:46 weird_error has quit [Quit: weird_error]

23:58 malina has joined #ocaml