#ocaml on 2019-08-24 — 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

01:17 Hrundi_V_Bakshi has quit [Ping timeout: 245 seconds]

01:22 Haudegen has quit [Ping timeout: 246 seconds]

01:49 AtumT has quit [Quit: AtumT]

02:08 tormen has joined #ocaml

02:12 tormen_ has quit [Ping timeout: 248 seconds]

03:17 Redfoxmoon has quit [Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in]

03:17 mfp has quit [Ping timeout: 246 seconds]

04:09 jao has quit [Ping timeout: 268 seconds]

04:39 gravicappa has joined #ocaml

04:41 assemblyman has joined #ocaml

04:42 bitwinery has joined #ocaml

05:02 assemblyman has quit [Quit: ™]

05:04 ggole has joined #ocaml

05:17 crowley95 has quit [Quit: Bye bye ✋]

05:18 crowley95 has joined #ocaml

05:23 pyan has quit [Quit: pyooon~]

05:37 Redfoxmoon has joined #ocaml

05:51 Redfoxmoon has quit [Ping timeout: 244 seconds]

05:53 narimiran has joined #ocaml

05:53 Redfoxmoon has joined #ocaml

06:13 Redfoxmoon has quit [Ping timeout: 248 seconds]

06:14 Redfoxmoon has joined #ocaml

06:27 kakadu has joined #ocaml

06:29 pyan has joined #ocaml

06:39 Redfoxmoon has quit [Ping timeout: 245 seconds]

06:40 Redfoxmoon has joined #ocaml

06:55 narimiran has quit [Remote host closed the connection]

07:20 Redfoxmoon has quit [Ping timeout: 245 seconds]

07:21 ravenous_ has joined #ocaml

07:23 Redfoxmoon has joined #ocaml

07:30 ocabot has quit [Ping timeout: 245 seconds]

07:32 ocabot has joined #ocaml

07:36 Redfoxmoon has quit [Ping timeout: 246 seconds]

07:38 Redfoxmoon has joined #ocaml

07:57 Redfoxmoon has quit [Ping timeout: 245 seconds]

07:59 Redfoxmoon has joined #ocaml

08:12 Redfoxmoon has quit [Ping timeout: 246 seconds]

08:15 Redfoxmoon has joined #ocaml

08:15 sonologico has joined #ocaml

08:21 Redfoxmoon has quit [Ping timeout: 272 seconds]

08:22 Redfoxmoon has joined #ocaml

08:24 kakadu has quit [Ping timeout: 244 seconds]

08:27 Redfoxmoon has quit [Ping timeout: 245 seconds]

08:27 Redfoxmoon has joined #ocaml

08:30 kakadu_ has joined #ocaml

08:33 Redfoxmoon has quit [Ping timeout: 272 seconds]

08:34 silver has joined #ocaml

08:34 kakadu_ has quit [Ping timeout: 258 seconds]

08:35 silver has quit [Client Quit]

08:36 bitwinery has quit [Quit: Leaving]

08:37 Redfoxmoon has joined #ocaml

08:42 kakadu has joined #ocaml

08:42 Redfoxmoon has quit [Ping timeout: 258 seconds]

08:45 Redfoxmoon has joined #ocaml

08:45 zolk3ri has joined #ocaml

08:52 Redfoxmoon has quit [Ping timeout: 244 seconds]

08:52 Redfoxmoon has joined #ocaml

09:00 Redfoxmoon has quit [Ping timeout: 272 seconds]

09:01 Redfoxmoon has joined #ocaml

09:06 vicfred has quit [Quit: Leaving]

09:14 Redfoxmoon has quit [Ping timeout: 272 seconds]

09:17 Redfoxmoon has joined #ocaml

09:26 Redfoxmoon has quit [Ping timeout: 245 seconds]

09:28 Haudegen has joined #ocaml

09:30 Redfoxmoon has joined #ocaml

09:32 mfp has joined #ocaml

09:33 Redfoxmoon has quit [Changing host]

09:33 Redfoxmoon has joined #ocaml

10:13 zolk3ri has quit [Remote host closed the connection]

10:15 ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:20 AtumT has joined #ocaml

10:29 klntsky has quit [Ping timeout: 260 seconds]

10:30 klntsky has joined #ocaml

10:35 ravenous_ has joined #ocaml

10:37 ravenou__ has joined #ocaml

10:40 ravenous_ has quit [Ping timeout: 252 seconds]

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

11:18 cantstanya has joined #ocaml

11:19 zolk3ri has joined #ocaml

11:45 godo has joined #ocaml

11:47 <godo> confused about 4.08.1 ... does that exist? did it get pulled or are all refs to it just b0rked website updates?

11:54 <Armael> yes it's in opam

11:55 <Armael> the website appears to be a bit broken

11:55 <godo> opam errors out on me if i try to install it too.

11:56 <godo> (my guess is someone did s/4.07/4.08/ instead of s/4.07.1/4.08.0/ ...)

11:57 klntsky has quit [Remote host closed the connection]

11:58 klntsky has joined #ocaml

12:03 <Armael> hum I do have an opam switch with 4.08.1 installed in it

12:03 <Armael> so I'm not sure what's going on

12:03 <Armael> in your case

12:05 <godo> [ERROR] The sources of the following couldn't be obtained, aborting: - ocaml-base-compiler.4.08.1: Download command failed

12:05 <godo> which seems to match the "anything 4.08.1 on the website is 404"

12:05 <Armael> which website?

12:05 <godo> ocaml.org

12:07 <Armael> https://github.com/ocaml/ocaml/archive/4.08.1.tar.gz works for me

12:07 <Armael> that's the source url in ocaml-base-compiler.4.08.1

12:08 <godo> interesting. switch install tries a different url here:

12:08 <godo> 00:01.469 CURL Could not download file at https://github.com/ocaml/ocaml/archive/4.08.1.tar.gz.

12:09 <godo> (aeh, switch create)

12:09 <Armael> mmm it's the same url?

12:10 <godo> huh.

12:10 <godo> yes, it is. not sure what i eyeballed two mins ago. X)

12:10 <godo> if i wget it, it works too ...

12:23 nicoo has quit [Remote host closed the connection]

12:24 nicoo has joined #ocaml

12:30 jao has joined #ocaml

12:56 ravenou__ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

13:00 jao has quit [Ping timeout: 268 seconds]

13:03 FreeBirdLjj has joined #ocaml

13:11 <Armael> dmbaturin: wrt your blog post on parser errors, I think you can specify to dune the dependencies of a rule

13:12 <Armael> with (deps ...)

13:12 <dmbaturin> Armael: Oh. Interesting, let me try it.

13:13 <Armael> https://gitlab.inria.fr/agueneau/incremental-cycles/blob/master/export/dune#L5 I did something similar here

13:14 <dmbaturin> (To be fair, Dune's manual makes it very easy to miss things)

13:14 <dmbaturin> Yeah, it seems to work.

13:14 <Armael> (and you can use %{targets} and %{deps} to avoid copy pasting)

13:16 <dmbaturin> Thanks for the pointers!

13:17 <dmbaturin> I still think menhir should just be able to save those to files, and the patch for it is likely trivial so I should perhaps work on it.

13:18 <Armael> idk, it would complicate the command line

13:18 <Armael> but I have no strong opinion either way

13:19 <dmbaturin> Why? Just -o option.

13:23 gareppa has joined #ocaml

13:26 gareppa has quit [Remote host closed the connection]

13:28 andreas303 has quit [Remote host closed the connection]

13:31 andreas303 has joined #ocaml

13:32 <dmbaturin> Armael: I also still wonder how do I actually use --compare-errors

13:38 ohama has quit [Read error: Connection reset by peer]

13:39 ohama has joined #ocaml

13:52 ravenous_ has joined #ocaml

13:55 jao has joined #ocaml

13:55 jao is now known as Guest61468

13:56 Guest61468 has quit [Remote host closed the connection]

13:57 jao- has joined #ocaml

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

14:09 zolk3ri has joined #ocaml

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

14:52 ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:08 hannes has joined #ocaml

15:18 pmetzger has joined #ocaml

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

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

15:30 Redfoxmoon has joined #ocaml

15:33 Redfoxmoon has quit [Changing host]

15:33 Redfoxmoon has joined #ocaml

15:37 jnavila has joined #ocaml

15:55 Hrundi_V_Bakshi has joined #ocaml

15:57 gareppa has joined #ocaml

16:00 pmetzger has quit []

16:03 jao- has quit [Ping timeout: 245 seconds]

16:07 gareppa has quit [Quit: Leaving]

16:27 jnavila has quit [Ping timeout: 246 seconds]

16:30 tane has joined #ocaml

16:33 narimiran has joined #ocaml

16:40 ziyourenxiang has quit [Ping timeout: 272 seconds]

16:49 chambart has joined #ocaml

17:18 jnavila has joined #ocaml

17:46 cbarrett_ has quit []

17:46 cbarrett has joined #ocaml

17:58 jao has joined #ocaml

18:05 pyan has quit [Quit: pyun~]

18:09 chambart has quit [Ping timeout: 244 seconds]

18:27 bitwinery has joined #ocaml

18:29 sonologico has quit [Remote host closed the connection]

18:30 sonologico has joined #ocaml

18:37 chambart has joined #ocaml

18:45 zolk3ri has quit [Remote host closed the connection]

18:50 chambart has quit [Ping timeout: 245 seconds]

18:50 zolk3ri has joined #ocaml

19:02 jnavila has quit [Ping timeout: 246 seconds]

19:06 gravicappa has quit [Ping timeout: 246 seconds]

19:40 sunil has quit [Ping timeout: 276 seconds]

19:42 sunil has joined #ocaml

20:01 ygrek has joined #ocaml

20:14 zolk3ri has quit [Quit: Lost terminal]

20:15 Redfoxmoon has quit [Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in]

20:25 jnavila has joined #ocaml

20:26 andreas303 has quit [Remote host closed the connection]

20:27 ygrek has quit [Ping timeout: 245 seconds]

20:27 malina has joined #ocaml

20:29 andreas303 has joined #ocaml

20:32 narimiran has quit [Ping timeout: 246 seconds]

20:36 ggole has quit [Quit: Leaving]

20:38 bitwinery has quit [Quit: Leaving]

20:40 malina has quit [Remote host closed the connection]

21:03 tane has quit [Quit: Leaving]

21:18 tg has quit [Ping timeout: 245 seconds]

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

21:24 tg has joined #ocaml

21:41 kakadu has quit [Remote host closed the connection]

22:28 chambart has joined #ocaml

22:32 malina has joined #ocaml

22:34 zolk3ri has joined #ocaml

22:41 chambart has quit [Quit: Quitte]

22:58 ziyourenxiang has joined #ocaml

23:08 zolk3ri has quit [Remote host closed the connection]

23:36 _y has quit [Quit: Brèche du réacteur.]