#ocaml on 2022-12-09 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:03 waleee has quit [Ping timeout: 264 seconds]

00:05 azimut has quit [Ping timeout: 255 seconds]

00:07 azimut has joined #ocaml

00:15 waleee has joined #ocaml

00:28 nd__ has joined #ocaml

00:33 azimut_ has joined #ocaml

00:33 azimut has quit [Ping timeout: 255 seconds]

00:33 nd__ has quit [Ping timeout: 256 seconds]

01:02 perrierjouet has quit [Quit: WeeChat 3.7.1]

01:04 perrierjouet has joined #ocaml

01:14 troydm has joined #ocaml

01:27 <companion_cube> `opam install seq` ?

01:49 nd__ has joined #ocaml

01:55 nd__ has quit [Ping timeout: 260 seconds]

02:17 azimut_ has quit [Ping timeout: 255 seconds]

02:18 azimut has joined #ocaml

03:01 nd__ has joined #ocaml

03:06 nd__ has quit [Ping timeout: 256 seconds]

03:19 olle has joined #ocaml

03:27 riverdc has joined #ocaml

03:27 pflanze_ has joined #ocaml

03:28 sparogy_ has joined #ocaml

03:28 jyc_ has joined #ocaml

03:28 amk_ has joined #ocaml

03:28 pieguy128_ has joined #ocaml

03:30 hrberg_ has joined #ocaml

03:30 SoniEx2 has joined #ocaml

03:31 tomku|two has joined #ocaml

03:31 mjacob_ has joined #ocaml

03:33 terrorjack7 has joined #ocaml

03:34 rak_ has joined #ocaml

03:34 riverdc_ has quit [Ping timeout: 256 seconds]

03:34 sparogy has quit [Ping timeout: 256 seconds]

03:34 tomku has quit [Ping timeout: 256 seconds]

03:34 amk has quit [Ping timeout: 256 seconds]

03:34 rak has quit [Ping timeout: 256 seconds]

03:34 jyc has quit [Ping timeout: 256 seconds]

03:34 perrierjouet has quit [Ping timeout: 256 seconds]

03:34 mjacob has quit [Ping timeout: 256 seconds]

03:34 terrorjack has quit [Ping timeout: 256 seconds]

03:34 hrberg has quit [Ping timeout: 256 seconds]

03:34 Soni has quit [Ping timeout: 256 seconds]

03:34 pieguy128 has quit [Ping timeout: 256 seconds]

03:34 pflanze has quit [Ping timeout: 256 seconds]

03:34 Putonlalla has quit [Ping timeout: 256 seconds]

03:34 amk_ is now known as amk

03:34 sparogy_ is now known as sparogy

03:34 jyc_ is now known as jyc

03:34 terrorjack7 is now known as terrorjack

03:35 amk is now known as Guest2530

03:43 Putonlalla has joined #ocaml

03:46 perrierjouet has joined #ocaml

03:49 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

03:51 terrorjack has joined #ocaml

03:57 chrisz has quit [Ping timeout: 264 seconds]

03:58 chrisz has joined #ocaml

04:23 nd__ has joined #ocaml

04:29 nd__ has quit [Ping timeout: 264 seconds]

05:05 waleee has quit [Ping timeout: 260 seconds]

05:19 mbuf has joined #ocaml

05:34 kakadu has quit [Read error: Connection reset by peer]

05:36 kakadu has joined #ocaml

06:00 nd__ has joined #ocaml

06:05 nd__ has quit [Ping timeout: 256 seconds]

06:10 nd__ has joined #ocaml

06:16 nd__ has quit [Ping timeout: 252 seconds]

06:31 bgs has joined #ocaml

06:50 azimut has quit [Ping timeout: 255 seconds]

06:52 azimut has joined #ocaml

06:52 bgs has quit [Remote host closed the connection]

06:55 m5zs7k has quit [Ping timeout: 260 seconds]

07:02 m5zs7k has joined #ocaml

07:17 nd__ has joined #ocaml

07:19 Serpent7776 has joined #ocaml

07:20 troydm has quit [Ping timeout: 268 seconds]

07:23 mro has joined #ocaml

07:24 Techcable has quit [Ping timeout: 260 seconds]

07:25 nd__ has quit [Ping timeout: 256 seconds]

07:43 bartholin has joined #ocaml

07:46 m5zs7k has quit [Ping timeout: 246 seconds]

07:47 Serpent7776 has quit [Ping timeout: 264 seconds]

07:57 azimut has quit [Ping timeout: 255 seconds]

07:58 Haudegen has joined #ocaml

08:00 nd__ has joined #ocaml

08:00 m5zs7k has joined #ocaml

08:06 bartholin has quit [Quit: Leaving]

08:07 jlrnick has joined #ocaml

08:46 Serpent7776 has joined #ocaml

09:00 azimut has joined #ocaml

09:04 m5zs7k has quit [Ping timeout: 265 seconds]

09:06 mro has quit [Quit: Leaving...]

09:08 m5zs7k has joined #ocaml

09:34 jlrnick has quit [Ping timeout: 265 seconds]

09:51 kakadu has quit [Read error: Connection reset by peer]

09:53 kakadu has joined #ocaml

09:55 spip has joined #ocaml

10:16 troydm has joined #ocaml

10:21 mro has joined #ocaml

10:28 anpad has quit [Read error: Connection reset by peer]

10:30 anpad has joined #ocaml

10:56 mro has quit [Quit: Leaving...]

11:27 pflanze_ is now known as pflanze

11:28 kurfen has quit [Quit: ZNC 1.8.2 - https://znc.in]

11:29 kurfen has joined #ocaml

11:39 wingsorc has quit [Ping timeout: 260 seconds]

12:07 goober has joined #ocaml

12:11 goober has quit [Client Quit]

12:12 goober has joined #ocaml

12:40 goober has quit [Remote host closed the connection]

12:41 goober has joined #ocaml

12:45 goober has quit [Client Quit]

12:45 goober has joined #ocaml

12:51 kurfen has quit [Quit: ZNC 1.8.2 - https://znc.in]

12:51 mro has joined #ocaml

12:54 kurfen has joined #ocaml

12:56 mro has quit [Quit: Leaving...]

13:08 nikitalocalhost has quit [Remote host closed the connection]

13:11 nd__ has quit [Ping timeout: 265 seconds]

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

13:21 Haudegen has quit [Quit: Bin weg.]

13:53 mro has joined #ocaml

14:11 jlrnick has joined #ocaml

14:14 kurfen has quit [Ping timeout: 256 seconds]

14:22 kurfen has joined #ocaml

14:27 kurfen has quit [Ping timeout: 268 seconds]

14:30 Haudegen has joined #ocaml

14:32 kurfen has joined #ocaml

14:35 mro has quit [Remote host closed the connection]

14:37 mro has joined #ocaml

14:39 mro has quit [Remote host closed the connection]

14:44 azimut has quit [Ping timeout: 255 seconds]

15:10 xgqt has quit [Ping timeout: 252 seconds]

15:10 xgqt has joined #ocaml

15:15 motherfsck has quit [Quit: quit]

15:15 motherfsck has joined #ocaml

15:15 motherfsck has quit [Client Quit]

15:16 motherfsck has joined #ocaml

15:25 nd__ has joined #ocaml

15:25 motherfsck has quit [Quit: quit]

15:27 motherfsck has joined #ocaml

15:28 mro has joined #ocaml

15:30 motherfsck has quit [Client Quit]

15:30 nd__ has quit [Ping timeout: 268 seconds]

15:30 motherfsck has joined #ocaml

15:32 mro has quit [Remote host closed the connection]

15:35 motherfsck has quit [Client Quit]

15:40 motherfsck has joined #ocaml

15:46 nd__ has joined #ocaml

15:49 mro has joined #ocaml

15:51 nd__ has quit [Ping timeout: 268 seconds]

15:56 Guest2530 has quit [Changing host]

15:56 Guest2530 has joined #ocaml

15:57 Guest2530 is now known as amk

16:17 Techcable has joined #ocaml

16:21 nd__ has joined #ocaml

16:28 rak_ is now known as rak

16:31 nd__ has quit [Ping timeout: 265 seconds]

16:32 nd__ has joined #ocaml

16:35 mbuf has quit [Quit: Leaving]

16:40 Haudegen has quit [Quit: Bin weg.]

16:42 nd__ has quit [Ping timeout: 264 seconds]

17:01 Tuplanolla has joined #ocaml

17:10 kakadu has quit [Quit: Konversation terminated!]

17:12 mro has quit [Remote host closed the connection]

17:23 Serpent7776 has quit [Quit: WeeChat 1.9.1]

17:25 motherfsck has quit [Quit: quit]

17:28 motherfsck has joined #ocaml

17:30 mro has joined #ocaml

17:33 mro has quit [Remote host closed the connection]

17:58 nd__ has joined #ocaml

18:03 nd__ has quit [Ping timeout: 256 seconds]

18:16 Haudegen has joined #ocaml

18:47 nd__ has joined #ocaml

18:50 xd1le has quit [Quit: xd1le]

18:55 mro has joined #ocaml

19:04 mro has quit [Remote host closed the connection]

19:21 mro has joined #ocaml

19:22 mro has quit [Remote host closed the connection]

19:22 mro has joined #ocaml

19:49 troydm has joined #ocaml

19:52 kurfen has quit [Quit: ZNC 1.8.2 - https://znc.in]

19:53 kurfen has joined #ocaml

20:06 Stumpfenstiel has joined #ocaml

20:15 kurfen has quit [Ping timeout: 256 seconds]

20:20 kurfen has joined #ocaml

20:31 jlrnick has quit [Ping timeout: 265 seconds]

20:32 mro_ has joined #ocaml

20:34 mro has quit [Ping timeout: 268 seconds]

20:44 motherfsck has quit [Quit: quit]

20:45 wingsorc has joined #ocaml

22:17 <olle> I can't have both token MINUS "-" and UMINUS "-" in menhir or ocamllex?

22:17 <olle> They have different precedence

22:18 <olle> Hm

22:20 <companion_cube> how do you distinguish them?

22:20 <olle> Idk, I was looking at an old piece of code in my own code, copy-pasted I though from c11 repo

22:20 <olle> https://github.com/jhjourdan/C11parser/blob/master/parser.mly

22:21 <olle> But it seems to work out of the box without it

22:21 <olle> a = -10 - -5 works

22:21 <olle> Assignment Int (Variable x) (Minus (Num -10) (Num -5))))

22:22 <olle> Huh

22:24 <companion_cube> I only see a MINUS token though

22:24 <olle> companion_cube: Yeah, I removed the UMINUS

22:24 <companion_cube> wht were you expecting?

22:25 <olle> Not sure xD

22:25 <olle> Why does ocaml need (-10) around neg nr?

22:26 <companion_cube> not sure

22:26 <companion_cube> maybe this one is ambiguous and resolved arbitrarily

22:26 <olle> Hmmm

22:31 Haudegen has quit [Remote host closed the connection]

22:34 bartholin has joined #ocaml

22:44 Haudegen has joined #ocaml

22:56 mro_ has quit [Remote host closed the connection]

23:01 olle has quit [Ping timeout: 268 seconds]

23:01 mro has joined #ocaml

23:07 troydm has quit [Ping timeout: 256 seconds]

23:18 bartholin has quit [Quit: Leaving]

23:46 spip has quit [Quit: Konversation terminated!]