#ocaml on 2020-04-09 — 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:02 ziyourenxiang has joined #ocaml

01:07 jaar has quit [Ping timeout: 265 seconds]

01:43 mfp has quit [Ping timeout: 250 seconds]

02:03 ziyourenxiang has quit [Quit: Leaving]

02:29 jao has quit [Remote host closed the connection]

03:30 ygrek has quit [Ping timeout: 264 seconds]

04:19 narimiran has joined #ocaml

04:53 narimiran has quit [Ping timeout: 256 seconds]

04:58 mbuf has joined #ocaml

05:04 narimiran has joined #ocaml

05:54 dump has joined #ocaml

07:13 Haudegen has joined #ocaml

07:33 chripell has joined #ocaml

07:56 tautologico has quit [Quit: Connection closed for inactivity]

07:56 bronsen has quit [Quit: WeeChat 2.7]

07:57 bronsen has joined #ocaml

08:01 amiloradovsky has joined #ocaml

08:12 octachron has quit [Quit: ZNC 1.7.5 - https://znc.in]

08:15 octachron has joined #ocaml

08:16 jbrown has quit [Quit: Leaving]

08:21 jbrown has joined #ocaml

08:25 jaar has joined #ocaml

08:41 cheater has joined #ocaml

08:41 <cheater> hi

08:46 kleisli has joined #ocaml

08:52 <cheater> hi

08:53 <cheater> when defining a module, in the "with" part, can i use both module and type equalities? e.g. `with module A = A and type c = B.c`

09:00 kleisli has quit [Remote host closed the connection]

09:01 kleisli has joined #ocaml

09:11 nullcone has quit [Quit: Connection closed for inactivity]

09:20 <octachron> cheater, yes

09:54 mfp has joined #ocaml

10:11 lix has quit [Ping timeout: 256 seconds]

10:37 narimiran has quit [Ping timeout: 256 seconds]

10:37 ggole has joined #ocaml

10:48 _whitelogger has joined #ocaml

11:07 tane has joined #ocaml

12:06 ygrek has joined #ocaml

12:07 narimiran has joined #ocaml

12:26 spew has joined #ocaml

12:36 nicooo has quit [Remote host closed the connection]

12:37 nicooo has joined #ocaml

13:17 cartwright has quit [Remote host closed the connection]

13:17 andreas303 has quit [Remote host closed the connection]

13:17 nicooo has quit [Remote host closed the connection]

13:20 schlaftier has quit [Ping timeout: 264 seconds]

13:20 cartwright has joined #ocaml

13:20 nicooo has joined #ocaml

13:30 andreas303 has joined #ocaml

13:34 Haudegen has quit [Quit: Bin weg.]

13:45 <cheater> octachron: thank you

13:50 Anarchos has joined #ocaml

14:01 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

14:34 amosbird_ has joined #ocaml

14:35 amosbird has quit [Ping timeout: 272 seconds]

14:41 jbrown has quit [Ping timeout: 246 seconds]

14:52 amosbird_ is now known as amosbird

14:53 Haudegen has joined #ocaml

14:53 jbrown has joined #ocaml

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

15:02 kleisli has joined #ocaml

15:06 kleisli has quit [Remote host closed the connection]

15:06 kleisli has joined #ocaml

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

15:10 kleisli has joined #ocaml

15:14 kleisli has quit [Remote host closed the connection]

15:15 kleisli has joined #ocaml

15:20 nicooo has quit [Ping timeout: 240 seconds]

15:20 nicooo has joined #ocaml

15:32 kleisli has quit [Remote host closed the connection]

15:33 kleisli has joined #ocaml

15:47 kleisli has quit [Remote host closed the connection]

15:48 rwmjones is now known as rwmjones|EASTER

15:48 kleisli has joined #ocaml

15:57 Anarchos has joined #ocaml

16:04 kleisli has quit [Remote host closed the connection]

16:05 kleisli has joined #ocaml

16:10 kleisli has quit [Remote host closed the connection]

16:11 kleisli has joined #ocaml

16:14 kleisli has quit [Remote host closed the connection]

16:14 kleisli has joined #ocaml

16:17 kleisli has quit [Remote host closed the connection]

16:17 kleisli has joined #ocaml

16:19 cartwright has quit [Remote host closed the connection]

16:21 cartwright has joined #ocaml

16:24 kleisli has quit [Remote host closed the connection]

16:25 kleisli has joined #ocaml

16:26 kleisli has quit [Remote host closed the connection]

16:26 kleisli has joined #ocaml

16:39 themsay has joined #ocaml

16:42 kleisli has quit [Remote host closed the connection]

16:42 kleisli has joined #ocaml

16:47 kleisli has quit [Remote host closed the connection]

16:47 kleisli has joined #ocaml

17:09 nullcone has joined #ocaml

17:09 TheLemonMan has joined #ocaml

17:11 kleisli has quit [Remote host closed the connection]

17:14 kleisli has joined #ocaml

17:27 mbuf has quit [Quit: Leaving]

17:44 webshinra has quit [Remote host closed the connection]

18:19 <Anarchos> why does "make ocamloptp " not work ?

18:24 <dash> How doesn't it work?

18:25 <Anarchos> dash i don't know how to build ocamloptp

18:31 chripell has quit [Ping timeout: 256 seconds]

18:35 <octachron> It should be built with the opt target of ocamlcp "make -C tools ocamlc.opt"

18:39 <Anarchos> octachron i didn't see it in the Install.adoc ?

18:44 <octachron> Indeed, I was mistaken. I am not sure if there is a build target for ocamloptp

18:45 <Anarchos> octachron there is an ocamloptp.ml file

18:57 muskan has joined #ocaml

18:57 <octachron> ok ... ocamloptp build target was removed by accident by https://github.com/ocaml/ocaml/pull/2314 in 4.09

18:59 <octachron> I will have a patch to restore it tomorrow .

19:01 ggole has quit [Quit: Leaving]

19:24 kleisli_ has joined #ocaml

19:24 kleisli has quit [Read error: Connection reset by peer]

19:28 <Anarchos> octachron i made m branch on 4.10.0 :)

19:28 <Anarchos> https://github.com/ocaml/ocaml/pull/9436 pull request to compile on target i586-pc-haiku

19:33 Anarchos has quit [Remote host closed the connection]

19:36 kleisli_ has quit [Remote host closed the connection]

19:36 kleisli_ has joined #ocaml

19:38 Anarchos has joined #ocaml

19:43 Anarchos has quit [Remote host closed the connection]

20:00 mgsk is now known as mgs

20:01 mgs is now known as mgsk

20:08 Haudegen has quit [Quit: Bin weg.]

20:18 muskan has quit [Remote host closed the connection]

20:21 muskan has joined #ocaml

20:36 narimiran has quit [Ping timeout: 265 seconds]

20:56 nullcone has quit [Quit: Connection closed for inactivity]

21:02 muskan has quit [Remote host closed the connection]

21:03 cartwright has quit [Quit: WeeChat 2.5]

21:04 cantstanya has joined #ocaml

21:28 dump has quit [Quit: Leaving]

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

21:30 Haudegen has joined #ocaml

21:48 tane has quit [Quit: Leaving]

22:38 muskan has joined #ocaml

23:00 kleisli_ has quit [Remote host closed the connection]

23:00 kleisli_ has joined #ocaml

23:03 muskan has quit [Remote host closed the connection]

23:04 kleisli_ has quit [Remote host closed the connection]

23:05 kleisli_ has joined #ocaml

23:15 spew has quit [Quit: Connection closed for inactivity]

23:54 amiloradovsky has quit [Ping timeout: 260 seconds]