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

00:24 jao has quit [Remote host closed the connection]

00:38 jao has joined #ocaml

00:56 count3rmeasure has joined #ocaml

02:36 hsw has quit [Quit: Leaving]

02:47 deadmarshal_ has quit [Quit: IRCNow and Forever!]

03:09 deadmarshal_ has joined #ocaml

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

03:39 troydm has quit [Ping timeout: 272 seconds]

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

03:43 chrisz has joined #ocaml

03:46 bobo has joined #ocaml

03:46 spip has quit [Ping timeout: 260 seconds]

03:57 troydm has joined #ocaml

04:28 count3rmeasure has quit [Quit: Leaving]

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

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

05:20 rgrinberg has joined #ocaml

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

05:49 humasect has joined #ocaml

05:59 calvnce has joined #ocaml

06:18 trev has joined #ocaml

06:42 nerdypepper is now known as np

06:49 Haudegen has joined #ocaml

07:19 troydm has quit [Ping timeout: 272 seconds]

07:24 hsw has joined #ocaml

08:07 Serpent7776 has joined #ocaml

08:09 bartholin has joined #ocaml

08:36 mro has joined #ocaml

08:46 bartholin has quit [Quit: Leaving]

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

08:54 mro has joined #ocaml

09:28 kakadu has joined #ocaml

09:31 podge has joined #ocaml

09:33 alexherbo2 has joined #ocaml

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

09:40 mro has joined #ocaml

09:41 humasect has quit [Quit: Leaving...]

10:10 wingsorc has quit [Quit: Leaving]

10:24 troydm has joined #ocaml

10:39 olle has joined #ocaml

10:54 podge has quit [Ping timeout: 265 seconds]

11:03 hsw has quit [Remote host closed the connection]

11:03 hsw has joined #ocaml

11:10 calvnce has quit [Ping timeout: 260 seconds]

11:38 mro has quit [Quit: Leaving...]

11:45 Haudegen has quit [Ping timeout: 246 seconds]

11:45 Haudegen has joined #ocaml

11:52 jao has joined #ocaml

11:54 wingsorc has joined #ocaml

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

12:12 John_Ivan_ has joined #ocaml

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

12:12 genpaku has joined #ocaml

12:18 jlrnick has joined #ocaml

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

12:35 Techcable has quit [Ping timeout: 272 seconds]

12:44 Techcable has joined #ocaml

12:51 jlrnick has quit [Ping timeout: 260 seconds]

13:35 dnh has joined #ocaml

13:38 Haudegen has joined #ocaml

13:58 podge has joined #ocaml

14:16 azimut has joined #ocaml

14:22 alexherbo2 has quit [Remote host closed the connection]

14:22 alexherbo2 has joined #ocaml

14:33 gwizon has joined #ocaml

14:34 rgrinberg has joined #ocaml

14:42 podge has quit [Ping timeout: 260 seconds]

14:58 jlrnick has joined #ocaml

15:16 dnh has quit [Quit: Textual IRC Client: www.textualapp.com]

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

15:19 alexherbo2 has joined #ocaml

15:43 podge has joined #ocaml

15:46 spip has joined #ocaml

15:46 bobo has quit [Ping timeout: 272 seconds]

15:49 podge has quit [Ping timeout: 256 seconds]

16:00 jao has quit [Ping timeout: 268 seconds]

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

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

16:15 troydm has quit [Ping timeout: 255 seconds]

16:25 rgrinberg has joined #ocaml

16:37 jlrnick has quit [Ping timeout: 246 seconds]

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

16:42 Tuplanolla has joined #ocaml

16:43 olle has quit [Ping timeout: 268 seconds]

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

17:06 calvnce has joined #ocaml

17:20 bgs has joined #ocaml

17:25 count3rmeasure has joined #ocaml

17:34 jao has joined #ocaml

17:39 bgs has quit [Remote host closed the connection]

17:45 calvnce has quit [Quit: Client closed]

17:49 trev has quit [Remote host closed the connection]

18:00 ns12 has quit [Quit: bye]

18:00 Haudegen has joined #ocaml

18:01 ns12 has joined #ocaml

18:02 bartholin has joined #ocaml

18:08 troydm has joined #ocaml

18:18 count3rmeasure has quit [Ping timeout: 252 seconds]

18:23 count3rmeasure has joined #ocaml

18:45 hackinghorn has quit [Ping timeout: 246 seconds]

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

19:06 olle has joined #ocaml

19:22 hackinghorn has joined #ocaml

19:26 olle has quit [Ping timeout: 268 seconds]

19:27 olle has joined #ocaml

19:30 rgrinberg has joined #ocaml

19:32 Stumpfenstiel has joined #ocaml

19:38 <olle> https://discuss.ocaml.org/t/whats-the-best-way-to-represent-type-variables-inside-an-ast/11182 - Good enough to work...?

20:08 <olle> I can't combine match x with | Foo {} as f when p -> ... ?

20:10 trev has joined #ocaml

20:10 <olle> Meh just a typo

20:20 <olle> Btw, when doing 'a -> 'a, what decides which unifies to what?

20:21 <olle> The input or the output?

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

20:24 <octachron> Both. With a principal type system, the order is irrelevant, all order leads to the same type.

20:27 <olle> Hm

20:27 <olle> octachron: or an error?

20:30 count3rmeasure has quit [Ping timeout: 268 seconds]

20:31 <octachron> Or a contradiction (aka a type error)

20:32 <olle> Right

20:38 count3rmeasure has joined #ocaml

20:45 VictorHugenay has joined #ocaml

20:59 olle has quit [Ping timeout: 272 seconds]

21:22 count3rmeasure has quit [Ping timeout: 272 seconds]

21:24 count3rmeasure has joined #ocaml

21:24 jao has quit [Ping timeout: 260 seconds]

21:44 VictorHugenay has quit [Quit: Konversation terminated!]

22:10 count3rmeasure has quit [Quit: Leaving]

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

22:56 kronicmage has joined #ocaml

22:56 <kronicmage> Hey folks, any nix users here?

22:56 <kronicmage> I have a dune project that has a few ocaml dependencies

22:56 <kronicmage> I have a shell.nix that installs those dependencies

22:56 <kronicmage> But dune is unable to find them

22:57 <kronicmage> How do I get dune to recognize the dependencies installed in the nix-shell?

23:07 olle has joined #ocaml

23:16 <kronicmage> Nvm, fixed by installing ocamlPackages.findLib in the shell

23:16 Stumpfenstiel has quit [Quit: No Ping reply in 180 seconds.]

23:18 Stumpfenstiel has joined #ocaml

23:20 bartholin has quit [Quit: Leaving]

23:37 waleee has joined #ocaml

23:40 rgrinberg has joined #ocaml

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