#ocaml on 2023-01-21 — 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:00 wingsorc__ has joined #ocaml

00:19 bgs has joined #ocaml

00:29 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

00:55 zozozo has quit [Ping timeout: 260 seconds]

01:02 xgqt has quit [Ping timeout: 246 seconds]

01:02 jlrnick has quit [Ping timeout: 260 seconds]

01:13 xgqt has joined #ocaml

01:16 hsw has quit [Quit: Leaving]

01:18 Stumpfenstiel has quit [Ping timeout: 272 seconds]

01:30 Tuplanolla has quit [Ping timeout: 272 seconds]

01:34 sadiq has quit [Ping timeout: 260 seconds]

01:35 ebb has quit [Ping timeout: 246 seconds]

01:35 Riviera has quit [Ping timeout: 260 seconds]

01:39 Haudegen has quit [Ping timeout: 260 seconds]

01:48 ebb has joined #ocaml

01:53 ebb has quit [Max SendQ exceeded]

01:57 sadiq has joined #ocaml

01:58 Riviera has joined #ocaml

01:58 ebb has joined #ocaml

02:17 spip has joined #ocaml

02:17 bobo has quit [Ping timeout: 256 seconds]

02:29 rgrinberg has joined #ocaml

02:31 megeve has joined #ocaml

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

02:58 rgrinberg has joined #ocaml

03:11 chrisz has quit [Ping timeout: 265 seconds]

03:12 chrisz has joined #ocaml

03:21 sagax has joined #ocaml

03:28 rgrinberg has quit [Ping timeout: 272 seconds]

03:32 rgrinberg has joined #ocaml

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

03:45 terrorjack has joined #ocaml

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

04:12 bgs has quit [Remote host closed the connection]

04:16 rgrinberg has joined #ocaml

04:46 micro has quit [Quit: Lost terminal]

04:50 micro has joined #ocaml

04:50 troydm has joined #ocaml

04:51 waleee has quit [Ping timeout: 246 seconds]

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

05:37 parsnip has joined #ocaml

05:38 <parsnip> was considering to install `wyrd`, but never used ocaml before

05:38 <parsnip> https://wyrd-calendar.gitlab.io/wyrd/

05:38 <parsnip> 1. Install the OCaml findlib package for your operating system: https://repology.org/project/findlib/related

05:38 <parsnip> i guess i go somewhere like this: https://ocaml.org/docs/up-and-running

05:39 <parsnip> hmm, `brew install ocaml-findlib`?

05:46 <parsnip> so not `make` in `wyld` gets past the findlib issue, and it stops for curses. so i need opam for that?

05:56 <parsnip> `opam install -y ./wyrd.opam` fails

06:14 azimut_ has quit [Ping timeout: 255 seconds]

06:15 rgrinberg has joined #ocaml

06:16 jao has quit [Ping timeout: 260 seconds]

06:25 <parsnip> i give up

06:25 parsnip has left #ocaml [#ocaml]

07:41 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:58 xgqt has quit [Ping timeout: 272 seconds]

08:04 bartholin has joined #ocaml

09:13 Tuplanolla has joined #ocaml

10:07 Haudegen has joined #ocaml

10:22 olle has joined #ocaml

10:42 xgqt has joined #ocaml

10:57 wingsorc__ has quit [Quit: Leaving]

11:00 wingsorc has joined #ocaml

11:05 Serpent7776 has joined #ocaml

11:06 zozozo has joined #ocaml

11:11 bartholin has quit [Quit: Leaving]

11:36 cedric has joined #ocaml

11:37 cedric has quit [Client Quit]

12:22 xgqt has quit [Ping timeout: 256 seconds]

12:29 perrierjouet has quit [Quit: WeeChat 3.8]

12:39 sagax has quit [Ping timeout: 268 seconds]

12:54 perrierjouet has joined #ocaml

13:14 pie_ has quit []

13:15 pie_ has joined #ocaml

13:24 hrberg has joined #ocaml

13:54 Anarchos has joined #ocaml

14:06 <Anarchos> hello

14:11 <Fardale> Hi!

14:15 spip has quit [Read error: Connection reset by peer]

14:16 spip has joined #ocaml

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

14:24 jao has joined #ocaml

14:25 alexherbo2 has joined #ocaml

14:36 chrisz has quit [Ping timeout: 260 seconds]

14:37 wingsorc has quit [Ping timeout: 246 seconds]

14:47 chrisz has joined #ocaml

14:55 perrierjouet has joined #ocaml

15:05 Anarchos has quit [Quit: Vision[]: i've been blurred!]

15:11 rgrinberg has joined #ocaml

15:15 azimut has joined #ocaml

15:27 waleee has joined #ocaml

15:28 rgrinberg has quit [Read error: Connection reset by peer]

15:28 Stumpfenstiel has joined #ocaml

15:29 bartholin has joined #ocaml

15:33 rgrinberg has joined #ocaml

15:49 bgs has joined #ocaml

15:57 Stumpfenstiel has quit [Quit: No Ping reply in 180 seconds.]

15:59 Stumpfenstiel has joined #ocaml

16:01 Anarchos has joined #ocaml

16:01 perrierjouet has quit [Quit: WeeChat 3.8]

16:03 perrierjouet has joined #ocaml

16:06 <zebrag[m]> `type 'a fin =... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/9d348888e5057e8bbe63ec639f0dc5cb58e3549e>)

16:07 <zebrag[m]> That is not what I expected, I don't think you can read that

16:10 <zebrag[m]> https://paste.debian.net/1268035/

16:11 <zebrag[m]> My question is `let foo : zero fin -> 'a = look Empty` should not be accepted by the compiler

16:12 <zebrag[m]> because there are no values of type zero fin

16:14 <zebrag[m]> In the Haskell version they don't have the `Empty, _ -> assert false` case.

16:30 <Anarchos> i am looking for a haskell -> ocaml converter.

16:32 <zebrag[m]> hehe

16:34 <Anarchos> zebrag[m] i want to copy github.com/digama/mm0/mm0-hs in ocaml

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

16:39 Anarchos has quit [Ping timeout: 265 seconds]

16:41 <zebrag[m]> I can't find anything with that name

16:47 rgrinberg has joined #ocaml

16:47 trev_ has joined #ocaml

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

17:03 rgrinberg has joined #ocaml

17:05 rgrinberg has quit [Client Quit]

17:08 rgrinberg has joined #ocaml

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

17:24 perrierjouet has joined #ocaml

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

17:41 count3rmeasure has joined #ocaml

17:46 Stumpfenstiel has quit [Remote host closed the connection]

17:46 Stumpfenstiel has joined #ocaml

17:54 tsns has joined #ocaml

17:54 tsns has left #ocaml [#ocaml]

18:21 olle has quit [Ping timeout: 260 seconds]

18:27 count3rmeasure has quit [Ping timeout: 246 seconds]

18:29 Serpent7776 has quit [Ping timeout: 268 seconds]

19:07 count3rmeasure has joined #ocaml

19:19 barak has joined #ocaml

19:20 olle has joined #ocaml

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

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

20:35 genpaku has quit [Remote host closed the connection]

20:39 genpaku has joined #ocaml

20:50 jlrnick has joined #ocaml

20:50 slothby has quit [Quit: brb ... maybe]

20:54 slothby has joined #ocaml

21:02 oriba has joined #ocaml

21:23 gdd has joined #ocaml

21:23 count3rmeasure has quit [Quit: Leaving]

21:54 bgs has quit [Remote host closed the connection]

22:05 jlrnick has quit [Ping timeout: 264 seconds]

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

23:33 olle has quit [Ping timeout: 260 seconds]

23:48 bartholin has quit [Remote host closed the connection]

23:49 rgrinberg has joined #ocaml

23:58 wingsorc has joined #ocaml