#ocaml on 2017-06-22 — irc logs at freenode.irclog.whitequark.org

2017-06-08 20:16 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:01 infinity0_ has joined #ocaml

00:01 infinity0_ is now known as infinity0

00:01 infinity0 is now known as Guest12005

00:02 Guest12005 has quit [Ping timeout: 268 seconds]

00:04 infinity0 has joined #ocaml

00:04 jlouis_ has quit [Ping timeout: 240 seconds]

00:04 apache2_ has quit [Ping timeout: 240 seconds]

00:04 infinity0 has quit [Remote host closed the connection]

00:05 ahf has quit [Ping timeout: 268 seconds]

00:07 infinity0 has joined #ocaml

00:07 infinity0 has quit [Remote host closed the connection]

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

00:09 infinity0 has joined #ocaml

00:10 infinity0 has quit [Remote host closed the connection]

00:11 mengu has quit [Ping timeout: 276 seconds]

00:11 sgronblo has joined #ocaml

00:12 infinity0 has joined #ocaml

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

00:15 infinity0 has joined #ocaml

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

00:18 infinity0 has joined #ocaml

00:20 ahf has joined #ocaml

00:21 kevinqiu has joined #ocaml

00:27 kevinqiu has quit [Ping timeout: 246 seconds]

00:43 copy_ has quit [Quit: Connection closed for inactivity]

00:44 jlam_ is now known as jlam

01:14 spew has joined #ocaml

01:14 rdutra has quit [Ping timeout: 276 seconds]

01:15 mrkgnao has joined #ocaml

01:23 kevinqiu has joined #ocaml

01:28 kevinqiu has quit [Ping timeout: 260 seconds]

01:30 agravier has joined #ocaml

01:30 snowcrshd has quit [Remote host closed the connection]

01:31 moei has quit [Quit: Leaving...]

01:31 rdutra has joined #ocaml

01:31 rdutra has quit [Client Quit]

01:33 FreeBirdLjj has joined #ocaml

01:34 moei has joined #ocaml

01:38 FreeBirdLjj has quit [Ping timeout: 255 seconds]

01:51 spew has quit [Ping timeout: 276 seconds]

02:22 ygrek_ has quit [Ping timeout: 240 seconds]

02:23 kevinqiu has joined #ocaml

02:28 kevinqiu has quit [Ping timeout: 255 seconds]

02:33 fraggle_ has quit [Ping timeout: 255 seconds]

02:37 fraggle_ has joined #ocaml

02:46 mfp__ has quit [Ping timeout: 268 seconds]

02:48 ryanartecona has joined #ocaml

03:02 shinnya has quit [Ping timeout: 260 seconds]

03:02 agravier has quit [Quit: agravier]

03:06 _whitelogger has joined #ocaml

03:09 jao has quit [Ping timeout: 255 seconds]

03:13 jao has joined #ocaml

03:14 samrat has joined #ocaml

03:14 sgronblo has quit [Ping timeout: 240 seconds]

03:22 agravier has joined #ocaml

03:24 kevinqiu has joined #ocaml

03:28 sgronblo has joined #ocaml

03:29 kevinqiu has quit [Ping timeout: 240 seconds]

03:31 raphaelss has joined #ocaml

03:46 agravier has quit [Quit: agravier]

04:01 jlam_ has joined #ocaml

04:02 jlam has quit [Ping timeout: 260 seconds]

04:16 agravier has joined #ocaml

04:17 MercurialAlchemi has joined #ocaml

04:25 kevinqiu has joined #ocaml

04:31 kevinqiu has quit [Ping timeout: 276 seconds]

04:34 FreeBirdLjj has joined #ocaml

04:39 FreeBirdLjj has quit [Ping timeout: 260 seconds]

04:55 MercurialAlchemi has quit [Ping timeout: 240 seconds]

04:55 olibjerd has joined #ocaml

05:00 sgronblo has quit [Read error: Connection reset by peer]

05:08 sgronblo has joined #ocaml

05:09 jao has quit [Ping timeout: 260 seconds]

05:12 ryanartecona has quit [Quit: ryanartecona]

05:17 mrvn has quit [Ping timeout: 268 seconds]

05:24 mrvn has joined #ocaml

05:26 kevinqiu has joined #ocaml

05:31 kevinqiu has quit [Ping timeout: 246 seconds]

05:34 enterprisey has joined #ocaml

05:37 MercurialAlchemi has joined #ocaml

05:41 maarhart has joined #ocaml

05:43 maarhart has quit [Client Quit]

05:49 vicfred has joined #ocaml

05:57 _whitelogger has joined #ocaml

06:02 manizzle has quit [Ping timeout: 255 seconds]

06:10 enterprisey has quit [Remote host closed the connection]

06:13 ryanartecona has joined #ocaml

06:18 ryanartecona has quit [Ping timeout: 240 seconds]

06:27 kevinqiu has joined #ocaml

06:31 alfredo has joined #ocaml

06:32 Simn has joined #ocaml

06:32 kevinqiu has quit [Ping timeout: 240 seconds]

06:33 manizzle has joined #ocaml

06:34 mrkgnao has quit [Ping timeout: 260 seconds]

06:49 sepp2k has joined #ocaml

06:58 agravier has quit [Quit: agravier]

07:02 ygrek_ has joined #ocaml

07:08 alfredo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:10 alfredo has joined #ocaml

07:23 foocraft has joined #ocaml

07:27 andreas_ has joined #ocaml

07:28 kevinqiu has joined #ocaml

07:33 kevinqiu has quit [Ping timeout: 258 seconds]

07:34 Aaylor has quit [Quit: WeeChat 1.0.1]

07:37 agravier has joined #ocaml

07:47 ryanartecona has joined #ocaml

07:47 frefity has joined #ocaml

07:47 ewanas has joined #ocaml

07:49 Aaylor has joined #ocaml

07:50 foocraft has quit [Ping timeout: 246 seconds]

07:51 ygrek_ has quit [Ping timeout: 240 seconds]

07:53 agravier has quit [Quit: agravier]

08:00 nullifidian has quit [Ping timeout: 268 seconds]

08:21 <kyod> I'm looking for a way (ppx extension ?) to turn a string containing a valid ocaml expression like {quote| let x = 42 in x + x |quote} into actual ocaml code

08:21 <kyod> Does that ring a bell to anybody ?

08:22 <companion_cube> no, and it doesn't sound easy

08:22 <kyod> it seems to be a fairly standard transformation that one would like to do with metaprogramming...

08:23 <kyod> well I can always just use sed before compiling... but it's not exactly integrated with the rest of the ocaml toolchain

08:23 zpe has joined #ocaml

08:23 <Armael> could you call the parser from a ppx...?

08:24 <Armael> it doesn't sound easy indeed

08:24 <kyod> Armael: Actually I was hoping that someone would have written wrappers to do that for me

08:24 <Armael> :)

08:24 <reynir> Is the string known at compile time?

08:24 <kyod> reynir: yes

08:27 <reynir> Why does it have to be a string?

08:29 kevinqiu has joined #ocaml

08:30 <kyod> because I'm generating an ocaml AST with some subfragment which are strings containing ocaml code and I don't know any better way to inject the string subfragment in the AST

08:31 <companion_cube> ffs, build systems

08:34 kevinqiu has quit [Ping timeout: 260 seconds]

08:44 argent_smith has joined #ocaml

08:50 AltGr has joined #ocaml

08:55 nicoo has quit [Ping timeout: 248 seconds]

08:56 nicoo has joined #ocaml

09:00 nullifidian has joined #ocaml

09:04 mfp__ has joined #ocaml

09:06 wagle has quit [Read error: Connection reset by peer]

09:06 wagle has joined #ocaml

09:06 sgronblo has quit [Read error: No route to host]

09:07 sgronblo has joined #ocaml

09:10 <def`> It is not too hard to behonest :P

09:11 sgronblo has quit [Ping timeout: 255 seconds]

09:15 freusque has quit [Quit: WeeChat 1.7.1]

09:16 freusque has joined #ocaml

09:19 <kyod> def`: any example ?

09:24 <Drup> kyod: Did you consider using metaocaml ?

09:30 kevinqiu has joined #ocaml

09:31 <def`> kyod: https://github.com/let-def/ocaml-migrate-parsetree/tree/master/examples/omp_ppx_parse

09:32 <def`> only support expressions and there is no "graceful degradation" when the content doesn't parse.

09:32 olibjerd has quit [Quit: olibjerd]

09:33 kakadu has joined #ocaml

09:35 <Drup> still wondering if I should use something like that for the mustache/tyxml thing :/

09:36 kevinqiu has quit [Ping timeout: 268 seconds]

09:37 <def`> What is the context exactly?

09:38 agravier has joined #ocaml

09:39 <kyod> def`: nice for ppx_parse ! I should have started by checking your projects

09:40 <Drup> def`: it's a side remark, the initial implementation is here: https://github.com/ocsigen/tyxml/pull/128

09:40 <Drup> kyod: you should really look at metaocaml if you are generating the AST dynamically

09:41 <kyod> well I'm generating ocaml code from another compiler

09:41 <Drup> you're generating an ocaml program that contains another ocaml program ? ^^'

09:42 <kyod> ...well It's much more tortured and hackish than that but yes

09:43 <Drup> go on :]

09:44 <kyod> The compiler is in ocaml and we want to extract to ocaml and dynlink some code at compile time while giving access to the internal ocaml representation of some terms...

09:48 olibjerd has joined #ocaml

09:48 <Drup> yeah, that's precisely the purpose of metaocaml

09:50 <kyod> Drup: Indeed but I don't have the same source language as metaocaml...

09:50 clog has quit [Ping timeout: 240 seconds]

09:51 <kyod> otherwise it is exactly an implementation of a quote/antiquote mechanism

09:52 <Drup> your compiler is written in OCaml and you generate an OCaml program. what the program is generated from doesn't matter

09:58 ryanartecona has quit [Ping timeout: 260 seconds]

10:07 jlouis has joined #ocaml

10:13 <kyod> Drup: That seems reasonable. Do you know if there is a way in metaocaml to turn a Parsetree.expression into a 'a code ? it seems that the underlying type of 'a code is the Parsetree.expression but I have trouble finding an entrypoint for generated ASTs

10:14 <Drup> there is one, but I don't remember where it is

10:18 agravier has quit [Quit: agravier]

10:19 <Drup> kyod: it's in Print_code

10:25 <kyod> Drup: thx !

10:25 <Drup> well, and Trx

10:26 <Drup> I would build ast using metaocaml's syntax, though, it's the same, except it'll already be typechecked

10:26 zpe has quit [Remote host closed the connection]

10:27 zpe has joined #ocaml

10:30 agravier has joined #ocaml

10:31 kevinqiu has joined #ocaml

10:31 zpe has quit [Ping timeout: 240 seconds]

10:33 olibjerd has quit [Quit: olibjerd]

10:36 FreeBirdLjj has joined #ocaml

10:37 kevinqiu has quit [Ping timeout: 268 seconds]

10:40 FreeBirdLjj has quit [Ping timeout: 260 seconds]

10:45 frefity has quit [Ping timeout: 240 seconds]

10:48 snowcrshd has joined #ocaml

10:50 zpe has joined #ocaml

10:53 silver has joined #ocaml

10:55 zpe has quit [Remote host closed the connection]

11:02 agravier has quit [Quit: agravier]

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

11:06 tormen has joined #ocaml

11:06 _andre has joined #ocaml

11:07 tormen has quit [Client Quit]

11:10 tormen has joined #ocaml

11:20 tormen has quit [Quit: Lost terminal]

11:23 tormen has joined #ocaml

11:32 kevinqiu has joined #ocaml

11:35 samrat has quit [Ping timeout: 268 seconds]

11:37 kevinqiu has quit [Ping timeout: 260 seconds]

11:41 vicfred has quit [Quit: Leaving]

11:44 tormen has quit [Quit: Lost terminal]

11:44 rdutra has joined #ocaml

11:47 tormen has joined #ocaml

11:48 clog has joined #ocaml

11:50 spew has joined #ocaml

11:55 ryanartecona has joined #ocaml

11:57 mrkgnao has joined #ocaml

11:58 spew has quit [Quit: foobar]

12:00 ryanartecona has quit [Ping timeout: 276 seconds]

12:02 jbrown has joined #ocaml

12:15 zpe has joined #ocaml

12:28 sgronblo has joined #ocaml

12:32 kevinqiu has joined #ocaml

12:34 tormen has quit [Quit: Lost terminal]

12:36 tormen has joined #ocaml

12:38 snowcrshd has quit [Remote host closed the connection]

12:41 frefity has joined #ocaml

13:06 mengu has joined #ocaml

13:08 freusque has quit [Ping timeout: 240 seconds]

13:08 freusque has joined #ocaml

13:10 agravier has joined #ocaml

13:12 tormen has quit [Quit: Lost terminal]

13:14 tormen has joined #ocaml

13:19 eagleflo_ is now known as eagleflo

13:19 zpe_ has joined #ocaml

13:20 tormen has quit [Quit: Lost terminal]

13:22 zpe has quit [Ping timeout: 240 seconds]

13:22 tormen has joined #ocaml

13:28 kevinqiu has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]

13:28 shinnya has joined #ocaml

13:28 kevinqiu has joined #ocaml

13:35 tane has joined #ocaml

13:37 jlam has joined #ocaml

13:38 ewanas has quit [Quit: Leaving]

13:39 snowcrshd has joined #ocaml

13:39 jlam__ has joined #ocaml

13:39 agravier has quit [Quit: agravier]

13:40 sh0t has joined #ocaml

13:41 jlam__ has quit [Read error: Connection reset by peer]

13:42 jlam__ has joined #ocaml

13:42 jlam__ has quit [Read error: Connection reset by peer]

13:42 jlam has quit [Ping timeout: 255 seconds]

13:42 jlam__ has joined #ocaml

13:42 tormen has quit [Quit: Lost terminal]

13:44 snowcrshd has quit [Ping timeout: 255 seconds]

13:45 tormen has joined #ocaml

13:53 tormen has quit [Quit: Lost terminal]

13:55 tormen has joined #ocaml

13:56 jlam has joined #ocaml

13:57 fredcy has quit [Quit: ZNC - http://znc.in]

13:58 jlam__ has quit [Ping timeout: 255 seconds]

13:59 fredcy has joined #ocaml

14:02 jao has joined #ocaml

14:03 snowcrshd has joined #ocaml

14:07 MercurialAlchemi has quit [Ping timeout: 268 seconds]

14:19 tormen has quit [Quit: Lost terminal]

14:21 tormen has joined #ocaml

14:30 tormen has quit [Quit: Lost terminal]

14:30 ryanartecona has joined #ocaml

14:32 tormen has joined #ocaml

14:46 zpe_ has quit [Remote host closed the connection]

14:46 zpe has joined #ocaml

14:49 ziyourenxiang has joined #ocaml

14:50 ryanartecona has quit [Quit: ryanartecona]

14:51 zpe has quit [Ping timeout: 260 seconds]

14:52 mengu has quit [Remote host closed the connection]

14:54 ryanartecona has joined #ocaml

14:54 sh0t has quit [Ping timeout: 255 seconds]

14:59 zpe has joined #ocaml

14:59 samrat has joined #ocaml

15:04 MercurialAlchemi has joined #ocaml

15:06 nightblues has joined #ocaml

15:13 FreeBirdLjj has joined #ocaml

15:22 snowcrshd has quit [Remote host closed the connection]

15:37 copy_ has joined #ocaml

15:38 enterprisey has joined #ocaml

15:41 samrat has quit [Ping timeout: 258 seconds]

15:44 tg has quit [Excess Flood]

15:47 agravier has joined #ocaml

15:47 KeyJoo has joined #ocaml

15:51 tg has joined #ocaml

15:52 agravier has quit [Quit: agravier]

15:52 KeyJoo has quit [Ping timeout: 260 seconds]

15:52 agravier has joined #ocaml

15:53 agravier has quit [Client Quit]

15:53 agravier has joined #ocaml

15:53 agravier has quit [Client Quit]

15:54 zpe has quit [Remote host closed the connection]

15:54 samrat has joined #ocaml

15:54 zpe has joined #ocaml

15:54 agravier has joined #ocaml

15:54 agravier has quit [Client Quit]

15:54 zpe has quit [Read error: Connection reset by peer]

15:55 zpe has joined #ocaml

15:55 agravier has joined #ocaml

15:55 zpe has quit [Remote host closed the connection]

15:55 agravier has quit [Client Quit]

15:55 yomimono has joined #ocaml

15:56 agravier has joined #ocaml

15:56 agravier has quit [Client Quit]

16:01 KeyJoo has joined #ocaml

16:07 TheLemonMan has joined #ocaml

16:18 AltGr has left #ocaml [#ocaml]

16:28 sgronblo has quit [Read error: Connection reset by peer]

16:28 AlexRussia has quit [Ping timeout: 276 seconds]

16:31 barcabuona has quit [Ping timeout: 255 seconds]

16:34 ryanartecona has quit [Quit: ryanartecona]

16:36 barcabuona has joined #ocaml

16:38 alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]

16:44 AlexRussia has joined #ocaml

16:45 Anarchos has joined #ocaml

16:53 snowcrshd has joined #ocaml

16:55 ryanartecona has joined #ocaml

16:57 sepp2k has quit [Ping timeout: 260 seconds]

17:06 tormen has left #ocaml [#ocaml]

17:23 freusque has quit [Quit: WeeChat 1.7.1]

17:29 yegods has joined #ocaml

17:34 agravier has joined #ocaml

17:35 agravier has quit [Client Quit]

17:36 agravier has joined #ocaml

17:36 agravier has quit [Client Quit]

17:37 agravier has joined #ocaml

17:37 agravier has quit [Client Quit]

17:38 agravier has joined #ocaml

17:38 agravier has quit [Client Quit]

18:04 average has quit [Quit: leaving]

18:21 ygrek_ has joined #ocaml

18:25 gameredan has quit [Ping timeout: 240 seconds]

18:28 tane has quit [Quit: Leaving]

18:30 kakadu has quit [Quit: Konversation terminated!]

18:33 rk[ghost] has quit [Ping timeout: 240 seconds]

18:39 _whitelogger has joined #ocaml

18:40 raphaelss has quit [Ping timeout: 240 seconds]

18:44 shinnya has quit [Ping timeout: 255 seconds]

18:49 tane has joined #ocaml

18:50 enterprisey has quit [Ping timeout: 260 seconds]

18:50 mrkgnao has quit [Ping timeout: 260 seconds]

18:53 jnavila has joined #ocaml

19:03 raphaelss has joined #ocaml

19:04 enterprisey has joined #ocaml

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

19:32 shinnya has joined #ocaml

19:32 jlam__ has joined #ocaml

19:33 jlam has quit [Ping timeout: 246 seconds]

19:44 jnavila has quit [Remote host closed the connection]

19:52 frefity_ has joined #ocaml

19:55 frefity has quit [Ping timeout: 255 seconds]

20:00 <reynir> Huh, I didn't know you could write #require "foo,bar,baz";; to load all three

20:01 kakadu has joined #ocaml

20:03 kakadu has quit [Remote host closed the connection]

20:04 enterprisey has quit [Ping timeout: 246 seconds]

20:06 _andre has quit [Quit: leaving]

20:06 kakadu has joined #ocaml

20:06 <companion_cube> oh!

20:06 <companion_cube> I didn't know either

20:09 <Armael> me neither :d

20:14 kakadu_ has joined #ocaml

20:14 kakadu has quit [Read error: Connection reset by peer]

20:18 MercurialAlchemi has quit [Ping timeout: 258 seconds]

20:23 <reynir> I noticed it in .ocamlmerlin in x509 :)

20:23 <reynir> err, .ocamlinit

20:24 AlexRussia has quit [Quit: WeeChat 1.8]

20:26 gameredan has quit [Quit: leaving]

20:32 yegods has quit [Remote host closed the connection]

20:38 Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]

20:40 kakadu_ has quit []

20:40 kakadu has joined #ocaml

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

20:50 yomimono has quit [Quit: Ex-Chat]

20:51 mengu has joined #ocaml

20:53 pierpa has joined #ocaml

20:54 zv_ is now known as zv

20:56 Merv_ has quit [Remote host closed the connection]

20:56 Merv_ has joined #ocaml

21:00 pierpa has quit [Ping timeout: 260 seconds]

21:07 ryanartecona has quit [Quit: ryanartecona]

21:09 rdutra has quit [Quit: Leaving.]

21:13 tane has quit [Quit: Leaving]

21:17 yegods has joined #ocaml

21:18 Simn has quit [Quit: Leaving]

21:20 jlam has joined #ocaml

21:21 jlam__ has quit [Ping timeout: 246 seconds]

21:37 snowcrshd has quit [Remote host closed the connection]

21:40 maarhart has joined #ocaml

21:42 maarhart has quit [Client Quit]

21:52 maarhart has joined #ocaml

21:53 AlexRussia has joined #ocaml

21:54 kevinqiu has quit [Ping timeout: 240 seconds]

21:55 maarhart has quit [Remote host closed the connection]

21:56 samrat has quit [Ping timeout: 255 seconds]

22:16 argent_smith has quit [Quit: Leaving.]

22:18 andreas_ has quit [Quit: Connection closed for inactivity]

22:36 sgronblo has joined #ocaml

22:37 snowcrshd has joined #ocaml

22:42 snowcrshd has quit [Ping timeout: 268 seconds]

22:46 yegods has quit [Remote host closed the connection]

22:53 ryankarason has joined #ocaml

22:56 yegods has joined #ocaml

22:57 ryankarason is now known as rk[ghost]

23:07 KeyJoo has quit [Ping timeout: 260 seconds]

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

23:34 sgronblo has quit [Read error: Connection reset by peer]

23:36 huza has joined #ocaml

23:38 snowcrshd has joined #ocaml

23:41 spion_ has quit [Ping timeout: 255 seconds]

23:42 frefity_ has quit [Ping timeout: 255 seconds]

23:42 octachron has quit [Ping timeout: 255 seconds]

23:43 snowcrshd has quit [Ping timeout: 240 seconds]

23:43 dinosaure has quit [Ping timeout: 255 seconds]

23:44 spion has joined #ocaml

23:44 frefity_ has joined #ocaml

23:44 octachron has joined #ocaml

23:53 snowcrshd has joined #ocaml

23:55 rdutra has joined #ocaml

23:57 sgronblo has joined #ocaml