#ocaml on 2019-03-28 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:09 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:11 cods has quit [Ping timeout: 252 seconds]

00:12 cods has joined #ocaml

00:17 AnAverageHuman has quit [Ping timeout: 256 seconds]

00:18 unyu has joined #ocaml

00:27 kvda has joined #ocaml

00:29 amiloradovsky has quit [Ping timeout: 272 seconds]

00:37 demonimin has quit [Ping timeout: 245 seconds]

00:48 caltelt_ has quit [Ping timeout: 245 seconds]

00:50 truenickels has joined #ocaml

00:58 demonimin has joined #ocaml

00:58 demonimin has quit [Changing host]

01:01 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:07 silver has quit [Quit: rakede]

01:25 mfp has quit [Ping timeout: 245 seconds]

01:26 mbac has quit [Ping timeout: 246 seconds]

01:26 nore has quit [Ping timeout: 252 seconds]

01:33 nore has joined #ocaml

01:33 mbac has joined #ocaml

01:38 <Netsu> Have no clue, how to fix this https://gist.github.com/Pitometsu/772b4cf7d045a09618a2799bb721d986

01:38 spew has quit [Quit: Connection closed for inactivity]

01:41 caltelt_ has joined #ocaml

01:46 caltelt_ has quit [Ping timeout: 246 seconds]

01:47 <Netsu> UPD: even like that https://gist.github.com/Pitometsu/772b4cf7d045a09618a2799bb721d986

01:47 <Netsu> are type constraints not work for gadt type parameters?

01:49 <Netsu> Even this does not work: type 'a k = [`K|'a] constraint 'a1 = [`A];;

01:55 <Ankhers> https://gist.github.com/ankhers/32beed75377ef4ed028ffb4a7c97fca0 -- Would someone mind taking a look at this and let me know why I am getting that error?

02:01 <Ankhers> Nevermind. I was only passing one argument into the map find.

02:05 kvda has joined #ocaml

02:14 truenickels has quit [Quit: Page closed]

02:18 AnAverageHuman has joined #ocaml

02:44 kini has quit [Quit: No Ping reply in 180 seconds.]

02:51 kini has joined #ocaml

03:12 pierpal has quit [Quit: Poof]

03:12 pierpal has joined #ocaml

03:50 tormen_ has joined #ocaml

03:53 caltelt_ has joined #ocaml

03:54 tormen has quit [Ping timeout: 250 seconds]

04:04 gravicappa has joined #ocaml

04:11 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:14 jao has quit [Ping timeout: 250 seconds]

04:18 al-damiri has quit [Quit: Connection closed for inactivity]

04:26 ocabot2 has joined #ocaml

04:26 ocabot2 has quit [Remote host closed the connection]

04:38 shmibs has quit [Quit: leaving =o]

04:39 shmibs has joined #ocaml

04:50 keep_learning_M has quit [Quit: Leaving]

04:55 kvda has joined #ocaml

04:58 kvda has quit [Client Quit]

05:01 assemblyman has joined #ocaml

05:08 assemblyman has quit [Quit: ™]

05:09 caltelt_ has quit [Ping timeout: 250 seconds]

05:14 keep_learning_M has joined #ocaml

05:20 AnAverageHuman has quit [Ping timeout: 256 seconds]

05:30 sonologico has joined #ocaml

06:27 jimt has quit [Quit: WeeChat 1.9.1]

06:52 sonologico has quit [Remote host closed the connection]

06:54 Netsu has quit [Ping timeout: 256 seconds]

07:27 lukky513 has quit [Ping timeout: 245 seconds]

07:27 jave has quit [Ping timeout: 245 seconds]

07:30 barockobamo has joined #ocaml

07:31 jave has joined #ocaml

07:40 ollehar has joined #ocaml

07:43 lukky513 has joined #ocaml

07:55 ollehar has quit [Ping timeout: 245 seconds]

07:56 barockobamo has quit [Remote host closed the connection]

08:10 zolk3ri has joined #ocaml

08:10 Birdface has joined #ocaml

08:19 rwmjones_ is now known as rwmjones

08:35 Haudegen has joined #ocaml

08:53 caltelt_ has joined #ocaml

09:17 barockobamo has joined #ocaml

09:19 barockobamo has quit [Client Quit]

09:24 mfp has joined #ocaml

10:42 caltelt_ has quit [Ping timeout: 268 seconds]

10:46 tizoc has quit [Quit: Coyote finally caught me]

10:46 tizoc has joined #ocaml

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

11:05 demonimin has quit [Ping timeout: 246 seconds]

11:08 demonimin has joined #ocaml

11:08 demonimin has quit [Changing host]

11:51 silver has joined #ocaml

12:17 Haudegen has quit [Remote host closed the connection]

12:21 demonimin has quit [Ping timeout: 246 seconds]

12:22 demonimin has joined #ocaml

12:22 demonimin has quit [Changing host]

12:22 demonimin has joined #ocaml

12:25 gareppa has joined #ocaml

12:28 gareppa has quit [Remote host closed the connection]

12:32 jimt has joined #ocaml

12:53 demonimin has quit [Quit: bye]

13:15 mengu has joined #ocaml

13:19 barockobamo has joined #ocaml

13:22 Haudegen has joined #ocaml

13:23 spew has joined #ocaml

13:26 AnAverageHuman has joined #ocaml

13:54 Netsu has joined #ocaml

14:05 yomimono has quit [Ping timeout: 272 seconds]

14:11 jaar has joined #ocaml

14:12 yomimono has joined #ocaml

14:14 jao has joined #ocaml

14:15 <Netsu> If I have type 'a x = [> `A ] as 'a;; (* and *) type y = [`B];; How can I construct [>`B|`A] or [`B|`A] via x and y types?

14:16 wilfredh has joined #ocaml

14:20 <thizanne> type t = [[`A] x | y];; works

14:23 <octachron> and "type t = [> y ] x"

14:23 unyu has quit [Ping timeout: 250 seconds]

14:29 <Netsu> octachron: you mean type 'a t = [> y ] x as 'a;; for sure, thank you!

14:33 <Netsu> Oh, I see, how to combine two open types now: type 'b n = [> ] t x as 'b;;

14:34 <Netsu> But can I transform open polimorphic type to closed one? (e.g. [> `A|`B] to [`A|`B])?

14:41 <Netsu> maybe it require at least one explicit component, obviously...

14:42 al-damiri has joined #ocaml

14:55 ygrek has joined #ocaml

15:00 bebarker has joined #ocaml

15:00 bebarker has quit [Remote host closed the connection]

15:01 krishnab has joined #ocaml

15:01 tomacat1 has joined #ocaml

15:01 AnAverageHuman has quit [Ping timeout: 256 seconds]

15:01 tomacat1 has quit [Remote host closed the connection]

15:02 krishnab has quit [Read error: Connection reset by peer]

15:03 heinrich599113 has joined #ocaml

15:03 heinrich599113 has quit [Remote host closed the connection]

15:09 koshii19 has joined #ocaml

15:09 twouters23 has joined #ocaml

15:09 koshii19 has quit [Remote host closed the connection]

15:09 twouters23 has quit [Remote host closed the connection]

15:19 bartzy23 has joined #ocaml

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

15:20 unyu has joined #ocaml

15:24 ygrek has quit [Ping timeout: 250 seconds]

15:33 Sven_vB18 has joined #ocaml

15:33 Sven_vB18 has quit [Remote host closed the connection]

15:39 sagotch has joined #ocaml

16:02 amiloradovsky has joined #ocaml

16:10 sagotch has quit [Quit: Leaving.]

16:12 tane has joined #ocaml

16:28 mengu has quit [Remote host closed the connection]

16:29 mengu has joined #ocaml

16:33 mengu has quit [Ping timeout: 245 seconds]

16:38 sh3iny has joined #ocaml

16:39 sh3iny has quit [Remote host closed the connection]

16:40 AnAverageHuman has joined #ocaml

16:43 mengu has joined #ocaml

16:47 mengu has quit [Ping timeout: 245 seconds]

16:51 Thornelius has joined #ocaml

16:51 Thornelius has quit [Remote host closed the connection]

17:06 AtumT has joined #ocaml

17:06 yomimono has quit [Ping timeout: 245 seconds]

17:10 jaar has quit [Quit: Leaving]

17:11 mengu has joined #ocaml

17:14 yomimono has joined #ocaml

17:15 mengu has quit [Ping timeout: 255 seconds]

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

17:31 barockobamo has quit [Remote host closed the connection]

17:44 Haudegen has joined #ocaml

17:59 pierpal has quit [Quit: Poof]

17:59 pierpal has joined #ocaml

18:04 yomimono has quit [Ping timeout: 255 seconds]

18:09 yomimono has joined #ocaml

18:09 AnAverageHuman has quit [Ping timeout: 256 seconds]

18:15 yomimono has quit [Ping timeout: 255 seconds]

18:16 yomimono has joined #ocaml

18:17 Haudegen has quit [Remote host closed the connection]

18:17 Haudegen has joined #ocaml

18:26 <dinosaure> someone has a version of x509 without any errors with ppx?

18:26 <dinosaure> plz

18:26 <dinosaure> it's a nightmare

18:30 <dinosaure> fixed ...

18:36 thurstylark has joined #ocaml

18:36 thurstylark has quit [Remote host closed the connection]

18:37 AnAverageHuman has joined #ocaml

18:40 ygrek has joined #ocaml

18:54 kakadu_ has joined #ocaml

18:58 AnAverageHuman has quit [Ping timeout: 256 seconds]

19:05 Guest67700 has joined #ocaml

19:05 Guest67700 has quit [Remote host closed the connection]

19:06 floWenoL has joined #ocaml

19:06 floWenoL has quit [Remote host closed the connection]

19:11 almostdvs has joined #ocaml

19:11 almostdvs has quit [Remote host closed the connection]

19:12 AnAverageHuman has joined #ocaml

19:18 diegok has joined #ocaml

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

19:22 q9929t has joined #ocaml

19:24 Bent09 has joined #ocaml

19:25 gareppa has joined #ocaml

19:25 Bent09 has quit [Remote host closed the connection]

19:26 gareppa has quit [Client Quit]

19:36 yomimono has quit [Ping timeout: 246 seconds]

19:43 yomimono has joined #ocaml

19:49 baiguai18 has joined #ocaml

19:49 baiguai18 has quit [Remote host closed the connection]

19:51 gravicappa has quit [Ping timeout: 250 seconds]

19:51 hehalmet_ has joined #ocaml

19:51 hehalmet_ has quit [Remote host closed the connection]

20:04 jnavila has joined #ocaml

20:11 Birdface has quit [Remote host closed the connection]

20:11 Birdface has joined #ocaml

20:26 ygrek has quit [Ping timeout: 245 seconds]

20:55 unyu has quit [Remote host closed the connection]

20:57 unyu has joined #ocaml

21:03 unyu has quit [Ping timeout: 258 seconds]

21:07 AnAverageHuman has quit [Ping timeout: 256 seconds]

21:11 jnavila has quit [Quit: Konversation terminated!]

21:11 jnavila has joined #ocaml

21:11 AnAverageHuman has joined #ocaml

21:15 Jikai has joined #ocaml

21:15 Jikai has quit [Remote host closed the connection]

21:16 KnownSyntax2 has joined #ocaml

21:16 KnownSyntax2 has quit [Remote host closed the connection]

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

21:27 desuwa9 has joined #ocaml

21:27 desuwa9 has quit [Remote host closed the connection]

21:30 joohoi21 has joined #ocaml

21:30 joohoi21 has quit [Remote host closed the connection]

21:32 spew has quit [Quit: going home]

21:33 zdzichu11 has joined #ocaml

21:33 zdzichu11 has quit [Remote host closed the connection]

21:34 lyo has joined #ocaml

21:34 lyo has quit [Remote host closed the connection]

21:35 yomimono has joined #ocaml

21:35 t4nk377 has joined #ocaml

21:41 silver_ has joined #ocaml

21:43 t4nk377 has quit [Quit: Page closed]

21:44 silver has quit [Ping timeout: 245 seconds]

21:49 sney22 has joined #ocaml

21:49 sney22 has quit [Remote host closed the connection]

21:52 caltelt_ has joined #ocaml

22:04 kakadu_ has quit [Remote host closed the connection]

22:07 lyxia has quit [Ping timeout: 250 seconds]

22:11 Birdface has quit [Ping timeout: 246 seconds]

22:12 jnavila has quit [Remote host closed the connection]

22:19 tane has quit [Quit: Leaving]

22:25 unyu has joined #ocaml

22:26 lyxia has joined #ocaml

22:34 unyu has quit [Remote host closed the connection]

22:43 DimStar18 has joined #ocaml

22:43 DimStar18 has quit [Remote host closed the connection]

22:48 okuu has joined #ocaml

22:52 Hendikins9 has joined #ocaml

22:52 Hendikins9 has quit [Remote host closed the connection]

23:02 Gaffel10 has joined #ocaml

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

23:07 kvda has joined #ocaml

23:11 yomimono has quit [Quit: Lost terminal]

23:12 Guest60053 has joined #ocaml

23:12 okuu is now known as unyu

23:13 Guest60053 has left #ocaml [#ocaml]

23:14 unyu has quit [Quit: ERC (IRC client for Emacs 26.1)]

23:27 AnAverageHuman has quit [Ping timeout: 256 seconds]

23:53 amiloradovsky has quit [Ping timeout: 250 seconds]

23:54 amiloradovsky has joined #ocaml

23:59 ygrek has joined #ocaml