#ocaml on 2023-07-01 — irc logs at libera.irclog.whitequark.org

2023-02-19 03:13 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.0 released(!!1!): https://ocaml.org/releases/5.0.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:11 Hmmf has joined #ocaml

01:38 spip has quit [Quit: Konversation terminated!]

02:05 chrisz has quit [Ping timeout: 245 seconds]

02:07 chrisz has joined #ocaml

02:40 tizoc has quit [Quit: Coyote finally caught me]

02:46 tizoc has joined #ocaml

02:50 emilia_miki has left #ocaml [#ocaml]

03:03 chrisz has quit [Ping timeout: 260 seconds]

03:04 chrisz has joined #ocaml

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

04:13 leah2 has joined #ocaml

06:56 m5zs7k has quit [Ping timeout: 252 seconds]

07:02 m5zs7k has joined #ocaml

07:02 Serpent7776 has joined #ocaml

07:15 Hmmf has quit [Quit: Client closed]

07:26 bartholin has joined #ocaml

07:38 gareppa has joined #ocaml

08:19 <discocaml> <alswearengentm> hi all im getting this error with a menhir parser, and im a bit confused: `Error: program generates the empty language.`

08:24 <discocaml> <alswearengentm> im just trying something really basic:

08:24 <discocaml> <alswearengentm> ```

08:24 <discocaml> <alswearengentm> program:

08:24 <discocaml> <alswearengentm> | e=expr SEMI p=program EOF { e :: p }

08:24 <discocaml> <alswearengentm> ;

08:24 <discocaml> <alswearengentm> ```

08:26 <discocaml> <contificate> there's no base case to your rule

08:27 <discocaml> <contificate> there's no way to reduce a `program`

08:27 Serpent7776 has quit [Ping timeout: 246 seconds]

08:27 <discocaml> <contificate> I recommend factoring out another rule which is basically `separated_list(SEMI, expr)` and then have `program: es = expr_list EOF { es }`

08:29 Anarchos has joined #ocaml

08:34 <discocaml> <alswearengentm> ah, ok, that makes sense

08:34 <discocaml> <alswearengentm> ill give that a shot. i suppose i need to rtfm some more

08:38 <discocaml> <alswearengentm> that worked, ty

08:39 azimut has quit [Ping timeout: 240 seconds]

09:13 Tuplanolla has joined #ocaml

09:52 spip has joined #ocaml

09:55 Anarchos has quit [Quit: Vision[]: i've been blurred!]

10:33 alexherbo2 has joined #ocaml

10:43 alexherbo2 has quit [Remote host closed the connection]

10:48 alexherbo2 has joined #ocaml

10:48 gwizon has joined #ocaml

11:01 keyboard has joined #ocaml

11:02 alexherbo2 has quit [Remote host closed the connection]

11:05 keyboard has quit [Client Quit]

11:05 keyboard has joined #ocaml

11:13 gwizon_ has joined #ocaml

11:15 gwizon has quit [Ping timeout: 260 seconds]

11:19 salkin has joined #ocaml

11:19 gwizon has joined #ocaml

11:20 alexherbo2 has joined #ocaml

11:21 keyboard has quit [Ping timeout: 240 seconds]

11:22 gwizon_ has quit [Ping timeout: 252 seconds]

11:32 Serpent7776 has joined #ocaml

11:35 keyboard has joined #ocaml

11:35 salkin has quit [Ping timeout: 252 seconds]

11:37 keyboard has quit [Remote host closed the connection]

11:40 keyboard has joined #ocaml

11:40 <discocaml> <deepspacejohn> Is https://gitlab.inria.fr/fpottier/menhir/ down for everyone? I can't install Menhir on OPAM since I can't connect to it.

11:41 <discocaml> <deepspacejohn> Hm, I guess it's not just me, since GitHub actions also can't connect.

11:50 <discocaml> <octachron> The gitlab server at inria is down for maintenance, theoretically the whole weekend.

11:52 <discocaml> <octachron> I didn't think about the repercussion on opam, but that's one more reason that makes this gitlab instance mostly unusable.

12:08 bartholin has quit [Quit: Leaving]

12:09 salkin has joined #ocaml

12:11 keyboard has quit [Ping timeout: 240 seconds]

12:20 alexherbo2 has quit [Remote host closed the connection]

12:20 gwizon_ has joined #ocaml

12:21 alexherbo2 has joined #ocaml

12:22 gwizon has quit [Ping timeout: 240 seconds]

12:27 alexherbo2 has quit [Remote host closed the connection]

12:33 keyboard has joined #ocaml

12:33 salkin has quit [Ping timeout: 240 seconds]

12:38 gwizon_ has quit [Ping timeout: 240 seconds]

12:39 gwizon has joined #ocaml

12:46 salkin has joined #ocaml

12:49 keyboard has quit [Ping timeout: 260 seconds]

13:00 keyboard has joined #ocaml

13:01 salkin has quit [Ping timeout: 240 seconds]

13:16 salkin has joined #ocaml

13:17 alexherbo2 has joined #ocaml

13:17 keyboard has quit [Ping timeout: 250 seconds]

13:28 keyboard has joined #ocaml

13:29 salkin has quit [Ping timeout: 260 seconds]

13:37 salkin has joined #ocaml

13:39 keyboard has quit [Ping timeout: 250 seconds]

13:47 keyboard has joined #ocaml

13:49 salkin has quit [Ping timeout: 260 seconds]

13:58 keyboard has quit [Ping timeout: 252 seconds]

13:58 salkin has joined #ocaml

14:01 gwizon has quit [Quit: leaving]

14:09 keyboard has joined #ocaml

14:10 salkin has quit [Ping timeout: 246 seconds]

14:18 keyboard has quit [Ping timeout: 240 seconds]

14:19 keyboard has joined #ocaml

14:28 salkin has joined #ocaml

14:29 keyboard has quit [Ping timeout: 250 seconds]

14:39 keyboard has joined #ocaml

14:40 salkin has quit [Ping timeout: 258 seconds]

14:51 salkin has joined #ocaml

14:52 keyboard has quit [Ping timeout: 240 seconds]

15:06 azimut has joined #ocaml

15:14 keyboard has joined #ocaml

15:14 salkin has quit [Ping timeout: 264 seconds]

15:27 weird_error has joined #ocaml

15:28 salkin has joined #ocaml

15:29 keyboard has quit [Ping timeout: 246 seconds]

15:33 <discocaml> <lroche> Shouldn’t the download be from opam’s cache?

15:38 keyboard has joined #ocaml

15:40 salkin has quit [Ping timeout: 264 seconds]

15:43 azimut has quit [Ping timeout: 240 seconds]

15:47 salkin has joined #ocaml

15:49 keyboard has quit [Ping timeout: 260 seconds]

15:50 motherfsck has quit [Ping timeout: 245 seconds]

15:53 alexherbo2 has quit [Remote host closed the connection]

15:59 keyboard has joined #ocaml

16:01 salkin has quit [Ping timeout: 260 seconds]

16:15 bartholin has joined #ocaml

16:58 motherfsck has joined #ocaml

17:01 salkin has joined #ocaml

17:02 azimut has joined #ocaml

17:03 keyboard has quit [Ping timeout: 245 seconds]

17:08 m__ has joined #ocaml

17:09 m__ has quit [Remote host closed the connection]

17:09 m__ has joined #ocaml

17:10 weird_error has quit [Ping timeout: 240 seconds]

17:12 m__ has quit [Client Quit]

17:19 keyboard has joined #ocaml

17:20 salkin has quit [Ping timeout: 250 seconds]

17:29 weird_error has joined #ocaml

17:30 perrierjouet has quit [Quit: WeeChat 3.8]

17:31 perrierjouet has joined #ocaml

17:33 keyboard has quit [Ping timeout: 245 seconds]

17:34 keyboard has joined #ocaml

17:38 perrierjouet has quit [Quit: WeeChat 3.8]

17:38 perrierjouet has joined #ocaml

17:43 weird_error has quit [Remote host closed the connection]

17:43 weird_error has joined #ocaml

17:46 Janni has joined #ocaml

17:46 Janni has left #ocaml [#ocaml]

17:47 Janni has joined #ocaml

17:56 salkin has joined #ocaml

17:56 keyboard has quit [Ping timeout: 240 seconds]

17:57 Janni has quit [Ping timeout: 250 seconds]

17:58 perrierjouet has quit [Quit: WeeChat 3.8]

18:00 patrick has quit [Killed (tantalum.libera.chat (Nickname regained by services))]

18:00 patrick__ has joined #ocaml

18:01 perrierjouet has joined #ocaml

18:02 weird_error has quit [Ping timeout: 250 seconds]

18:13 keyboard has joined #ocaml

18:13 salkin has quit [Ping timeout: 250 seconds]

18:24 alexherbo2 has joined #ocaml

18:32 salkin has joined #ocaml

18:33 keyboard has quit [Ping timeout: 240 seconds]

18:38 alexherbo2 has quit [Remote host closed the connection]

18:41 alexherbo2 has joined #ocaml

18:47 keyboard has joined #ocaml

18:48 salkin has quit [Ping timeout: 252 seconds]

18:55 waleee has joined #ocaml

19:06 keyboard has quit [Ping timeout: 245 seconds]

19:06 keyboard has joined #ocaml

19:09 alexherbo2 has quit [Remote host closed the connection]

19:11 alexherbo2 has joined #ocaml

19:14 salkin has joined #ocaml

19:14 weird_error has joined #ocaml

19:16 keyboard has quit [Ping timeout: 264 seconds]

19:31 keyboard has joined #ocaml

19:31 salkin has quit [Ping timeout: 250 seconds]

19:41 weird_error has quit [Ping timeout: 250 seconds]

19:58 salkin has joined #ocaml

19:59 keyboard has quit [Ping timeout: 240 seconds]

20:03 motherfsck has quit [Read error: Connection reset by peer]

20:06 keyboard has joined #ocaml

20:06 salkin has quit [Ping timeout: 252 seconds]

20:13 salkin has joined #ocaml

20:15 keyboard has quit [Ping timeout: 260 seconds]

20:19 motherfsck has joined #ocaml

20:20 keyboard has joined #ocaml

20:24 salkin has quit [Ping timeout: 260 seconds]

20:24 alexherbo2 has quit [Remote host closed the connection]

20:27 gareppa has quit [Quit: WeeChat 3.8]

20:40 bartholin has quit [Quit: Leaving]

20:42 salkin has joined #ocaml

20:43 keyboard has quit [Ping timeout: 260 seconds]

20:54 keyboard has joined #ocaml

20:56 salkin has quit [Ping timeout: 260 seconds]

21:05 salkin has joined #ocaml

21:06 keyboard has quit [Ping timeout: 258 seconds]

21:13 keyboard has joined #ocaml

21:14 salkin has quit [Ping timeout: 258 seconds]

21:19 alexherbo2 has joined #ocaml

21:28 salkin has joined #ocaml

21:28 keyboard has quit [Ping timeout: 250 seconds]

21:29 troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]

21:30 troydm has joined #ocaml

21:32 <discocaml> <anmonteiro> feel free to grab the tarball for the latest version from my mirror https://github.com/nix-ocaml/nix-overlays/pull/913

21:40 patrick__ is now known as patrick

21:41 keyboard has joined #ocaml

21:42 salkin has quit [Ping timeout: 240 seconds]

21:48 Janni has joined #ocaml

21:49 John_Ivan_ has joined #ocaml

21:51 Serpent7776 has quit [Ping timeout: 240 seconds]

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

21:55 alexherbo2 has quit [Remote host closed the connection]

22:03 salkin has joined #ocaml

22:04 keyboard has quit [Ping timeout: 260 seconds]

22:10 <discocaml> <romain.beauxis> I also pushed a git repo that be pinned here: https://github.com/savonet/menhir-backup

22:15 keyboard has joined #ocaml

22:17 salkin has quit [Ping timeout: 240 seconds]

22:17 weird_error has joined #ocaml

22:17 weird_error has quit [Remote host closed the connection]

22:29 salkin has joined #ocaml

22:29 keyboard has quit [Ping timeout: 264 seconds]

22:30 azimut_ has joined #ocaml

22:31 azimut has quit [Ping timeout: 240 seconds]

22:50 alexherbo2 has joined #ocaml

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

23:14 keyboard has joined #ocaml

23:15 salkin has quit [Ping timeout: 250 seconds]

23:19 azimut_ has quit [Remote host closed the connection]

23:19 azimut has joined #ocaml

23:27 salkin has joined #ocaml

23:29 keyboard has quit [Ping timeout: 250 seconds]

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

23:39 keyboard has joined #ocaml

23:40 salkin has quit [Ping timeout: 250 seconds]

23:43 azimut has quit [Ping timeout: 240 seconds]

23:55 <discocaml> <kalalau> Question on this workaround (note, I'm new to OCaml, just started picking it up yesterday) - is the way to use this alternate package w/ `opam pin` ? Also, will it work if Menhir is a transitive dependency? I'm on road so can't try it out myself, but eager to once I get home.

23:57 azimut has joined #ocaml

23:57 <discocaml> <._null._> Yes to both. opam will simply take the pin for the versions that get pinned instead of the default repository