#ocaml on 2023-01-10 — 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 Tuplanolla has quit [Quit: Leaving.]

00:20 Haudegen has quit [Ping timeout: 246 seconds]

00:27 theblatte has quit [Ping timeout: 252 seconds]

00:34 theblatte has joined #ocaml

00:45 Leonidas has quit [Ping timeout: 256 seconds]

00:45 Leonidas has joined #ocaml

00:48 troydm has joined #ocaml

01:00 omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]

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

03:12 tizoc has quit [Quit: Coyote finally caught me]

03:13 waleee has quit [Ping timeout: 252 seconds]

03:13 waleee has joined #ocaml

03:18 tizoc has joined #ocaml

03:28 hsw has quit [Quit: Leaving]

03:33 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

03:44 terrorjack has joined #ocaml

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

03:46 chrisz has joined #ocaml

03:48 rgrinberg has joined #ocaml

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

04:22 azimut has joined #ocaml

04:30 waleee has quit [Ping timeout: 252 seconds]

04:42 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:53 mbuf has joined #ocaml

05:02 jao has quit [Ping timeout: 272 seconds]

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

06:05 bgs has joined #ocaml

06:21 calvnce has joined #ocaml

06:33 calvnce has quit [Quit: Client closed]

06:38 wingsorc has quit [Ping timeout: 260 seconds]

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

06:49 Haudegen has joined #ocaml

07:03 Serpent7776 has joined #ocaml

07:29 mbuf has quit [Quit: Leaving]

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

08:07 bartholin has joined #ocaml

08:08 mro has joined #ocaml

08:58 mro has quit [Remote host closed the connection]

09:03 mro has joined #ocaml

09:04 bartholin has quit [Quit: Leaving]

09:09 mro has quit [Ping timeout: 260 seconds]

09:30 justReddy is now known as justache

09:47 mro has joined #ocaml

10:07 kakadu has joined #ocaml

10:17 mro has quit [Read error: Connection reset by peer]

10:17 trev has joined #ocaml

10:17 mro has joined #ocaml

10:19 azimut has joined #ocaml

10:23 troydm has joined #ocaml

10:26 olle has joined #ocaml

10:34 SrainUser has quit [Ping timeout: 252 seconds]

10:41 spip has joined #ocaml

11:04 megeve has quit [Quit: Connection closed for inactivity]

11:43 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

11:45 terrorjack has joined #ocaml

12:05 genpaku has quit [Read error: Connection reset by peer]

12:08 genpaku has joined #ocaml

12:46 Haudegen has quit [Quit: Bin weg.]

12:51 xd1le has joined #ocaml

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

13:10 mro has joined #ocaml

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

13:16 mro has joined #ocaml

13:35 count3rmeasure has joined #ocaml

13:48 Haudegen has joined #ocaml

14:55 rgrinberg has joined #ocaml

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

15:07 alexherbo2 has joined #ocaml

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

15:23 waleee has joined #ocaml

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

15:33 mro has joined #ocaml

15:36 azimut has quit [Ping timeout: 255 seconds]

15:36 azimut has joined #ocaml

15:37 jao has joined #ocaml

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

16:04 waleee has quit [Ping timeout: 252 seconds]

16:06 <companion_cube> zebrag[m]: `type foo = bar = A | B | C` means that `foo` is an alias to `bar`

16:06 <companion_cube> and it re-exports locally the definition that `bar = A | B | C`

16:06 <companion_cube> (it has to match the actual definition)

16:07 <companion_cube> so here, the constructors will also be present in the current module (in case `bar` was defined somewhere else)

16:17 mro has joined #ocaml

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

16:17 mro has joined #ocaml

16:18 troydm has quit [Ping timeout: 268 seconds]

16:27 trev has quit [Remote host closed the connection]

16:32 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

16:46 rgrinberg has joined #ocaml

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

16:54 bgs has joined #ocaml

16:55 troydm has joined #ocaml

17:36 perrierjouet has quit [Ping timeout: 252 seconds]

17:40 <olle> Sigh

17:40 <olle> I need to implement polymorphism

17:41 <olle> How do I represent "output same type as input" in an AST...?

17:42 gwizon has joined #ocaml

17:43 <olle> Type variable?

17:52 perrierjouet has joined #ocaml

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

18:09 Haudegen has joined #ocaml

18:11 perrierjouet has joined #ocaml

18:36 bartholin has joined #ocaml

18:37 perrierjouet has quit [Quit: WeeChat 3.8]

18:45 trev has joined #ocaml

18:50 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:50 <olle> Hm, I have a feeling type variables need hash tables to be tracked during compile time. Right...???

18:54 rgrinberg has joined #ocaml

18:55 rgrinberg has quit [Client Quit]

18:58 lnxw37 has quit [Ping timeout: 260 seconds]

18:58 rgrinberg has joined #ocaml

18:59 TakinOver has joined #ocaml

18:59 alexherbo2 has joined #ocaml

19:03 alexherbo2 has quit [Ping timeout: 260 seconds]

19:12 perrierjouet has joined #ocaml

19:19 perrierjouet has quit [Quit: WeeChat 3.8]

19:21 perrierjouet has joined #ocaml

19:21 alexherbo2 has joined #ocaml

19:27 mro has joined #ocaml

19:30 TakinOver has quit [Ping timeout: 255 seconds]

19:45 wingsorc__ has joined #ocaml

19:50 waleee has joined #ocaml

19:57 gwizon has quit [Remote host closed the connection]

20:10 TakinOver has joined #ocaml

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

20:21 wingsorc__ has quit [Quit: Leaving]

20:21 troydm has quit [Ping timeout: 246 seconds]

20:24 wingsorc__ has joined #ocaml

20:25 xgqt has quit [Ping timeout: 260 seconds]

20:26 xgqt has joined #ocaml

20:31 count3rmeasure has quit [Quit: Leaving]

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

20:44 alexherbo2 has joined #ocaml

20:47 TakinOver has quit [Ping timeout: 268 seconds]

20:51 perrierjouet has quit [Quit: WeeChat 3.8]

20:52 count3rmeasure has joined #ocaml

21:05 troydm has joined #ocaml

21:07 perrierjouet has joined #ocaml

21:09 trev has quit [Remote host closed the connection]

21:09 trev has joined #ocaml

21:09 TakinOver has joined #ocaml

21:21 TakinOver has quit [Ping timeout: 252 seconds]

21:25 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:47 count3rmeasure has quit [Quit: Leaving]

21:49 olle has quit [Ping timeout: 268 seconds]

22:03 trev has quit [Remote host closed the connection]

22:14 Serpent7776 has quit [Ping timeout: 260 seconds]

22:19 Stumpfenstiel has joined #ocaml

22:30 rgrinberg has joined #ocaml

23:04 bartholin has quit [Quit: Leaving]

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

23:20 jao has quit [Remote host closed the connection]

23:30 jao has joined #ocaml

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

23:46 Stumpfenstiel has quit [Ping timeout: 272 seconds]

23:48 Tuplanolla has joined #ocaml

23:57 rgrinberg has joined #ocaml