#ocaml on 2020-01-26 — 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 ocaml459 has joined #ocaml

00:01 ocaml459 has quit [Client Quit]

00:02 ocaml459 has joined #ocaml

00:06 ocaml459 has quit [Client Quit]

00:08 ocaml459 has joined #ocaml

00:12 ocaml459 has quit [Client Quit]

00:13 ocaml459 has joined #ocaml

00:14 ocaml459 has quit [Client Quit]

00:14 ocaml459 has joined #ocaml

00:18 ocaml459 has quit [Client Quit]

00:19 ocaml459 has joined #ocaml

00:20 ocaml459 has quit [Client Quit]

00:20 ocaml459 has joined #ocaml

00:22 ocaml459 has quit [Client Quit]

00:23 ocaml459 has joined #ocaml

00:24 FreeBirdLjj has joined #ocaml

00:26 ocaml459 has quit [Client Quit]

00:27 ocaml459 has joined #ocaml

00:30 klntsky_ has quit [Remote host closed the connection]

00:30 klntsky_ has joined #ocaml

00:31 ocaml459 has quit [Client Quit]

00:31 FreeBirdLjj has quit [Ping timeout: 268 seconds]

00:32 ocaml459 has joined #ocaml

00:37 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

00:38 ocaml459 has joined #ocaml

00:44 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

00:45 ocaml459 has joined #ocaml

00:52 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

00:52 ocaml459 has joined #ocaml

00:59 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

01:00 ocaml459 has joined #ocaml

01:07 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

01:07 ocaml459 has joined #ocaml

01:14 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

01:14 ocaml459 has joined #ocaml

01:22 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

01:23 ocaml459 has joined #ocaml

01:29 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

01:30 ocaml459 has joined #ocaml

01:36 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

01:37 ocaml459 has joined #ocaml

01:43 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

01:44 ocaml459 has joined #ocaml

01:50 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

01:51 ocaml459 has joined #ocaml

01:56 olle has quit [Ping timeout: 265 seconds]

01:58 olle has joined #ocaml

01:59 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

02:02 mahmudov has joined #ocaml

02:03 FreeBirdLjj has joined #ocaml

02:07 Hrundi_V_Bakshi has quit [Ping timeout: 240 seconds]

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

02:23 Haudegen has quit [Ping timeout: 268 seconds]

02:27 wingsorc has quit [Ping timeout: 248 seconds]

02:35 GeoffK has joined #ocaml

02:37 <GeoffK> open Event;; --> Error: Unbound module Event - Any suggestions? (Ocaml 4.09) thanks.

02:42 ocaml459 has joined #ocaml

02:47 ocaml459 has quit [Client Quit]

02:48 ocaml459 has joined #ocaml

02:48 GeoffK has quit [Quit: Leaving]

02:55 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

02:56 ocaml459 has joined #ocaml

03:01 tormen_ has joined #ocaml

03:02 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

03:03 ocaml459 has joined #ocaml

03:03 FreeBirdLjj has quit [Ping timeout: 265 seconds]

03:04 tormen has quit [Ping timeout: 240 seconds]

03:05 vicfred has joined #ocaml

03:09 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

03:10 ocaml459 has joined #ocaml

03:17 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

03:17 ocaml459 has joined #ocaml

03:24 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

03:25 ocaml459 has joined #ocaml

03:30 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

03:31 ocaml459 has joined #ocaml

03:37 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

03:38 ocaml459 has joined #ocaml

03:43 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

03:44 ocaml459 has joined #ocaml

03:46 ocaml459 has quit [Client Quit]

03:47 ocaml459 has joined #ocaml

03:48 cron has joined #ocaml

03:49 ocaml459 has quit [Client Quit]

03:50 ocaml459 has joined #ocaml

03:52 ocaml459 has quit [Client Quit]

03:52 ocaml459 has joined #ocaml

03:55 ocaml459 has quit [Client Quit]

03:55 ocaml459 has joined #ocaml

03:58 ocaml459 has quit [Client Quit]

03:59 ocaml459 has joined #ocaml

03:59 tormen has joined #ocaml

04:00 ocaml459 has quit [Client Quit]

04:01 ocaml459 has joined #ocaml

04:02 mfp has quit [Ping timeout: 268 seconds]

04:03 tormen_ has quit [Ping timeout: 268 seconds]

04:08 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

04:09 ocaml459 has joined #ocaml

04:15 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

04:16 ocaml459 has joined #ocaml

04:23 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

04:23 ocaml459 has joined #ocaml

04:30 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

04:31 ocaml459 has joined #ocaml

04:37 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

04:38 ocaml459 has joined #ocaml

04:45 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

04:45 ocaml459 has joined #ocaml

04:52 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

04:52 ocaml459 has joined #ocaml

05:00 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

05:07 ocaml459 has joined #ocaml

05:10 gravicappa has joined #ocaml

05:14 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

05:15 ocaml459 has joined #ocaml

05:16 ocaml459 has quit [Client Quit]

05:17 ocaml459 has joined #ocaml

05:19 ocaml459 has quit [Client Quit]

05:20 ocaml459 has joined #ocaml

05:21 ocaml459 has quit [Client Quit]

05:22 ocaml459 has joined #ocaml

05:25 ocaml459 has quit [Client Quit]

05:26 ocaml459 has joined #ocaml

05:27 ocaml459 has quit [Client Quit]

05:28 ocaml459 has joined #ocaml

05:31 ocaml459 has quit [Client Quit]

05:32 ocaml459 has joined #ocaml

05:34 ocaml459 has quit [Client Quit]

05:35 ocaml459 has joined #ocaml

05:37 ocaml459 has quit [Client Quit]

05:38 ocaml459 has joined #ocaml

05:40 ocaml459 has quit [Client Quit]

05:41 ocaml459 has joined #ocaml

05:43 ocaml459 has quit [Client Quit]

05:44 ocaml459 has joined #ocaml

05:45 dborisog has joined #ocaml

05:46 ocaml459 has quit [Client Quit]

05:47 ocaml459 has joined #ocaml

05:53 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

05:54 ocaml459 has joined #ocaml

06:00 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:01 FreeBirdLjj has joined #ocaml

06:01 ocaml459 has joined #ocaml

06:07 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:08 ocaml459 has joined #ocaml

06:13 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:14 ocaml459 has joined #ocaml

06:16 narimiran has joined #ocaml

06:18 wingsorc has joined #ocaml

06:20 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:20 ggole has joined #ocaml

06:21 ocaml459 has joined #ocaml

06:26 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:27 ocaml459 has joined #ocaml

06:27 wingsorc has quit [Quit: Leaving]

06:36 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:42 ocaml459 has joined #ocaml

06:48 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:49 ocaml459 has joined #ocaml

06:54 _whitelogger has joined #ocaml

06:55 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:57 ocaml459 has joined #ocaml

07:03 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

07:04 ocaml459 has joined #ocaml

07:06 oni-on-ion has joined #ocaml

07:07 mbuf has joined #ocaml

07:09 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

07:10 ocaml459 has joined #ocaml

07:12 ocaml459 has quit [Client Quit]

07:12 ocaml459 has joined #ocaml

07:15 ocaml459 has quit [Client Quit]

07:16 ocaml459 has joined #ocaml

07:19 ocaml459 has quit [Client Quit]

07:19 ocaml459 has joined #ocaml

07:21 ocaml459 has quit [Client Quit]

07:22 ocaml459 has joined #ocaml

07:25 ocaml459 has quit [Client Quit]

07:25 ocaml459 has joined #ocaml

07:27 ocaml459 has quit [Client Quit]

07:28 ocaml459 has joined #ocaml

07:31 ocaml459 has quit [Client Quit]

07:31 ocaml459 has joined #ocaml

07:33 ocaml459 has quit [Client Quit]

07:34 ocaml459 has joined #ocaml

07:37 ocaml459 has quit [Client Quit]

07:37 ocaml459 has joined #ocaml

07:39 ocaml459 has quit [Client Quit]

07:40 ocaml459 has joined #ocaml

07:49 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

07:57 _whitelogger has joined #ocaml

08:04 mahmudov has quit [Ping timeout: 268 seconds]

08:11 ocaml459 has joined #ocaml

08:16 mahmudov has joined #ocaml

08:17 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

08:18 ocaml459 has joined #ocaml

08:24 ggole has quit [Remote host closed the connection]

08:25 ggole has joined #ocaml

08:25 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

08:26 ocaml459 has joined #ocaml

08:27 cartwright has quit [Remote host closed the connection]

08:28 cartwright has joined #ocaml

08:29 <Leonidas> Drup: I'm considering making typed bindings to elasticsearch'es JSON API and wonder what lessons can be adopted from tyxml

08:32 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

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

08:33 ocaml459 has joined #ocaml

08:35 cron has quit [Quit: Leaving.]

08:38 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

08:39 ocaml459 has joined #ocaml

08:47 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

08:47 ocaml459 has joined #ocaml

08:50 FreeBirdLjj has quit [Remote host closed the connection]

08:51 FreeBirdLjj has joined #ocaml

08:52 kakadu has joined #ocaml

08:54 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

08:55 ocaml459 has joined #ocaml

09:01 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:02 ocaml459 has joined #ocaml

09:09 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:09 ocaml459 has joined #ocaml

09:12 mbuf has quit [Quit: Leaving]

09:16 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:16 kleisli has quit [Ping timeout: 272 seconds]

09:17 ocaml459 has joined #ocaml

09:23 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:24 jnavila has joined #ocaml

09:24 ocaml459 has joined #ocaml

09:30 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:31 ocaml459 has joined #ocaml

09:38 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:39 ocaml459 has joined #ocaml

09:44 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:45 ocaml459 has joined #ocaml

09:50 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:51 ocaml459 has joined #ocaml

09:52 tane has joined #ocaml

09:59 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

10:00 ocaml459 has joined #ocaml

10:01 <Drup> Leonidas: hmm, that's a bit different, the API is much smaller and the rules probably clearer

10:01 <Drup> Do you have a link to the API ?

10:06 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

10:07 ocaml459 has joined #ocaml

10:12 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

10:13 ocaml459 has joined #ocaml

10:19 picolino has quit [Ping timeout: 268 seconds]

10:20 kleisli has joined #ocaml

10:21 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

10:23 picolino has joined #ocaml

10:23 ocaml459 has joined #ocaml

10:27 mfp has joined #ocaml

10:29 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

10:30 ocaml459 has joined #ocaml

10:37 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

10:37 ocaml459 has joined #ocaml

10:45 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

10:51 kleisli has quit [Ping timeout: 268 seconds]

10:52 sailor177354 has joined #ocaml

10:52 ocaml459 has joined #ocaml

10:54 nullcone has joined #ocaml

10:55 mbuf has joined #ocaml

10:59 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

10:59 ocaml459 has joined #ocaml

11:00 silver has joined #ocaml

11:06 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

11:07 ocaml459 has joined #ocaml

11:09 Serpent7776 has joined #ocaml

11:12 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

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

11:13 ocaml459 has joined #ocaml

11:18 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

11:19 FreeBirdLjj has joined #ocaml

11:21 ocaml459 has joined #ocaml

11:21 Haudegen has joined #ocaml

11:24 ocaml459 has quit [Client Quit]

11:25 FreeBirdLjj has quit [Remote host closed the connection]

11:25 ocaml459 has joined #ocaml

11:28 narimiran has quit [Ping timeout: 265 seconds]

11:28 ocaml459 has quit [Client Quit]

11:29 dborisog has quit [Ping timeout: 260 seconds]

11:30 ocaml459 has joined #ocaml

11:36 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

11:38 ocaml459 has joined #ocaml

11:39 FreeBirdLjj has joined #ocaml

11:44 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

11:44 ocaml459 has joined #ocaml

11:50 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

11:51 ocaml459 has joined #ocaml

11:57 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

11:58 ocaml459 has joined #ocaml

12:05 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

12:05 ocaml459 has joined #ocaml

12:09 <mbuf> Is there a way to handle the OCaml compiler test for errors such as "ocaml/testsuite/_ocamltest/tests/lib-marshal/intext/ocamlopt.byte/intext.opt without any argument: command"?

12:09 <mbuf> I see multiple such tests fail that have the message "without any argument".

12:12 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

12:13 ocaml459 has joined #ocaml

12:14 pepesza has quit [Ping timeout: 265 seconds]

12:18 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

12:19 ocaml459 has joined #ocaml

12:20 FreeBirdLjj has quit [Remote host closed the connection]

12:22 FreeBirdLjj has joined #ocaml

12:25 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

12:26 ocaml459 has joined #ocaml

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

12:26 FreeBirdLjj has joined #ocaml

12:30 oni-on-ion has quit [Remote host closed the connection]

12:30 oni-on-ion has joined #ocaml

12:32 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

12:32 ocaml459 has joined #ocaml

12:34 ocaml459 has quit [Client Quit]

12:35 ocaml459 has joined #ocaml

12:37 ocaml459 has quit [Client Quit]

12:38 ocaml459 has joined #ocaml

12:40 andreas303 has quit [Remote host closed the connection]

12:41 ocaml459 has quit [Client Quit]

12:42 ocaml459 has joined #ocaml

12:43 andreas303 has joined #ocaml

12:49 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

12:49 ocaml459 has joined #ocaml

12:55 andreas303 has quit [Remote host closed the connection]

12:56 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

12:56 andreas303 has joined #ocaml

12:57 ocaml459 has joined #ocaml

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

13:02 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:03 ocaml459 has joined #ocaml

13:03 andreas303 has joined #ocaml

13:08 pepesza has joined #ocaml

13:09 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:11 ocaml459 has joined #ocaml

13:15 mahmudov has quit [Ping timeout: 272 seconds]

13:18 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:19 ocaml459 has joined #ocaml

13:25 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:26 ocaml459 has joined #ocaml

13:28 sailor177354 has quit [Ping timeout: 240 seconds]

13:28 dborisog has joined #ocaml

13:32 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:33 ocaml459 has joined #ocaml

13:40 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:41 ocaml459 has joined #ocaml

13:46 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:47 ocaml459 has joined #ocaml

13:53 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

13:56 ocaml459 has joined #ocaml

14:02 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:03 ocaml459 has joined #ocaml

14:08 <mbuf> Where can I find information on the self-describing function closure mentioned at https://github.com/ocaml/ocaml/pull/203#issuecomment-541845611 ?

14:09 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:10 ocaml459 has joined #ocaml

14:11 Zar_Rok has joined #ocaml

14:11 Zar_Rok has quit [Client Quit]

14:15 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

14:16 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:17 Haudegen has joined #ocaml

14:17 ocaml459 has joined #ocaml

14:18 Jesin has joined #ocaml

14:25 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:32 ocaml459 has joined #ocaml

14:38 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:38 ocaml459 has joined #ocaml

14:39 aiju has left #ocaml ["'x𒍅񥐴񖞅񦍥񸥅񧕨)򕕂'"]

14:44 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:45 ocaml459 has joined #ocaml

14:47 mahmudov has joined #ocaml

14:51 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

14:52 ocaml459 has joined #ocaml

14:53 ocaml459 has quit [Client Quit]

14:54 ocaml459 has joined #ocaml

14:56 ocaml459 has quit [Client Quit]

14:57 ocaml459 has joined #ocaml

15:00 ocaml459 has quit [Client Quit]

15:01 ocaml459 has joined #ocaml

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

15:03 ocaml459 has quit [Client Quit]

15:04 ocaml459 has joined #ocaml

15:08 ocaml459 has quit [Client Quit]

15:08 kakadu_ has joined #ocaml

15:09 kakadu has quit [Ping timeout: 268 seconds]

15:09 ocaml459 has joined #ocaml

15:15 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

15:15 ocaml459 has joined #ocaml

15:21 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

15:21 ocaml459 has joined #ocaml

15:23 ocaml459 has quit [Client Quit]

15:23 ocaml459 has joined #ocaml

15:27 ocaml459 has quit [Client Quit]

15:27 ocaml459 has joined #ocaml

15:29 ocaml459 has quit [Client Quit]

15:29 ocaml459 has joined #ocaml

15:30 ocaml459 has quit [Client Quit]

15:31 ocaml459 has joined #ocaml

15:33 ocaml459 has quit [Client Quit]

15:34 ocaml459 has joined #ocaml

15:35 ocaml459 has quit [Client Quit]

15:35 ocaml459 has joined #ocaml

15:36 ocaml459 has quit [Client Quit]

15:37 ocaml459 has joined #ocaml

15:38 ocaml459 has quit [Client Quit]

15:38 ocaml459 has joined #ocaml

15:39 decentpenguin has joined #ocaml

15:40 ocaml459 has quit [Client Quit]

15:40 ocaml459 has joined #ocaml

15:43 ocaml459 has quit [Client Quit]

15:43 ocaml459 has joined #ocaml

15:43 <oni-on-ion> no

15:46 ocaml459 has quit [Client Quit]

15:46 ocaml459 has joined #ocaml

15:48 mahmudov has quit [Read error: Connection reset by peer]

15:49 mahmudov has joined #ocaml

15:52 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

15:52 ocaml459 has joined #ocaml

15:58 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

15:58 ocaml459 has joined #ocaml

16:02 kakadu has joined #ocaml

16:02 kakadu_ has quit [Ping timeout: 265 seconds]

16:03 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

16:17 <mbuf> oni-on-ion, hello

16:17 <mbuf> oni-on-ion, how are you?

16:17 <oni-on-ion> mbuf, i am good, thank you. how are you?

16:18 <mbuf> oni-on-ion, good

16:18 <mbuf> oni-on-ion, what was the "no" for?

16:19 <oni-on-ion> mbuf, all the join/parts =) felt like i had to type something

16:19 <mbuf> oni-on-ion, okay :)

16:19 <oni-on-ion> =)

16:19 <mbuf> oni-on-ion, somebody is having a poor (probably mobile) Internet connection

16:20 <oni-on-ion> yep ,i figured so. it happens to anyone

16:21 <mbuf> oni-on-ion, sur

16:21 <mbuf> *sure

16:23 kleisli has joined #ocaml

16:31 octachron has quit [Quit: ZNC 1.7.5 - https://znc.in]

16:31 octachron has joined #ocaml

16:36 ocaml459 has joined #ocaml

16:39 ocaml459 has quit [Client Quit]

16:40 ocaml459 has joined #ocaml

16:41 cron has joined #ocaml

16:42 ocaml459 has quit [Client Quit]

16:43 ocaml459 has joined #ocaml

16:47 ziyourenxiang has quit [Ping timeout: 240 seconds]

16:47 ocaml459 has quit [Client Quit]

16:48 mbuf has quit [Quit: Leaving]

16:48 ocaml459 has joined #ocaml

16:55 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

16:56 ocaml459 has joined #ocaml

17:02 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

17:02 ocaml459 has joined #ocaml

17:03 ocaml459 has quit [Client Quit]

17:04 ocaml459 has joined #ocaml

17:04 pzp has joined #ocaml

17:07 pzp has quit [Client Quit]

17:08 ocaml459 has quit [Client Quit]

17:09 ocaml459 has joined #ocaml

17:15 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

17:15 ocaml459 has joined #ocaml

17:21 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

17:22 ocaml459 has joined #ocaml

17:28 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

17:28 ocaml459 has joined #ocaml

17:35 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

17:37 ocaml459 has joined #ocaml

17:38 ocaml459 has quit [Client Quit]

17:47 <Leonidas> Drup: https://www.elastic.co/guide/en/elasticsearch/reference/current/query-dsl.html

17:48 <Leonidas> Last time I used it (a few years ago) the only thing I really wanted was a complete reference, so I wouldn't have to throw JSON at it and see whether that was accepted.

17:52 <Drup> Leonidas: ok, so, the first step of doing anything is 1) write down the untyped AST 2) figure out the typing rules, if there are any

17:54 <Drup> but it seems to me like a typical DSL thingy, not really related to tyxml

17:55 schlaftier has joined #ocaml

17:58 schlaftier has quit [Remote host closed the connection]

18:01 schlaftier has joined #ocaml

18:04 <Leonidas> yeah, it is pretty typical, I'm just wondering whether you encountered some do's and don'ts when designing tyxml

18:05 FreeBirdLjj has quit [Remote host closed the connection]

18:07 <Drup> Well, tyxml is very very specific ...

18:07 <Drup> I wouldn't recomend doing anything like tyxml for anything else x)

18:08 ocaml459 has joined #ocaml

18:08 <Drup> I'm sure lot's of people could give generic recomendation on DSL, but the best way forward is just to try to make yours, and show it to people

18:09 <Drup> or ask very specific questions

18:09 <Drup> general recomendations are not so useful, each DSL is its own

18:09 cron has quit [Quit: Leaving.]

18:12 sailor177354 has joined #ocaml

18:12 <Leonidas> fair enough, yes.

18:14 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

18:14 ocaml459 has joined #ocaml

18:15 oni-on-ion has quit [Ping timeout: 252 seconds]

18:17 oni-on-ion has joined #ocaml

18:22 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

18:23 ocaml459 has joined #ocaml

18:28 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

18:29 ocaml459 has joined #ocaml

18:35 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

18:36 ocaml459 has joined #ocaml

18:42 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

18:42 ocaml459 has joined #ocaml

18:44 schlaftier has quit [Remote host closed the connection]

18:46 ocaml459 has quit [Client Quit]

18:47 ocaml459 has joined #ocaml

18:49 ocaml459 has quit [Client Quit]

18:50 ocaml459 has joined #ocaml

18:54 ocaml459 has quit [Client Quit]

18:54 ocaml459 has joined #ocaml

18:56 ocaml459 has quit [Client Quit]

18:57 ocaml459 has joined #ocaml

18:59 ocaml459 has quit [Client Quit]

19:00 ocaml459 has joined #ocaml

19:03 ocaml459 has quit [Client Quit]

19:03 ocaml459 has joined #ocaml

19:07 ocaml459 has quit [Client Quit]

19:08 ocaml459 has joined #ocaml

19:09 mahmudov has quit [Ping timeout: 265 seconds]

19:11 Hrundi_V_Bakshi has joined #ocaml

19:14 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

19:15 ocaml459 has joined #ocaml

19:20 narimiran has joined #ocaml

19:21 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

19:22 ocaml459 has joined #ocaml

19:28 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

19:29 ocaml459 has joined #ocaml

19:37 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

19:37 wingsorc has joined #ocaml

19:43 ocaml459 has joined #ocaml

19:48 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

19:49 mahmudov has joined #ocaml

19:49 ocaml459 has joined #ocaml

19:55 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

19:56 ocaml459 has joined #ocaml

19:58 ocaml459 has quit [Client Quit]

19:58 ocaml459 has joined #ocaml

19:59 ggole has quit [Quit: Leaving]

20:01 ocaml459 has quit [Client Quit]

20:01 ocaml459 has joined #ocaml

20:03 ocaml459 has quit [Client Quit]

20:03 ocaml459 has joined #ocaml

20:06 ocaml459 has quit [Client Quit]

20:07 ocaml459 has joined #ocaml

20:09 ocaml459 has quit [Client Quit]

20:09 ocaml459 has joined #ocaml

20:12 ocaml459 has quit [Client Quit]

20:13 ocaml459 has joined #ocaml

20:13 nullcone has joined #ocaml

20:15 ocaml459 has quit [Client Quit]

20:15 ocaml459 has joined #ocaml

20:17 ocaml459 has quit [Client Quit]

20:18 ocaml459 has joined #ocaml

20:22 amiloradovsky has joined #ocaml

20:24 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

20:25 ocaml459 has joined #ocaml

20:27 oni-on-ion has quit [Remote host closed the connection]

20:31 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

20:32 ocaml459 has joined #ocaml

20:38 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

20:39 ocaml459 has joined #ocaml

20:46 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

20:46 ocaml459 has joined #ocaml

20:48 gravicappa has quit [Ping timeout: 240 seconds]

20:52 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

20:53 ocaml459 has joined #ocaml

20:54 ocaml459 has quit [Client Quit]

20:55 ocaml459 has joined #ocaml

20:58 ocaml459 has quit [Client Quit]

20:59 ocaml459 has joined #ocaml

21:02 narimiran has quit [Ping timeout: 268 seconds]

21:02 ocaml459 has quit [Client Quit]

21:03 ocaml459 has joined #ocaml

21:05 ocaml459 has quit [Client Quit]

21:06 ocaml459 has joined #ocaml

21:10 ocaml459 has quit [Client Quit]

21:10 ocaml459 has joined #ocaml

21:12 ocaml459 has quit [Client Quit]

21:12 ocaml459 has joined #ocaml

21:12 dmiles has quit []

21:16 ocaml459 has quit [Client Quit]

21:16 ocaml459 has joined #ocaml

21:18 ocaml459 has quit [Client Quit]

21:18 jao has joined #ocaml

21:18 jao has quit [Changing host]

21:18 jao has joined #ocaml

21:18 ocaml459 has joined #ocaml

21:20 decentpenguin has quit [Quit: decentpenguin]

21:22 ocaml459 has quit [Client Quit]

21:22 ocaml459 has joined #ocaml

21:24 ocaml459 has quit [Client Quit]

21:24 ocaml459 has joined #ocaml

21:26 ocaml459 has quit [Client Quit]

21:26 ocaml459 has joined #ocaml

21:28 ocaml459 has quit [Client Quit]

21:29 ocaml459 has joined #ocaml

21:29 dborisog has quit [Ping timeout: 260 seconds]

21:30 ocaml459 has quit [Client Quit]

21:31 ocaml459 has joined #ocaml

21:31 sailor177354 has quit [Quit: Leaving]

21:34 ocaml459 has quit [Client Quit]

21:35 ocaml459 has joined #ocaml

21:37 ocaml459 has quit [Client Quit]

21:37 ocaml459 has joined #ocaml

21:41 dmiles has joined #ocaml

21:42 ocaml459 has quit [Client Quit]

21:42 ocaml459 has joined #ocaml

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

21:45 amiloradovsky has quit [Remote host closed the connection]

21:46 amiloradovsky has joined #ocaml

21:48 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

21:49 ocaml459 has joined #ocaml

21:54 kjak has quit [Ping timeout: 268 seconds]

21:55 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

21:55 ocaml459 has joined #ocaml

21:58 ocaml459 has quit [Client Quit]

21:59 ocaml459 has joined #ocaml

22:01 ocaml459 has quit [Client Quit]

22:02 ocaml459 has joined #ocaml

22:02 jao has quit [Quit: ERC (IRC client for Emacs 28.0.50)]

22:03 jao has joined #ocaml

22:06 ocaml459 has quit [Client Quit]

22:06 ocaml459 has joined #ocaml

22:09 kjak has joined #ocaml

22:11 oni-on-ion has joined #ocaml

22:12 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

22:12 ocaml459 has joined #ocaml

22:18 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

22:19 ocaml459 has joined #ocaml

22:22 ocaml459 has quit [Client Quit]

22:23 tane has quit [Quit: Leaving]

22:46 infinity0 has quit [Ping timeout: 240 seconds]

22:51 infinity0 has joined #ocaml

22:59 ocaml459 has joined #ocaml

23:01 kleisli has quit [Ping timeout: 265 seconds]

23:02 ocaml459 has quit [Client Quit]

23:03 ocaml459 has joined #ocaml

23:03 jave has quit [Ping timeout: 258 seconds]

23:04 ocaml459 has quit [Client Quit]

23:05 ocaml459 has joined #ocaml

23:08 jao has quit [Remote host closed the connection]

23:08 ocaml459 has quit [Client Quit]

23:10 ocaml459 has joined #ocaml

23:11 jao has joined #ocaml

23:12 ocaml459 has quit [Client Quit]

23:13 ocaml459 has joined #ocaml

23:16 ocaml459 has quit [Client Quit]

23:17 ocaml459 has joined #ocaml

23:17 kakadu has quit [Remote host closed the connection]

23:19 ocaml459 has quit [Client Quit]

23:19 ocaml459 has joined #ocaml

23:20 jao has quit [Remote host closed the connection]

23:20 kleisli has joined #ocaml

23:20 ocaml459 has quit [Client Quit]

23:20 ocaml459 has joined #ocaml

23:21 jao has joined #ocaml

23:24 ocaml459 has quit [Client Quit]

23:25 ocaml459 has joined #ocaml

23:27 ocaml459 has quit [Client Quit]

23:28 ocaml459 has joined #ocaml

23:32 ocaml459 has quit [Client Quit]

23:32 ocaml459 has joined #ocaml

23:37 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

23:38 ocaml459 has joined #ocaml

23:39 Hrundi_V_Bakshi has quit [Ping timeout: 272 seconds]

23:44 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

23:45 ocaml459 has joined #ocaml

23:52 ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

23:55 ocaml459 has joined #ocaml