#ocaml on 2022-08-28 — 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:19 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:23 azimut has joined #ocaml

00:24 rgrinberg has joined #ocaml

01:07 rgrinberg has quit [Quit: Textual IRC Client: www.textualapp.com]

02:19 chrisz has quit [Ping timeout: 252 seconds]

02:21 chrisz has joined #ocaml

02:26 Haudegen has quit [Ping timeout: 260 seconds]

03:15 azimut has quit [Remote host closed the connection]

03:15 azimut has joined #ocaml

05:17 zebrag has quit [Quit: Konversation terminated!]

05:20 deadmarshal has quit [Quit: IRCNow and Forever!]

05:39 mbuf has joined #ocaml

05:41 John_Ivan has quit [Ping timeout: 252 seconds]

06:01 zebrag has joined #ocaml

06:05 zebrag has quit [Client Quit]

06:16 gopiandc1 has quit [Quit: WeeChat 3.0]

06:18 deadmarshal has joined #ocaml

06:21 williewillus has quit [Ping timeout: 248 seconds]

08:08 olle has joined #ocaml

08:47 wonko has joined #ocaml

08:50 bartholin has joined #ocaml

08:56 mro has joined #ocaml

09:30 bartholin has quit [Ping timeout: 268 seconds]

09:43 bartholin has joined #ocaml

09:51 mima has joined #ocaml

10:05 wonko has quit [Ping timeout: 260 seconds]

10:14 theblatt1 has quit [Ping timeout: 268 seconds]

10:14 bobo_ has quit [Read error: Connection reset by peer]

10:14 bobo_ has joined #ocaml

10:28 mro has quit [Remote host closed the connection]

10:32 mro has joined #ocaml

10:40 mro has quit [Remote host closed the connection]

11:13 agentwa has joined #ocaml

11:30 bartholin has quit [Ping timeout: 260 seconds]

11:39 Haudegen has joined #ocaml

11:42 bartholin has joined #ocaml

11:43 random-jellyfish has joined #ocaml

11:51 szkl has quit [Quit: Connection closed for inactivity]

11:58 mbuf has quit [Remote host closed the connection]

11:59 mbuf has joined #ocaml

12:15 mbuf has quit [Remote host closed the connection]

12:15 mbuf has joined #ocaml

12:42 John_Ivan has joined #ocaml

12:47 random-jellyfish has quit [Quit: Client closed]

13:03 mro has joined #ocaml

13:07 CalimeroTeknik has quit [Changing host]

13:07 CalimeroTeknik has joined #ocaml

13:10 mima has quit [Ping timeout: 268 seconds]

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

13:23 <olle> I don't understand how to match literal string in Menhir parser :d

13:24 <olle> | t=INT_TYPE {Int}

13:24 <olle> and

13:24 <olle> %token INT_TYPE "int"

13:24 <olle> Then I check with

13:24 <olle> | s=NAME {failwith ("Unknown type: " ^ s)}

13:24 <olle> And get all errors, unknown type "int"... -.-

13:26 <olle> Oh

13:26 <olle> Forgot it in the lexer >< Solved

13:30 bartholin has quit [Ping timeout: 260 seconds]

13:34 humasect has joined #ocaml

13:41 humasect has quit [Remote host closed the connection]

13:42 bartholin has joined #ocaml

13:47 humasect has joined #ocaml

14:19 agentwa has quit [Quit: Client closed]

14:38 agentwa has joined #ocaml

14:44 agentwa has left #ocaml [#ocaml]

14:44 noze`` has quit [Remote host closed the connection]

14:54 humasect has quit [Ping timeout: 268 seconds]

15:01 humasect has joined #ocaml

15:08 humasect has quit [Quit: Leaving...]

15:11 <olle> Hmmm

15:17 quernd1 has joined #ocaml

15:17 gahr_ has joined #ocaml

15:17 SquidDev2 has joined #ocaml

15:19 haesbaer1 has joined #ocaml

15:20 jtmcx has joined #ocaml

15:20 dian has joined #ocaml

15:20 afrosenp1i has joined #ocaml

15:20 daimrod1 has joined #ocaml

15:21 perrierj1 has joined #ocaml

15:21 xgqtd has joined #ocaml

15:21 chrisz_ has joined #ocaml

15:21 dh` has quit [Ping timeout: 252 seconds]

15:21 perrierjouet has quit [Ping timeout: 252 seconds]

15:21 gahr has quit [Ping timeout: 252 seconds]

15:21 notnotdan has quit [Ping timeout: 252 seconds]

15:21 haesbaert has quit [Ping timeout: 252 seconds]

15:21 mbuf has quit [Ping timeout: 252 seconds]

15:21 afrosenpai has quit [Ping timeout: 252 seconds]

15:21 daimrod has quit [Ping timeout: 252 seconds]

15:21 quernd has quit [Ping timeout: 252 seconds]

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

15:21 jtm has quit [Ping timeout: 252 seconds]

15:21 hrberg has quit [Ping timeout: 252 seconds]

15:21 kurfen has quit [Ping timeout: 252 seconds]

15:21 SquidDev has quit [Ping timeout: 252 seconds]

15:21 dianshi has quit [Ping timeout: 252 seconds]

15:21 chrisz has quit [Ping timeout: 252 seconds]

15:21 dh` has joined #ocaml

15:21 mbuf has joined #ocaml

15:21 bacam has quit [Ping timeout: 252 seconds]

15:21 sagax has quit [Ping timeout: 252 seconds]

15:21 wagle has quit [Ping timeout: 252 seconds]

15:21 SquidDev2 is now known as SquidDev

15:21 quernd1 is now known as quernd

15:22 kurfen_ has joined #ocaml

15:22 notnotdan has joined #ocaml

15:22 mima has joined #ocaml

15:22 wagle has joined #ocaml

15:25 bacam has joined #ocaml

15:30 bartholin has quit [Ping timeout: 260 seconds]

15:42 bartholin has joined #ocaml

16:00 mro has joined #ocaml

16:03 mro has quit [Remote host closed the connection]

16:04 perrierj1 has quit [Quit: WeeChat 3.6]

16:04 perrierjouet has joined #ocaml

16:16 <olle> Ehm, how can I "subtype" part of a type?

16:16 <olle> "expression", in this case

16:16 <olle> a->b = c <--- Assignment where left-hand side is an expression, but of course 1 + 2 = c should not be allowed

16:16 <olle> Assuming '=' is never used for comparison, only assignment

16:17 <olle> Maybe I'll write it up on the forum :d

16:44 waleee has joined #ocaml

17:09 dwt_ has joined #ocaml

17:25 mbuf has quit [Quit: Leaving]

17:30 bartholin has quit [Ping timeout: 255 seconds]

17:43 bartholin has joined #ocaml

18:00 mro has joined #ocaml

18:02 dh` has quit [Changing host]

18:02 dh` has joined #ocaml

18:57 spip has joined #ocaml

18:58 bobo_ has quit [Ping timeout: 268 seconds]

19:13 wonko has joined #ocaml

19:18 bartholin has quit [Quit: Leaving]

19:30 mima has quit [Ping timeout: 260 seconds]

19:32 mro_ has joined #ocaml

19:34 mro has quit [Ping timeout: 255 seconds]

20:25 mro_ has quit [Quit: Leaving...]

20:26 CalimeroTeknik has quit [Quit: バイバイ]

20:28 CalimeroTeknik has joined #ocaml

20:46 mima has joined #ocaml

21:14 habnabit_ has quit [Quit: ZNC - http://znc.sourceforge.net]

21:56 azimut has quit [Remote host closed the connection]

21:57 azimut has joined #ocaml

22:10 xgqtd has quit [Ping timeout: 268 seconds]

22:11 xgqtd has joined #ocaml

22:13 bobo_ has joined #ocaml

22:13 spip has quit [Ping timeout: 244 seconds]

22:55 szkl has joined #ocaml

22:57 Haudegen has quit [Ping timeout: 268 seconds]

23:08 wonko has quit [Ping timeout: 248 seconds]

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

23:21 Tuplanolla has quit [Quit: Leaving.]

23:39 xgqtd is now known as xgqt