#ocaml on 2020-09-10 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 Jesin has joined #ocaml

00:07 reynir has quit [Ping timeout: 240 seconds]

00:08 reynir has joined #ocaml

00:16 nullcone has joined #ocaml

00:17 ollehar has quit [Ping timeout: 265 seconds]

00:17 Tuplanolla has quit [Quit: Leaving.]

00:18 ollehar has joined #ocaml

00:37 aaaaaa has joined #ocaml

01:12 reynir has quit [Ping timeout: 265 seconds]

01:12 reynir has joined #ocaml

01:29 mangoicedtea has quit [Remote host closed the connection]

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

02:03 _whitelogger has joined #ocaml

02:07 vicfred_ has joined #ocaml

02:09 vicfred has quit [Ping timeout: 256 seconds]

02:13 ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:22 laokz has joined #ocaml

02:30 ransom has joined #ocaml

02:51 mfp has quit [Ping timeout: 258 seconds]

03:03 aaaaaa has quit [Ping timeout: 258 seconds]

03:07 aaaaaa has joined #ocaml

03:09 aaaaaa has quit [Client Quit]

03:35 laokz has quit [Quit: Leaving]

03:44 vicfred_ has quit [Quit: Leaving]

03:44 reynir has quit [Ping timeout: 260 seconds]

03:44 vicfred has joined #ocaml

03:44 reynir has joined #ocaml

04:47 ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:18 narimiran has joined #ocaml

05:23 osa1 has joined #ocaml

05:46 ggole has joined #ocaml

06:01 waleee-cl has quit [Quit: Connection closed for inactivity]

06:01 mbuf has joined #ocaml

06:06 vicfred has quit [Quit: Leaving]

06:14 Serpent7776 has joined #ocaml

06:21 _whitelogger has joined #ocaml

07:13 Haudegen has joined #ocaml

07:36 reynir has quit [Ping timeout: 260 seconds]

07:37 reynir has joined #ocaml

07:47 Madars has quit [Ping timeout: 240 seconds]

07:51 Tuplanolla has joined #ocaml

07:59 dckc has quit [Ping timeout: 264 seconds]

08:03 Madars has joined #ocaml

08:04 dckc has joined #ocaml

08:04 borne has joined #ocaml

08:07 borne has quit [Client Quit]

08:11 borne has joined #ocaml

08:15 bartholin has quit [Quit: Leaving]

08:15 nullcone has quit [Quit: Connection closed for inactivity]

08:24 Madars has quit [Ping timeout: 256 seconds]

08:55 Madars has joined #ocaml

09:15 Madars has quit [Ping timeout: 256 seconds]

09:33 _whitelogger has joined #ocaml

09:42 Madars has joined #ocaml

09:48 _whitelogger has joined #ocaml

09:56 tane has joined #ocaml

10:03 Madars has quit [Ping timeout: 256 seconds]

10:36 Madars has joined #ocaml

10:47 mfp has joined #ocaml

10:52 Madars has quit [Ping timeout: 258 seconds]

11:14 zebrag has joined #ocaml

11:15 inkbottle has quit [Ping timeout: 256 seconds]

11:18 Madars has joined #ocaml

11:28 olle has joined #ocaml

11:29 <olle> How would you type the explicit state in a generic pipeline?

11:29 <olle> Maybe an object?

11:35 Madars has quit [Ping timeout: 246 seconds]

11:41 <olle> So it's open, without touching the original state type.

12:05 Madars has joined #ocaml

12:09 _whitelogger has joined #ocaml

12:24 Madars has quit [Ping timeout: 240 seconds]

12:29 sonologico has quit [Remote host closed the connection]

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

13:13 Madars has joined #ocaml

13:28 spew has joined #ocaml

13:36 Madars has quit [Ping timeout: 264 seconds]

13:49 borne has quit [Ping timeout: 260 seconds]

13:56 ransom has joined #ocaml

13:57 bartholin has joined #ocaml

13:59 vicfred has joined #ocaml

14:01 Haudegen has joined #ocaml

14:05 borne has joined #ocaml

14:38 Madars has joined #ocaml

14:44 borne has quit [Ping timeout: 260 seconds]

14:59 reynir has quit [Ping timeout: 240 seconds]

15:02 reynir has joined #ocaml

15:10 osa1 has quit [Ping timeout: 264 seconds]

15:11 Madars has quit [Ping timeout: 260 seconds]

15:18 kanishka has joined #ocaml

15:43 ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:47 ransom has joined #ocaml

15:53 bartholin has quit [Quit: Leaving]

16:04 tianon has quit [Ping timeout: 260 seconds]

16:05 olle has quit [Ping timeout: 264 seconds]

16:13 Madars has joined #ocaml

16:14 tianon has joined #ocaml

16:15 Anarchos has joined #ocaml

16:24 mbuf has quit [Quit: Leaving]

16:34 Madars has quit [Ping timeout: 246 seconds]

16:47 waleee-cl has joined #ocaml

17:02 nullcone has joined #ocaml

17:18 Madars has joined #ocaml

17:36 Madars has quit [Ping timeout: 246 seconds]

17:49 borne has joined #ocaml

17:52 osa1 has joined #ocaml

17:55 Haudegen has quit [Quit: Bin weg.]

18:14 Madars has joined #ocaml

18:15 osa1 has quit [Ping timeout: 260 seconds]

18:18 <d_bot> <Serpent7776> I've made a simple game for js13k with OCaml and js_of_ocaml. https://js13kgames.com/entries/find-the-theme

18:21 delysin has quit [Quit: WeeChat 2.9]

18:22 delysin has joined #ocaml

18:24 delysin has quit [Client Quit]

18:25 delysin has joined #ocaml

18:27 <def> Cool

18:38 Madars has quit [Ping timeout: 265 seconds]

19:00 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

19:13 <ollehar> Bah, no intersection types for modules?

19:14 <ollehar> Like, module A has B AND C.

19:14 <companion_cube> it can include B and include C

19:14 <ollehar> SIG A&B

19:14 <companion_cube> not sure what you mean

19:14 <companion_cube> sig include A include B end

19:14 <ollehar> ah ok

19:14 <ollehar> kewl

19:15 <ollehar> companion_cube: can you coerce that module sig into A?

19:15 <ollehar> A only

19:17 <companion_cube> sure, it's a subtype of A

19:29 Martha25 has joined #ocaml

19:33 Martha25 has quit [Disconnected by services]

19:35 narimiran has quit [Ping timeout: 256 seconds]

19:40 bartholin has joined #ocaml

19:41 Madars has joined #ocaml

19:47 aaaaaa has joined #ocaml

19:55 aaaaaa has left #ocaml [#ocaml]

20:03 Madars has quit [Ping timeout: 258 seconds]

20:04 ggole has quit [Quit: Leaving]

20:09 amiloradovsky has joined #ocaml

20:33 <ollehar> thanks!

20:40 <d_bot> <craigfe> (Provided that `B` does not contain fields that shadow those of `A`, in which case the resulting signature may be incompatible with `A` but will always be compatible with `B`.)

20:42 <companion_cube> indeed, order matters.

20:50 Yagotzirck has joined #ocaml

20:58 Serpent7776 has quit [Quit: leaving]

20:59 Madars has joined #ocaml

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

21:38 tane has quit [Quit: Leaving]

21:44 sagax has quit [Remote host closed the connection]

21:59 sagax has joined #ocaml

21:59 Yagotzirck has quit [Quit: Leaving]

22:04 Madars has joined #ocaml

22:10 deploy has joined #ocaml

22:10 deploy is now known as freedrull2

22:15 <freedrull2> Hi I'm trying to use depext but it says it doesn't know how to install packages on my arch system. I believe arch was supported by depext according to the readme. https://gist.github.com/mcfiredrill/3acc38ce1cdeba76d1081516b873693d

22:17 Jesin has quit [Quit: Leaving]

22:25 Jesin has joined #ocaml

22:27 olle has joined #ocaml

22:32 olle has quit [Read error: Connection reset by peer]

22:46 borne has quit [Ping timeout: 264 seconds]

22:49 <d_bot> <hcarty> Agreed that it looks like it should. Any chance that you have an old version of the `opam-depext` plugin?

22:49 amiloradovsky has quit [Ping timeout: 244 seconds]

22:51 Tuplanolla has quit [Quit: Leaving.]

23:14 <freedrull2> opam depext --version

23:14 <freedrull2> 1.1.2

23:18 <freedrull2> opam install tells me 1.1.3 is installed....

23:18 <freedrull2> opam install opam-depext

23:18 <freedrull2> [NOTE] Package opam-depext is already installed (current version is 1.1.3).

23:22 delysin has quit [Quit: WeeChat 2.9]

23:24 mangoicedtea has joined #ocaml

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

23:40 jbrown has quit [Ping timeout: 258 seconds]