#ocaml on 2021-03-20 — irc logs at freenode.irclog.whitequark.org

2020-09-11 13:16 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:14 elusive has joined #ocaml

00:17 elusive has quit [Client Quit]

00:17 elusive has joined #ocaml

00:18 mxns has quit [Ping timeout: 264 seconds]

00:32 mxns has joined #ocaml

00:37 mxns has quit [Ping timeout: 265 seconds]

00:38 landonf has quit [Excess Flood]

00:38 decentpenguin has quit [Ping timeout: 245 seconds]

00:40 landonf has joined #ocaml

00:48 mxns has joined #ocaml

00:53 mxns has quit [Ping timeout: 264 seconds]

00:53 mxns has joined #ocaml

00:54 landonf has quit [Excess Flood]

00:54 landonf has joined #ocaml

00:57 dhil has quit [Ping timeout: 245 seconds]

00:58 zebrag has quit [Quit: Konversation terminated!]

00:58 zebrag has joined #ocaml

01:00 decentpenguin has joined #ocaml

01:13 mxns has quit [Ping timeout: 276 seconds]

01:17 mxns has joined #ocaml

01:28 rock64 has quit [Ping timeout: 256 seconds]

01:29 mxns has quit [Ping timeout: 265 seconds]

01:30 rock64 has joined #ocaml

01:41 mxns has joined #ocaml

01:42 Haudegen has quit [Ping timeout: 276 seconds]

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

01:58 zebrag has joined #ocaml

02:08 mxns has quit [Ping timeout: 264 seconds]

02:19 mxns has joined #ocaml

02:24 mxns has quit [Ping timeout: 265 seconds]

02:27 mxns has joined #ocaml

02:34 mxns has quit [Ping timeout: 240 seconds]

02:35 mxns has joined #ocaml

02:36 nullcone has quit [Quit: Connection closed for inactivity]

02:57 osa1 has quit [Ping timeout: 256 seconds]

02:58 zebrag has quit [Quit: Konversation terminated!]

02:58 zebrag has joined #ocaml

03:12 mxns has quit [Ping timeout: 256 seconds]

03:23 mxns has joined #ocaml

03:27 zebrag has quit [Ping timeout: 265 seconds]

03:30 mxns has quit [Ping timeout: 246 seconds]

03:31 nullcone has joined #ocaml

03:42 _whitelogger_ has joined #ocaml

03:54 elusive has quit [Remote host closed the connection]

04:56 snowpanda has joined #ocaml

05:17 hosewiejacke has joined #ocaml

05:22 mfp has quit [Ping timeout: 240 seconds]

05:37 mxns has joined #ocaml

05:42 mxns has quit [Ping timeout: 240 seconds]

05:48 mxns has joined #ocaml

05:55 mxns has quit [Ping timeout: 256 seconds]

06:09 _whitelogger_ has quit [Remote host closed the connection]

06:09 _whitelogger_ has joined #ocaml

06:16 osa1 has joined #ocaml

06:17 krkini has joined #ocaml

06:18 kini has quit [Ping timeout: 264 seconds]

06:25 osa1 has quit [Remote host closed the connection]

06:29 mbuf has joined #ocaml

06:33 _whitelogger_ has quit [Remote host closed the connection]

06:33 _whitelogger_ has joined #ocaml

06:37 krkini has quit [Quit: bye]

06:45 _whitelogger_ has quit [Remote host closed the connection]

06:45 _whitelogger_ has joined #ocaml

06:46 hosewiejacke has quit [Ping timeout: 240 seconds]

06:47 narimiran has joined #ocaml

06:48 kini has joined #ocaml

06:56 neiluj has quit [Ping timeout: 246 seconds]

06:58 neiluj has joined #ocaml

07:03 _whitelogger_ has quit [Remote host closed the connection]

07:03 _whitelogger_ has joined #ocaml

07:07 snowpanda has quit [Quit: Leaving...]

07:44 hosewiejacke has joined #ocaml

08:15 adrianbrink has quit [Ping timeout: 240 seconds]

08:15 adrianbrink has joined #ocaml

08:15 adrianbrink has quit [Changing host]

08:20 stylewarning_ has joined #ocaml

08:23 stylewarning has quit [Ping timeout: 240 seconds]

08:23 stylewarning_ is now known as stylewarning

08:35 wonko7 has joined #ocaml

08:43 terabit has quit [Ping timeout: 240 seconds]

08:45 terabit has joined #ocaml

08:46 narimiran has quit [Ping timeout: 240 seconds]

08:59 Tuplanolla has joined #ocaml

09:20 kini has quit [Remote host closed the connection]

09:22 kini has joined #ocaml

09:34 hosewiejacke has quit [Ping timeout: 245 seconds]

09:37 TheLemonMan has joined #ocaml

09:53 mxns has joined #ocaml

09:54 dhil has joined #ocaml

09:58 mxns has quit [Ping timeout: 265 seconds]

10:02 hosewiejacke has joined #ocaml

10:13 wonko7 has quit [Ping timeout: 244 seconds]

10:42 neiluj has quit [Ping timeout: 265 seconds]

10:43 neiluj has joined #ocaml

10:48 tryte has quit [Remote host closed the connection]

10:49 tryte has joined #ocaml

11:06 chripell has quit [Quit: ZNC 1.8.2+deb2+build2 - https://znc.in]

11:07 Haudegen has joined #ocaml

11:13 chripell has joined #ocaml

11:14 vicfred has quit [Quit: Leaving]

11:22 bartholin has joined #ocaml

11:35 neiluj has quit [Ping timeout: 264 seconds]

11:35 neiluj has joined #ocaml

11:37 <d_bot_> <EduardoRFS> There is any way to do Types.type_expr to Parstree.core_type in the compiler? Even better, there is enough information to do it?

11:46 neiluj has quit [Ping timeout: 246 seconds]

11:46 neiluj has joined #ocaml

11:49 hosewiejacke has quit [Ping timeout: 240 seconds]

11:54 mxns has joined #ocaml

11:58 mxns has quit [Ping timeout: 240 seconds]

12:02 <d_bot_> <octachron> The translation Types.type_expr -> Parsetree.core_type should be quite straightforward (if one doesn't forget that types are digraphes and not trees in OCaml; and the issue with ghost row variable types).

12:02 neiluj_ has joined #ocaml

12:03 <d_bot_> <octachron> There are some syntactic sugars that will not appear in the types (e.g inlined polymorphic variants (`` [ x | y ]`) and object fields `< x; y >` ).

12:26 <d_bot_> <EduardoRFS> that's okay for me, it's an important step when doing typed ppx

12:29 nepascourir has joined #ocaml

12:39 nepascourir has quit [Quit: Leaving]

13:04 neiluj_ has quit [Ping timeout: 240 seconds]

13:04 neiluj has quit [Ping timeout: 240 seconds]

13:05 neiluj has joined #ocaml

13:06 neiluj_ has joined #ocaml

13:08 hosewiejacke has joined #ocaml

13:10 nepascourir has joined #ocaml

13:11 mfp has joined #ocaml

13:20 bartholin has quit [Ping timeout: 240 seconds]

13:23 neiluj has joined #ocaml

13:23 neiluj has quit [Changing host]

13:23 neiluj has joined #ocaml

13:32 bartholin has joined #ocaml

13:45 bartholin has quit [Ping timeout: 245 seconds]

13:52 Markus_Elfring has joined #ocaml

14:06 bartholin has joined #ocaml

14:10 arecaceae has quit [Remote host closed the connection]

14:11 arecaceae has joined #ocaml

14:13 bartholin has quit [Ping timeout: 240 seconds]

14:19 mxns has joined #ocaml

14:23 mxns has quit [Ping timeout: 240 seconds]

14:28 mxns has joined #ocaml

14:30 qwr has quit [Ping timeout: 244 seconds]

14:32 qwr has joined #ocaml

14:43 raver has joined #ocaml

14:50 zebrag has joined #ocaml

15:00 nepascourir has quit [Quit: Leaving]

15:00 nepascourir has joined #ocaml

15:00 neiluj_ has quit [Quit: leaving]

15:23 hosewiejacke has quit [Ping timeout: 240 seconds]

15:31 hosewiejacke has joined #ocaml

15:33 elusive has joined #ocaml

15:33 mxns has quit [Ping timeout: 240 seconds]

15:43 mxns has joined #ocaml

15:48 mxns has quit [Ping timeout: 244 seconds]

15:49 mxns has joined #ocaml

15:58 mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]

15:58 mxns has joined #ocaml

16:03 mxns has quit [Ping timeout: 265 seconds]

16:06 mxns has joined #ocaml

16:11 mxns has quit [Ping timeout: 256 seconds]

16:19 mxns has joined #ocaml

16:24 mxns has quit [Ping timeout: 260 seconds]

16:36 smerdyakov has quit [Read error: Connection reset by peer]

16:37 smerdyakov has joined #ocaml

16:37 mxns has joined #ocaml

16:45 mbuf has quit [Quit: Leaving]

17:03 mxns has quit [Ping timeout: 240 seconds]

17:09 hosewiejacke has quit [Ping timeout: 240 seconds]

17:12 mxns has joined #ocaml

17:16 mxns has quit [Ping timeout: 244 seconds]

17:24 nicoo has quit [Ping timeout: 268 seconds]

17:28 nicoo has joined #ocaml

17:30 arecaceae has quit [Remote host closed the connection]

17:30 arecaceae has joined #ocaml

17:46 nepascourir has quit [Quit: Leaving]

17:55 spiegelau has joined #ocaml

18:05 narimiran has joined #ocaml

18:13 mxns has joined #ocaml

18:17 mxns has quit [Ping timeout: 240 seconds]

18:18 <d_bot_> <cdaringe> @anmonteiro, teach me coach. i want to try out your bucklescript project. i'm new to `nix`, but happy to try it.

18:18 <d_bot_> <cdaringe>

18:18 <d_bot_> <cdaringe> - forked https://github.com/anmonteiro/bucklescript

18:18 <d_bot_> <cdaringe> - `nix-shell`

18:18 <d_bot_> <cdaringe> - `dune`

18:18 <d_bot_> <cdaringe> - compiler errors 😬

18:18 <d_bot_> <cdaringe>

18:18 <d_bot_> <cdaringe> my guess is the above cmds are incomplete/incorrect

18:18 <d_bot_> <anmonteiro> thanks for trying it out! if you're familiar with esy that might be easier to get started

18:24 hosewiejacke has joined #ocaml

18:25 zebrag has quit [Quit: Konversation terminated!]

18:25 zebrag has joined #ocaml

18:36 mxns has joined #ocaml

18:44 mxns has quit [Ping timeout: 240 seconds]

18:52 hosewiejacke has quit [Quit: Leaving]

18:58 mxns has joined #ocaml

19:02 mxns has quit [Ping timeout: 240 seconds]

19:05 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

19:19 mxns has joined #ocaml

19:24 mxns has quit [Ping timeout: 264 seconds]

19:25 zebrag has quit [Quit: Konversation terminated!]

19:25 zebrag has joined #ocaml

19:35 mxns has joined #ocaml

19:50 vicfred has joined #ocaml

20:03 narimiran has quit [Ping timeout: 246 seconds]

20:05 mxns has quit [Ping timeout: 264 seconds]

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

20:09 Haudegen has joined #ocaml

20:25 zebrag has quit [Quit: Konversation terminated!]

20:25 zebrag has joined #ocaml

20:33 Markus_Elfring has quit [Quit: Konversation terminated!]

20:40 spiegelau has quit [Ping timeout: 264 seconds]

20:47 mxns has joined #ocaml

20:52 mxns has quit [Ping timeout: 264 seconds]

20:59 mxns has joined #ocaml

21:03 mxns has quit [Ping timeout: 245 seconds]

21:25 zebrag has quit [Quit: Konversation terminated!]

21:25 zebrag has joined #ocaml

21:33 sz0 has quit [Quit: Connection closed for inactivity]

21:53 mxns has joined #ocaml

21:57 mxns has quit [Ping timeout: 246 seconds]

22:19 mxns has joined #ocaml

22:24 mxns has quit [Ping timeout: 265 seconds]

22:25 zebrag has quit [Read error: Connection reset by peer]

22:25 zebrag has joined #ocaml

22:31 mxns has joined #ocaml

22:35 mxns has quit [Ping timeout: 240 seconds]

22:40 mxns has joined #ocaml

22:45 mxns has quit [Ping timeout: 244 seconds]

22:46 mxns has joined #ocaml

22:51 mxns has quit [Ping timeout: 240 seconds]

22:51 spiegelau has joined #ocaml

22:59 mxns has joined #ocaml

23:03 mxns has quit [Ping timeout: 265 seconds]

23:04 mxns has quit [Ping timeout: 265 seconds]

23:04 mxns has joined #ocaml

23:06 andreas31 has quit [Remote host closed the connection]

23:07 andreas31 has joined #ocaml

23:08 mxns has quit [Ping timeout: 265 seconds]

23:17 mxns has joined #ocaml

23:21 mxns has quit [Ping timeout: 256 seconds]

23:24 cartwright has quit [Remote host closed the connection]

23:25 cartwright has joined #ocaml

23:25 zebrag has quit [Quit: Konversation terminated!]

23:25 zebrag has joined #ocaml

23:27 mxns has joined #ocaml

23:31 mxns has quit [Ping timeout: 264 seconds]

23:36 mxns has joined #ocaml

23:40 mxns has quit [Ping timeout: 264 seconds]

23:48 spiegelau has quit [Quit: leaving]

23:52 mxns has joined #ocaml

23:57 mxns has quit [Ping timeout: 265 seconds]