#ocaml on 2021-05-06 — 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

01:16 raver has quit [Read error: Connection reset by peer]

01:21 toppler has quit [Read error: Connection reset by peer]

01:21 toppler has joined #ocaml

01:47 bacam_ has joined #ocaml

01:52 pippijn has quit [*.net *.split]

01:52 jbrown has quit [*.net *.split]

01:52 Madars has quit [*.net *.split]

01:52 pflanze has quit [*.net *.split]

01:52 towel has quit [*.net *.split]

01:52 bacam has quit [*.net *.split]

01:52 clockish has quit [*.net *.split]

01:52 Leonidas has quit [*.net *.split]

01:52 tristanC has quit [*.net *.split]

01:52 mrd has quit [*.net *.split]

01:52 nore has quit [*.net *.split]

01:52 remexre has quit [*.net *.split]

01:52 rntz2 has quit [*.net *.split]

01:52 eagleflo has quit [*.net *.split]

01:52 theblatte has quit [*.net *.split]

01:53 pippijn has joined #ocaml

01:53 Serpent7776 has quit [Ping timeout: 240 seconds]

01:53 pflanze has joined #ocaml

01:53 towel has joined #ocaml

01:53 eagleflo has joined #ocaml

01:53 Madars has joined #ocaml

01:53 nore has joined #ocaml

01:53 remexre has joined #ocaml

01:53 rntz2 has joined #ocaml

01:53 theblatte has joined #ocaml

01:53 tristanC has joined #ocaml

01:53 jbrown has joined #ocaml

01:53 clockish has joined #ocaml

01:53 mrd has joined #ocaml

01:53 Leonidas has joined #ocaml

01:54 Serpent7776 has joined #ocaml

01:55 Jesin has quit [Ping timeout: 265 seconds]

01:55 Jesin has joined #ocaml

01:56 toppler has quit [Read error: Connection reset by peer]

01:56 toppler has joined #ocaml

02:02 mfp has quit [Ping timeout: 240 seconds]

04:39 neshpion has quit [Ping timeout: 240 seconds]

04:40 neshpion has joined #ocaml

04:41 neshpion has quit [Client Quit]

04:43 toppler has quit [Read error: Connection reset by peer]

04:43 toppler has joined #ocaml

05:10 narimiran has joined #ocaml

06:14 mro_name has joined #ocaml

06:16 wonko7 has quit [Quit: See You Space Cowboy..]

06:30 toppler has quit [Read error: Connection reset by peer]

06:30 toppler has joined #ocaml

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

07:05 mro_name has joined #ocaml

07:09 raver has joined #ocaml

07:09 toppler has quit [Read error: Connection reset by peer]

07:10 toppler has joined #ocaml

07:12 TheLemonMan has joined #ocaml

07:21 <sim642> I've got some crazy attempt with GADTs and second rank polymorphism that has a type error I don't understand: https://gist.github.com/sim642/afc871eacba1622440e957e9588dc1a2#file-queries-ml-L27

07:21 <sim642> I suspect it isn't possible like this anyway, due to b having to escape there

07:22 <sim642> But I'm confused about why it's expecting ['a] not ['a t]

07:22 Haudegen has joined #ocaml

07:27 waleee-cl has joined #ocaml

07:43 <d_bot> <bnguyenvanyen> Hi I think the fix is to use `type a.` in the declaration for query instead of `(type a)` (necessary for recursive functions on GADTs)

07:46 vicfred has quit [Quit: Leaving]

07:49 <sim642> Oooh! using "type a." just for the type signature inside MCP where query is being defined, but not in the module signature

07:50 <sim642> Because the latter isn't allowed

07:50 <sim642> For some reason I thought that if it's not allowed to be the type in the signature, it wouldn't be allowed in the definition either

07:51 <sim642> Thanks for the pointer, this part seems to compile now, but I'll have to see how far I can take this craziness

07:53 <d_bot> <bnguyenvanyen> No problem, it has a special meaning there, combining polymorphic annotation and locally abstract type. I remain a bit confused about the whole thing, but there are a few posts addressing this on discuss, for example: https://discuss.ocaml.org/t/locally-abstract-type-polymorphism-and-function-signature/4523/2

08:06 aquijoule_ has quit [Remote host closed the connection]

08:07 aquijoule_ has joined #ocaml

08:30 toppler has quit [Read error: Connection reset by peer]

08:30 toppler has joined #ocaml

08:59 dhil has joined #ocaml

09:00 bacam_ is now known as bacam

09:07 toppler has quit [Read error: Connection reset by peer]

09:07 toppler has joined #ocaml

09:15 bartholin has joined #ocaml

09:27 Haudegen has quit [Ping timeout: 240 seconds]

09:27 Haudegen has joined #ocaml

09:35 mfp has joined #ocaml

09:36 boxscape has joined #ocaml

09:39 jbrown has quit [Ping timeout: 246 seconds]

09:40 jbrown has joined #ocaml

09:43 toppler has quit [Read error: Connection reset by peer]

09:44 toppler has joined #ocaml

10:15 toppler has quit [Read error: Connection reset by peer]

10:16 toppler has joined #ocaml

10:39 mro_name has quit [Remote host closed the connection]

10:49 <d_bot> <Shon F> Are there any discord server mods around?

10:53 mro_name has joined #ocaml

10:54 White_Flame has quit [Read error: Connection reset by peer]

10:55 White_Flame has joined #ocaml

10:55 <d_bot> <Shon F> @admin there’s a user in the #beginners channel with swastika and HH (“heil hitler”) handle. Could we please boot them ASAP? Thanks 🙏

10:57 mro_name has quit [Remote host closed the connection]

10:59 toppler has quit [Read error: Connection reset by peer]

10:59 toppler has joined #ocaml

11:05 mro_name has joined #ocaml

11:06 <d_bot> <Recruiter6061> https://cdn.discordapp.com/attachments/436568060288172044/839820522686906368/Screenshot_20210506_130641_com.discord.png

11:06 <d_bot> <Recruiter6061> Why so

11:07 <d_bot> <Recruiter6061> I pasted some caml was fine

11:07 <d_bot> <Armael> a few lines is fine, more than that really spams the irc channel

11:12 mro_name has quit [Remote host closed the connection]

11:13 mro_name has joined #ocaml

11:15 mro_name has quit [Remote host closed the connection]

11:18 <d_bot> <Perry> Done.

11:46 toppler has quit [Read error: Connection reset by peer]

11:46 toppler has joined #ocaml

11:54 mro_name has joined #ocaml

11:58 mro_name has quit [Client Quit]

12:26 toppler has quit [Remote host closed the connection]

12:26 toppler has joined #ocaml

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

12:59 Jesin has quit [Quit: Leaving]

13:15 mro_name has joined #ocaml

13:17 tane has joined #ocaml

13:17 Jesin has joined #ocaml

13:19 wonko7 has joined #ocaml

13:21 mro_name has quit [Remote host closed the connection]

13:43 rpcope has quit [Ping timeout: 252 seconds]

13:44 Haudegen has joined #ocaml

13:45 narimiran has quit [Ping timeout: 246 seconds]

13:46 arecaceae has quit [Remote host closed the connection]

13:47 arecaceae has joined #ocaml

13:48 rpcope has joined #ocaml

14:03 mro_name has joined #ocaml

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

14:10 Anarchos has joined #ocaml

14:16 wonko7 has quit [Ping timeout: 265 seconds]

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

14:35 arecaceae has joined #ocaml

14:40 <Anarchos> hi

14:48 wonko7 has joined #ocaml

14:51 iZsh has quit [Quit: ZNC - http://znc.in]

14:51 iZsh has joined #ocaml

14:55 Anarchos1 has joined #ocaml

14:55 Anarchos has quit [Remote host closed the connection]

14:55 Anarchos1 has quit [Remote host closed the connection]

14:57 Anarchos has joined #ocaml

14:57 toppler has quit [Read error: Connection reset by peer]

14:57 toppler has joined #ocaml

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

15:14 Tuplanolla has joined #ocaml

15:16 zebrag has joined #ocaml

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

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

15:29 mro_name has joined #ocaml

15:33 zebrag has quit [Quit: Konversation terminated!]

15:41 bartholin has quit [Quit: Leaving]

15:48 Haudegen has quit [Quit: Bin weg.]

16:02 tane has quit [Quit: Leaving]

16:08 mro_name has quit [Remote host closed the connection]

16:12 neshpion has joined #ocaml

16:13 wonko7 has joined #ocaml

16:35 boxscape has quit [Ping timeout: 240 seconds]

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

16:37 toppler has joined #ocaml

16:49 Haudegen has joined #ocaml

17:05 mro_name has joined #ocaml

17:10 mro_name has quit [Ping timeout: 276 seconds]

17:19 boxscape has joined #ocaml

17:34 toppler has quit [Read error: Connection reset by peer]

17:34 toppler has joined #ocaml

17:36 mro_name has joined #ocaml

17:37 vicfred has joined #ocaml

17:53 <st8less> 👋

18:01 mro_name has quit [Remote host closed the connection]

18:07 mro_name has joined #ocaml

18:22 mro_name has quit [Remote host closed the connection]

18:23 mro_name has joined #ocaml

18:24 toppler has quit [Read error: Connection reset by peer]

18:24 toppler has joined #ocaml

18:52 iZsh has quit [Quit: ZNC - http://znc.in]

18:52 iZsh has joined #ocaml

19:22 wonko7 has quit [Ping timeout: 240 seconds]

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

19:27 toppler has joined #ocaml

20:01 mro_name has quit [Quit: Leaving...]

20:25 toppler has quit [Read error: Connection reset by peer]

20:26 toppler has joined #ocaml

20:26 jbrown has quit [Ping timeout: 260 seconds]

20:36 jbrown has joined #ocaml

20:59 toppler has quit [Read error: Connection reset by peer]

21:00 toppler has joined #ocaml

21:21 <d_bot> <Manu-sama> print_string("GRANDE ABRAÇO")

21:29 toppler has quit [Read error: Connection reset by peer]

21:29 toppler has joined #ocaml

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

22:07 so has joined #ocaml

22:17 dhil has quit [Ping timeout: 268 seconds]

22:57 andreas303 has quit [Ping timeout: 240 seconds]

22:57 Haudegen has quit [Ping timeout: 265 seconds]

22:59 andreas303 has joined #ocaml

23:02 neshpion has quit [Remote host closed the connection]

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

23:02 neshpion has joined #ocaml

23:05 neshpion has quit [Remote host closed the connection]

23:06 neshpion has joined #ocaml

23:53 toppler has quit [Read error: Connection reset by peer]

23:53 toppler has joined #ocaml