#ocaml on 2023-02-03 — 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:05 <John_Ivan> test

00:19 rgrinberg has joined #ocaml

00:20 <discocaml> <I'm Vicky> @anmonteiro do you present lectures?

00:21 <discocaml> <I'm Vicky> I see you a lot in Github

00:21 <discocaml> <anmonteiro> could you clarify? Presenting "lectures" as in being a university professor?

00:21 <discocaml> <I'm Vicky> no, like in conferences

00:21 <discocaml> <anmonteiro> I've done a few talks

00:21 <discocaml> <I'm Vicky> Do you have the links?

00:23 <discocaml> <anmonteiro> probably the only relevant/recent one in the context of OCaml / Reason https://www.youtube.com/watch?v=c10ZOftkeS8

00:25 <discocaml> <I'm Vicky> Thanks

00:40 zebrag has joined #ocaml

00:52 John_Ivan has quit [Quit: Phantom of the future.]

01:04 Tuplanolla has quit [Quit: Leaving.]

01:10 zebrag has quit [Quit: Konversation terminated!]

01:12 troydm has joined #ocaml

02:10 keyboard has joined #ocaml

02:59 jimmy2shoots has joined #ocaml

02:59 jimmy2shoots has quit [Client Quit]

03:07 chrisz has quit [Ping timeout: 268 seconds]

03:09 chrisz has joined #ocaml

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

04:09 tizoc has joined #ocaml

05:39 bgs has joined #ocaml

05:44 motherfsck has quit [Ping timeout: 248 seconds]

05:46 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:53 rgrinberg has joined #ocaml

05:58 motherfsck has joined #ocaml

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

06:09 waleee has joined #ocaml

06:10 keyboard has quit [Ping timeout: 248 seconds]

06:17 rgrinberg has joined #ocaml

06:31 trev_ has joined #ocaml

06:34 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:34 Serpent7776 has joined #ocaml

06:41 Haudegen has joined #ocaml

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

06:49 jao has quit [Ping timeout: 255 seconds]

07:03 Serpent7776 has quit [Ping timeout: 260 seconds]

07:12 bartholin has joined #ocaml

07:14 xgqt has quit [Remote host closed the connection]

07:15 xgqt has joined #ocaml

07:16 troydm has quit [Ping timeout: 252 seconds]

07:39 motherfsck has quit [Ping timeout: 260 seconds]

07:50 jlrnick has joined #ocaml

07:55 motherfsck has joined #ocaml

07:59 Serpent7776 has joined #ocaml

08:12 troydm has joined #ocaml

09:04 mro has joined #ocaml

09:05 olle has joined #ocaml

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

09:29 mro has joined #ocaml

10:08 nd__ has joined #ocaml

10:14 spip has joined #ocaml

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

10:30 mro has joined #ocaml

10:34 olle has quit [Ping timeout: 246 seconds]

10:37 <discocaml> <sim642> I suppose for monomorphization of `(=)` and `compare` of an ADT to happen, the constructors need to be defined/re-exported in the same file?

10:40 dh` has quit [Ping timeout: 252 seconds]

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

10:47 mro has joined #ocaml

11:03 tsns has joined #ocaml

11:23 <discocaml> <octachron> Outside of flambda cross-module inlining, the optimiser don't peek beyond abstraction barrier (it can't), so I would expect that to be correct.

12:05 <discocaml> <Alistair> Anyone know a fix for LSP not working in `_opam/lib`?

12:06 <discocaml> <Alistair> https://cdn.discordapp.com/attachments/436568060288172044/1071039001370296401/image.png

12:10 olle has joined #ocaml

12:18 mro has quit [Ping timeout: 252 seconds]

12:27 waleee has quit [Quit: WeeChat 3.8]

12:29 waleee has joined #ocaml

12:37 bgs has joined #ocaml

12:48 wingsorc__ has quit [Ping timeout: 252 seconds]

12:52 Haudegen has quit [Ping timeout: 252 seconds]

12:53 tsns has quit [Remote host closed the connection]

12:54 tsns has joined #ocaml

12:59 Haudegen has joined #ocaml

13:01 mro has joined #ocaml

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

13:08 nd__ has quit [Ping timeout: 268 seconds]

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

13:31 tsns has quit [Remote host closed the connection]

13:38 waleee has quit [Ping timeout: 248 seconds]

13:43 trev_ has quit [Remote host closed the connection]

13:48 mro has joined #ocaml

13:55 gwizon has joined #ocaml

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

14:07 mro has joined #ocaml

14:12 Haudegen has joined #ocaml

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

14:15 nd__ has joined #ocaml

14:18 tsns has joined #ocaml

14:20 nd__ has quit [Ping timeout: 248 seconds]

14:29 mro has joined #ocaml

14:34 nd__ has joined #ocaml

14:42 nd__ has quit [Ping timeout: 252 seconds]

14:43 tomku has quit [Read error: Connection reset by peer]

14:47 <companion_cube> https://github.com/ocaml/ocaml/pull/11981 nice

14:48 szkl has joined #ocaml

14:49 tomku has joined #ocaml

14:51 tsns has quit [Remote host closed the connection]

15:16 nd__ has joined #ocaml

15:21 rgrinberg has joined #ocaml

15:21 rgrinberg has quit [Client Quit]

15:21 nd__ has quit [Ping timeout: 248 seconds]

15:24 rgrinberg has joined #ocaml

15:26 uics has joined #ocaml

15:32 zebrag has joined #ocaml

15:34 keyboard has joined #ocaml

15:47 uics has quit [Remote host closed the connection]

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

15:52 mro has joined #ocaml

15:53 waleee has joined #ocaml

15:56 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:57 rgrinberg has joined #ocaml

16:19 uics has joined #ocaml

16:20 troydm has quit [Ping timeout: 252 seconds]

16:21 Anarchos has joined #ocaml

16:23 nd__ has joined #ocaml

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

16:34 bartholin has quit [Quit: Leaving]

16:37 zebrag has quit [Quit: Konversation terminated!]

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

16:46 <discocaml> <froyo> pog

16:50 Serpent7776 has quit [Quit: WeeChat 1.9.1]

16:58 szkl has quit [Quit: Connection closed for inactivity]

17:04 uics has quit [Remote host closed the connection]

17:08 trev_ has joined #ocaml

17:10 keyboard has quit [Ping timeout: 255 seconds]

17:25 nd__ has joined #ocaml

17:30 Anarchos has quit [Quit: Vision[]: i've been blurred!]

17:30 nd__ has quit [Ping timeout: 252 seconds]

17:34 jao has joined #ocaml

17:36 uics has joined #ocaml

17:39 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:41 uics has quit [Remote host closed the connection]

17:51 bartholin has joined #ocaml

17:54 jlrnick has quit [Ping timeout: 256 seconds]

17:59 nd__ has joined #ocaml

17:59 uics has joined #ocaml

18:05 gwizon_ has joined #ocaml

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

18:08 Haudegen has joined #ocaml

18:08 gwizon has quit [Ping timeout: 260 seconds]

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

18:24 uics has quit [Remote host closed the connection]

18:25 rgrinberg has joined #ocaml

18:35 olle has quit [Ping timeout: 252 seconds]

18:55 nd__ has joined #ocaml

19:00 nd__ has quit [Ping timeout: 268 seconds]

19:01 uics has joined #ocaml

19:10 mro has joined #ocaml

19:11 Anarchos has joined #ocaml

19:17 Anarchos has quit [Ping timeout: 252 seconds]

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

19:26 uics has quit [Remote host closed the connection]

19:30 keyboard has joined #ocaml

19:34 Anarchos has joined #ocaml

19:40 rgrinberg has quit [Read error: Connection reset by peer]

19:41 rgrinberg has joined #ocaml

19:46 nd__ has joined #ocaml

19:49 troydm has joined #ocaml

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

19:50 mro has joined #ocaml

19:51 nd__ has quit [Ping timeout: 256 seconds]

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

19:58 keyboard has quit [Ping timeout: 260 seconds]

19:59 trev_ has quit [Remote host closed the connection]

20:00 uics has joined #ocaml

20:12 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:31 Tuplanolla has joined #ocaml

20:31 rgrinberg has joined #ocaml

20:47 keyboard has joined #ocaml

20:51 nd__ has joined #ocaml

20:55 Anarchos has quit [Ping timeout: 248 seconds]

20:56 nd__ has quit [Ping timeout: 268 seconds]

21:04 keyboard has quit [Ping timeout: 252 seconds]

21:08 olle has joined #ocaml

21:12 nd__ has joined #ocaml

21:21 nd__ has quit [Ping timeout: 248 seconds]

21:26 keyboard has joined #ocaml

21:46 nd__ has joined #ocaml

21:51 nd__ has quit [Ping timeout: 252 seconds]

21:57 mro has joined #ocaml

22:24 bartholin has quit [Quit: Leaving]

22:35 uics has quit [Remote host closed the connection]

22:35 uics has joined #ocaml

22:45 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

22:46 Haudegen has joined #ocaml

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

22:48 mro has joined #ocaml

22:49 rgrinberg has quit [Quit: Textual IRC Client: www.textualapp.com]

22:53 bgs has quit [Remote host closed the connection]

23:10 nd__ has joined #ocaml

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

23:15 nd__ has quit [Ping timeout: 260 seconds]

23:20 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

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

23:22 Haudegen has joined #ocaml

23:28 wingsorc__ has joined #ocaml

23:39 waleee has quit [Ping timeout: 248 seconds]