#ocaml on 2019-04-02 — 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:12 cantstanya has quit [Remote host closed the connection]

00:16 cantstanya has joined #ocaml

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

00:30 keep_learning_M has joined #ocaml

00:31 kakadu has quit [Remote host closed the connection]

00:34 AtumT has quit [Quit: AtumT]

01:01 jao has quit [Remote host closed the connection]

01:04 ygrek has joined #ocaml

01:09 jao has joined #ocaml

01:13 silver has quit [Read error: Connection reset by peer]

01:19 KeyJoo has joined #ocaml

01:32 ski has quit [Ping timeout: 250 seconds]

01:56 jao has quit [Ping timeout: 255 seconds]

02:03 mfp has quit [Ping timeout: 246 seconds]

02:05 ski has joined #ocaml

02:15 KeyJoo has quit [Ping timeout: 245 seconds]

02:33 AnAverageHuman has joined #ocaml

02:34 amiloradovsky has quit [Ping timeout: 246 seconds]

02:38 tormen has joined #ocaml

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

02:42 tormen_ has quit [Ping timeout: 255 seconds]

03:49 caltelt_ has joined #ocaml

03:56 gravicappa has joined #ocaml

04:15 _whitelogger has joined #ocaml

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

04:39 Birdface has joined #ocaml

04:40 kvda has joined #ocaml

04:44 sonologico has quit [Remote host closed the connection]

04:57 caltelt_ has quit [Ping timeout: 245 seconds]

06:04 Keodedad has joined #ocaml

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

07:02 gravicappa has quit [Ping timeout: 245 seconds]

07:07 freyr69 has joined #ocaml

07:29 jao has joined #ocaml

07:31 zolk3ri has joined #ocaml

07:36 al-damiri has quit [Quit: Connection closed for inactivity]

08:03 Keodedad has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:06 jao has quit [Ping timeout: 246 seconds]

08:08 bartholin has joined #ocaml

08:13 Guest93649 has joined #ocaml

08:30 Keodedad has joined #ocaml

08:45 <Leonidas> rwmjones: annexia.org is down, is that expected? :(

08:45 Guest93649 has quit [Remote host closed the connection]

08:46 <rwmjones> Leonidas: umm it's been down for about 10 years :-/

08:51 <Leonidas> a pity. Every two years I plan to take a look at jonesforth only for it to swap out of my mind after some weeks.

09:01 <AxiomaticEspress> is anyone using `dune utop --watch` command? It doesn't seem to work or maybe I'm missing something

09:06 gravicappa has joined #ocaml

09:07 <rwmjones> Leonidas: that's here: http://git.annexia.org/?p=jonesforth.git;a=summary

09:07 <rwmjones> (that is working for me, is it not working for you?)

09:09 <Leonidas> yep, that works (also there are plenty github mirrors too), just www.annexia.org/forth mentioned here not: http://concatenative.org/wiki/view/Forth

09:10 <Leonidas> wanted to change it but after filling out the captcha it THEN asked me to log in :[

09:20 <Drup> AxiomaticEspress: you can't really hotswap in the toplevel, so no, it doesn't exist

09:21 <Drup> (you could reload the entier toplevel and replay the sentences, but that's a bit different ...)

09:29 Haudegen has joined #ocaml

09:30 johnelse has quit [Quit: leaving]

09:34 mfp has joined #ocaml

09:42 johnelse has joined #ocaml

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

09:43 nullifidian_ has joined #ocaml

09:45 kakadu has joined #ocaml

09:48 tizoc has quit [Quit: Coyote finally caught me]

09:48 tizoc has joined #ocaml

10:14 johnelse has quit [Quit: leaving]

10:23 <AxiomaticEspress> Drup: ah, alright. I thought it's possible since dune utop has this '--watch' option available

10:26 <AxiomaticEspress> I think I just got confused because doing `dune build --help` and `dune utop --help` show the same options as being available

10:44 johnelse has joined #ocaml

10:52 Keodedad has quit [Quit: Textual IRC Client: www.textualapp.com]

10:54 Haudegen has quit [Remote host closed the connection]

11:40 silver has joined #ocaml

11:56 Haudegen has joined #ocaml

13:07 FreeBirdLjj has joined #ocaml

13:11 octachron has quit [Quit: ZNC 1.7.2 - https://znc.in]

13:15 octachron has joined #ocaml

13:15 MasseR has quit [Quit: WeeChat 2.0]

13:30 spew has joined #ocaml

13:51 nicoo has quit [Ping timeout: 256 seconds]

13:51 jao has joined #ocaml

13:52 KeyJoo has joined #ocaml

14:00 nicoo has joined #ocaml

14:15 q9929t has joined #ocaml

14:18 jao has quit [Remote host closed the connection]

14:22 ygrek has joined #ocaml

14:32 <Leonidas> I am trying to remove multiple parts from a module but `include (Deferred : module type of Deferred with module Let_syntax := Deferred.Let_syntax and Result := Deferred.Result)` does not seem to work

14:33 <Leonidas> It works without the `and …` part, but how can I replace more?

14:37 <Leonidas> ok I need to write `and module Result :=`, thanks for listening

15:08 AnAverageHuman has joined #ocaml

15:26 discord4 has quit [Remote host closed the connection]

15:26 discord5 has joined #ocaml

15:55 <freyr69> What's with the default type constructor variance and why couldn't I cast [`A ] Lwt.t to [`A | `B] Lwt.t?

15:59 Haudegen has quit [Remote host closed the connection]

16:00 <octachron> freyr69, Lwt.t is covariant in its first parameter and the coercion (x:>[`A|`B] Lwt.t) should work

16:03 <freyr69> That works indeed, thanks

16:04 Jesin has quit [Quit: Leaving]

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

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

16:15 Jesin has joined #ocaml

16:18 Keodedad has joined #ocaml

16:24 vovs03 has joined #ocaml

16:25 vovs03 has quit [Remote host closed the connection]

16:25 KeyJoo has quit [Quit: KeyJoo]

16:25 KeyJoo has joined #ocaml

16:28 mbac has left #ocaml [#ocaml]

16:28 mbac has joined #ocaml

16:42 gareppa has joined #ocaml

16:56 Haudegen has joined #ocaml

17:03 AtumT has joined #ocaml

17:06 Serpent7776 has joined #ocaml

17:09 AtumT has quit [Read error: Connection reset by peer]

17:10 jnavila has joined #ocaml

17:25 jnavila has quit [Ping timeout: 246 seconds]

17:37 gareppa has quit [Quit: Leaving]

17:38 jnavila has joined #ocaml

17:43 q9929t has quit [Quit: q9929t]

17:52 jnavila has quit [Ping timeout: 258 seconds]

18:11 gravicappa has quit [Ping timeout: 245 seconds]

18:41 <AxiomaticEspress> Is allocating a tuple the only way to pattern match against multiple values?

18:42 <AxiomaticEspress> ex: let f x y = match (x,y) with | pattern -> result | otherpattern -> otherresult | ...

18:42 interruptinuse has joined #ocaml

18:42 <Drup> yes, but you shouldn't worry about the tuple allocation, the pattern is recognized

18:44 <AxiomaticEspress> alright, so it's not actually being allocated

18:44 <AxiomaticEspress> cheers

18:53 jnavila has joined #ocaml

19:12 KeyJoo has quit [Quit: KeyJoo]

19:25 icecr4ck has joined #ocaml

19:28 jao has joined #ocaml

19:39 kakadu_ has joined #ocaml

19:53 jnavila has quit [Quit: Konversation terminated!]

19:53 jnavila has joined #ocaml

19:54 valtr has joined #ocaml

19:58 jnavila has quit [Ping timeout: 246 seconds]

20:12 wilfredh has quit [Quit: Connection closed for inactivity]

20:13 jnavila has joined #ocaml

20:23 okuu has joined #ocaml

20:29 Haudegen has quit [Remote host closed the connection]

20:30 Serpent7776 has quit [Quit: leaving]

20:45 zolk3ri has quit [Remote host closed the connection]

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

20:57 Haudegen has joined #ocaml

20:57 kvda has joined #ocaml

20:58 kvda has quit [Client Quit]

21:00 kvda has joined #ocaml

21:01 amiloradovsky has joined #ocaml

21:02 Haudegen has quit [Ping timeout: 255 seconds]

21:05 amiloradovsky1 has joined #ocaml

21:06 Haudegen has joined #ocaml

21:06 amiloradovsky has quit [Ping timeout: 246 seconds]

21:06 amiloradovsky1 is now known as amiloradovsky

21:30 Jesin has quit [Quit: Leaving]

21:31 bartholin has quit [Remote host closed the connection]

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

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

21:38 Jesin has joined #ocaml

21:41 silver_ has joined #ocaml

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

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

21:51 kvda has joined #ocaml

22:06 ygrek has quit [Ping timeout: 258 seconds]

22:30 okuu has quit [Ping timeout: 255 seconds]

22:37 Birdface has quit [Ping timeout: 250 seconds]

22:40 ski has quit [Ping timeout: 246 seconds]

22:54 Haudegen has quit [Remote host closed the connection]

22:56 ski has joined #ocaml

23:00 caltelt_ has joined #ocaml

23:05 stux|RC-only has quit [Ping timeout: 255 seconds]

23:08 ski has quit [Ping timeout: 244 seconds]

23:12 ricekrispie has joined #ocaml

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

23:30 ski has joined #ocaml

23:37 ski has quit [Ping timeout: 245 seconds]

23:45 ski has joined #ocaml

23:52 ski has quit [Ping timeout: 250 seconds]

23:56 ski has joined #ocaml