#ocaml on 2018-06-07 — irc logs at freenode.irclog.whitequark.org

2017-11-24 19:05 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:00 silver has joined #ocaml

00:04 zmt00 has quit [Read error: Connection reset by peer]

00:04 zmt00 has joined #ocaml

00:17 pzp has joined #ocaml

00:17 pyx has joined #ocaml

00:17 pyx has quit [Client Quit]

00:26 gtrak has joined #ocaml

00:28 sh0t has joined #ocaml

00:29 zolk3ri has quit [Remote host closed the connection]

00:32 ygrek has quit [Ping timeout: 256 seconds]

00:39 silver_ has joined #ocaml

00:42 silver has quit [Ping timeout: 248 seconds]

00:46 shw has joined #ocaml

00:47 spew has quit [Quit: Connection closed for inactivity]

00:53 silver_ has quit [Quit: rakede]

00:55 jao has quit [Ping timeout: 240 seconds]

01:09 cbot has joined #ocaml

01:19 isd has quit [Ping timeout: 248 seconds]

01:43 sh0t has quit [Remote host closed the connection]

02:02 btbytes has joined #ocaml

02:04 tormen has joined #ocaml

02:07 tormen_ has quit [Ping timeout: 264 seconds]

02:12 mfp has quit [Ping timeout: 264 seconds]

02:33 hdon has quit [Ping timeout: 248 seconds]

02:39 hdon has joined #ocaml

02:44 hdon has quit [Ping timeout: 260 seconds]

02:56 btbytes has quit [Quit: Textual IRC Client: www.textualapp.com]

02:56 pierpa has quit [Quit: Page closed]

03:02 isd has joined #ocaml

03:18 isd has quit [Quit: Leaving.]

03:26 pzp has quit [Quit: Connection closed for inactivity]

03:34 hdon has joined #ocaml

03:46 hdon has quit [Ping timeout: 268 seconds]

03:51 pierpal has quit [Quit: Poof]

03:51 pierpal has joined #ocaml

03:53 JimmyRcom_ has joined #ocaml

03:56 emias has quit [Ping timeout: 268 seconds]

04:02 hdon has joined #ocaml

04:08 JimmyRcom_ has quit [Ping timeout: 240 seconds]

04:23 emias has joined #ocaml

04:30 unyu has quit [Quit: Reboot.]

04:33 mbuf has joined #ocaml

04:34 unyu has joined #ocaml

04:43 hdon has quit [Ping timeout: 256 seconds]

04:52 MercurialAlchemi has joined #ocaml

04:54 tarptaeya has joined #ocaml

05:08 ygrek has joined #ocaml

05:42 gtrak has quit [Ping timeout: 260 seconds]

05:44 gtrak has joined #ocaml

05:54 hdon has joined #ocaml

05:56 bartholin has quit [Ping timeout: 268 seconds]

06:03 sgnb has joined #ocaml

06:08 hdon has quit [Ping timeout: 260 seconds]

06:10 bartholin has joined #ocaml

06:18 hdon has joined #ocaml

06:23 hdon has quit [Ping timeout: 265 seconds]

06:36 hdon has joined #ocaml

06:41 noitakomentaja has joined #ocaml

06:41 hdon has quit [Ping timeout: 256 seconds]

06:43 Haudegen has joined #ocaml

07:14 cbot has quit [Quit: Leaving]

07:31 dhil_ has joined #ocaml

07:33 jaar_ has joined #ocaml

07:35 ygrek has quit [Ping timeout: 240 seconds]

08:00 bartholin has quit [Quit: Leaving]

08:22 mk9 has joined #ocaml

08:27 Bronsa has joined #ocaml

08:37 hdon has joined #ocaml

08:42 hdon has quit [Ping timeout: 256 seconds]

08:50 malina has joined #ocaml

08:52 jaar_ has quit [Remote host closed the connection]

08:52 jaar_ has joined #ocaml

08:57 noitakomentaja has quit [Ping timeout: 250 seconds]

09:02 zolk3ri has joined #ocaml

09:20 dhil_ has quit [Ping timeout: 240 seconds]

09:22 mk9 has quit [Quit: mk9]

09:37 shinnya has quit [Ping timeout: 256 seconds]

09:41 mk9 has joined #ocaml

09:42 mk9 has quit [Client Quit]

09:44 malina has quit [Ping timeout: 260 seconds]

09:45 mfp has joined #ocaml

09:45 mk9 has joined #ocaml

09:50 mk9_ has joined #ocaml

09:53 mk9 has quit [Ping timeout: 240 seconds]

09:53 mk9_ is now known as mk9

09:54 ziyourenxiang has joined #ocaml

09:58 jao has joined #ocaml

09:58 dhil_ has joined #ocaml

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

10:06 noitakomentaja has joined #ocaml

10:11 mk9 has quit [Quit: mk9]

10:13 argent_smith has joined #ocaml

10:20 malina has joined #ocaml

10:35 jao has quit [Ping timeout: 245 seconds]

10:36 pmetzger[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

10:48 sz0 has joined #ocaml

10:49 dakk has joined #ocaml

10:50 tiksin[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

10:58 jao has joined #ocaml

11:05 olopierpa[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

11:06 loxs[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

11:08 Haudegen has joined #ocaml

11:11 neiluj has left #ocaml ["Kicked by @appservice-irc:matrix.org : removing from IRC because user idle on matrix for 30+ days"]

11:11 dhil_ has quit [Ping timeout: 264 seconds]

11:17 mmmmmmmmmmmm[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

11:17 silver has joined #ocaml

11:18 dhil_ has joined #ocaml

11:28 shinnya has joined #ocaml

11:31 noitakomentaja has quit [Remote host closed the connection]

11:31 noitakomentaja has joined #ocaml

11:36 zolk3ri has quit [Quit: Lost terminal]

11:36 Bronsa has quit [Ping timeout: 240 seconds]

11:38 jao has quit [Read error: Connection reset by peer]

11:48 hcarty[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

11:56 Bronsa has joined #ocaml

12:00 talyian[m] has left #ocaml ["Kicked by @appservice-irc:matrix.org : removing from IRC because user idle on matrix for 30+ days"]

12:02 spew has joined #ocaml

12:06 bli[m] has quit [Quit: removing from IRC because user idle on matrix for 30+ days]

12:09 FreeBirdLjj has joined #ocaml

12:11 barcabuona has quit [Ping timeout: 256 seconds]

12:14 FreeBirdLjj has quit [Ping timeout: 256 seconds]

12:18 wklm has joined #ocaml

12:21 dhil_ has quit [Ping timeout: 260 seconds]

12:27 sh0t has joined #ocaml

12:44 barcabuona has joined #ocaml

12:46 jaar_ has quit [Remote host closed the connection]

12:47 mk9 has joined #ocaml

12:47 mbuf has quit [Remote host closed the connection]

12:47 mbuf has joined #ocaml

12:51 sz0 has quit [Quit: Connection closed for inactivity]

12:53 jaar_ has joined #ocaml

13:01 pierpal has quit [Quit: Poof]

13:02 pierpal has joined #ocaml

13:02 sh0t has quit [Remote host closed the connection]

13:04 mbuf has quit [Remote host closed the connection]

13:07 mk9 has quit [Quit: mk9]

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

13:10 <theblatte> how do I tell jbuilder to use my own index.mld file when building the documentation? Everything I've tried either ignores it or errors with "Multiple rules generated for _build/default/_doc/_odoc/pkg/InferBase/page-index.odoc:

13:10 <theblatte> that error is with base/jbuild containing "(documentation ((package InferBase) (mld_files (index))))

13:10 <theblatte> "

13:13 <theblatte> I've looked at how JaneStreet's Base does it, but building the docs there (jbuilder build @doc) puts the default generated index instead of using base.mld and generating the same page as https://ocaml.janestreet.com/ocaml-core/latest/doc/base/

13:15 zolk3ri has joined #ocaml

13:15 jao has joined #ocaml

13:16 jaar_ has quit [Remote host closed the connection]

13:19 <discord1> <bobby> theblatte, have you tried using just (documentation ()) in jbuild file?

13:20 <rgr[m]> theblatte: you might also need jbuilder#master

13:20 <rgr[m]> I recall fixing a bug related to this

13:21 <theblatte> yes, that generates the default index.html (I have to specify the (package InferBase) too in that stanza for it to work, so (documentation ((package InferBase))))

13:21 <theblatte> rgr[m]: interesting, I'll try

13:22 <theblatte> ok so it's called dune now :p

13:22 <theblatte> (I mean in opam too)

13:23 mk9 has joined #ocaml

13:23 fds_ is now known as fds

13:23 <theblatte> rgr[m]: just FYI I also hit https://github.com/ocaml/dune/issues/856 first, so had to make my libraries public to get any html at all

13:23 jaar_ has joined #ocaml

13:24 <rgr[m]> Yes. The dune pacakge supports both binaries

13:24 <rgr[m]> That is also fixed in master

13:24 <rgr[m]> $ jbuilder build @doc-private will work as expected

13:24 <theblatte> rgr[m]: woot! that worked

13:25 <theblatte> thanks :)

13:25 mk9 has quit [Client Quit]

13:25 nahra has joined #ocaml

13:27 neatonk has joined #ocaml

13:31 nahra` has joined #ocaml

13:32 nahra` has quit [Remote host closed the connection]

13:32 <theblatte> @doc-private also works, but doesn't generate index.html files for my libraries

13:32 <theblatte> (if I turn them all private again)

13:33 nahra has quit [Ping timeout: 264 seconds]

13:35 nahra has joined #ocaml

13:37 hdon has joined #ocaml

13:38 jao has quit [Ping timeout: 245 seconds]

13:42 hdon has quit [Ping timeout: 264 seconds]

13:43 dhil_ has joined #ocaml

13:46 shinnya has quit [Ping timeout: 260 seconds]

13:57 sh0t has joined #ocaml

14:04 <rgr[m]> Hmm, it should generate index.html for every individual library. But it will not create an index file to list all your private libs

14:12 wklm has quit [Ping timeout: 260 seconds]

14:20 dhil_ has quit [Ping timeout: 240 seconds]

14:23 gpietro has joined #ocaml

14:24 gpietro has quit [Remote host closed the connection]

14:24 sh0t has quit [Remote host closed the connection]

14:25 sh0t has joined #ocaml

14:33 sgnb has quit [Remote host closed the connection]

14:39 sgnb has joined #ocaml

14:42 dhil_ has joined #ocaml

14:50 bartholin has joined #ocaml

14:50 maarhart has joined #ocaml

14:52 noitakomentaja has quit [Ping timeout: 250 seconds]

14:52 maarhart has quit [Client Quit]

14:53 noitakomentaja has joined #ocaml

14:59 FreeBirdLjj has joined #ocaml

15:03 pierpal has quit [Quit: Poof]

15:03 pierpal has joined #ocaml

15:05 noitakomentaja has quit [Ping timeout: 250 seconds]

15:07 wklm has joined #ocaml

15:17 mk9 has joined #ocaml

15:23 mk9 has quit [Quit: mk9]

15:33 glass has quit [Ping timeout: 240 seconds]

15:33 <theblatte> rgr[m]: sorry in advance for asking this but is there a plan to make a release with these fixes before 1.0? Asking because 1.0 seems a bit of a way away still

15:34 <companion_cube> what's missing for 1.0, by curiosity?

15:35 <theblatte> I'm just making wild assumptions about it being quite a way away to be honest, but it's based on https://github.com/ocaml/dune/milestone/1

15:35 <companion_cube> oh, well spotted

15:36 theglass has joined #ocaml

15:36 theglass has quit [Changing host]

15:37 hdon has joined #ocaml

15:39 <rgr[m]> It doesn't seem so long to me

15:40 <companion_cube> keep up the good work !!

15:41 theglass has quit [Ping timeout: 265 seconds]

15:42 hdon has quit [Ping timeout: 256 seconds]

15:42 theglass has joined #ocaml

15:42 theglass has quit [Changing host]

15:44 wklm has quit [Ping timeout: 256 seconds]

15:48 dakk has quit [Remote host closed the connection]

15:48 dakk has joined #ocaml

15:52 FreeBirdLjj has quit [Ping timeout: 256 seconds]

15:58 FreeBirdLjj has joined #ocaml

16:02 pierpal has quit [Quit: Poof]

16:02 pierpal has joined #ocaml

16:09 barcabuona has quit [Ping timeout: 256 seconds]

16:11 wklm has joined #ocaml

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

16:27 FreeBirdLjj has quit [Remote host closed the connection]

16:30 tokenrov1 is now known as tokenrove

16:37 dakk has quit [Remote host closed the connection]

16:44 FreeBirdLjj has joined #ocaml

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

16:56 ioanluca has quit [Read error: Connection reset by peer]

17:00 FreeBirdLjj has quit [Remote host closed the connection]

17:01 FreeBirdLjj has joined #ocaml

17:06 FreeBirdLjj has quit [Ping timeout: 276 seconds]

17:16 Bronsa has quit [Ping timeout: 245 seconds]

17:18 Guest77170 is now known as bbc

17:25 jaar_ has quit [Quit: Leaving]

17:25 barcabuona has joined #ocaml

17:27 <Leonidas> hannes: han I haz nocrypto release? Pretty please :)

17:27 <hannes> Leonidas: I'm neither author nor maintainer thereof, sorry I can't help you there.

17:28 <Leonidas> hannes: ah sorry, I thought you were involved in nocrypto too.

17:34 hdon has joined #ocaml

17:42 gtrak has quit [Ping timeout: 260 seconds]

17:44 gtrak has joined #ocaml

17:46 kakadu has joined #ocaml

18:09 <discord1> <andreypopp> Hi, is there a way to sandbox OCaml programs at runtime? Restrict network, fs, etc? I know I can sandbox with OS tools but interested if it can be done at the language runtime level.

18:09 <Drup> I'm not aware of any tools that does that at the language level

18:10 andreypopp has joined #ocaml

18:25 tarptaeya has quit [Quit: Konversation terminated!]

18:40 dhil_ has quit [Ping timeout: 260 seconds]

18:58 wklm has quit [Ping timeout: 264 seconds]

19:00 mnemem has joined #ocaml

19:00 zolk3ri has quit [Ping timeout: 245 seconds]

19:11 zolk3ri has joined #ocaml

19:43 mnemem has quit [Ping timeout: 240 seconds]

19:46 jack5638 has quit [Ping timeout: 268 seconds]

19:47 mnemem has joined #ocaml

19:49 unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]

19:52 jack5638 has joined #ocaml

19:54 pierpal has quit [Quit: Poof]

19:54 pierpal has joined #ocaml

19:58 <rgr[m]> Drup: didn't the tezos people do something like that?

19:58 <Drup> I don't see why, tezos contracts are not OCaml code

20:01 <companion_cube> liquidity seems to be a DSL in OCaml

20:01 <rgr[m]> liquidity doesn't count? :P

20:01 <companion_cube> but they probably only use the parsetree

20:02 unyu has joined #ocaml

20:11 isd has joined #ocaml

20:19 andreypopp has quit [Quit: Connection closed for inactivity]

20:30 mk9 has joined #ocaml

20:36 pierpa has joined #ocaml

21:01 zolk3ri has quit [Ping timeout: 260 seconds]

21:09 zolk3ri has joined #ocaml

21:13 navaja has joined #ocaml

21:25 mk9 has quit [Quit: mk9]

21:33 navaja has quit [Ping timeout: 264 seconds]

21:43 exarkun has quit [Read error: Connection reset by peer]

21:44 hdon has quit [Ping timeout: 240 seconds]

21:46 mk9 has joined #ocaml

21:50 mnemem has quit [Ping timeout: 256 seconds]

21:51 kakadu_ has joined #ocaml

21:51 kakadu has quit [Ping timeout: 256 seconds]

21:52 exarkun has joined #ocaml

21:53 isd has quit [Ping timeout: 240 seconds]

21:54 isd has joined #ocaml

21:57 hdon has joined #ocaml

22:03 <Armael> afaik tezos does this for the protocol

22:03 <Armael> which is ocaml code

22:04 <Armael> and can be updated following consensus

22:04 <Armael> in the docs they say it's ocaml code compiled with a "tweaked ocaml compiler" that ensures only some restricted api is used; effectively implementing some sort of sandboxing

22:04 <Armael> I don't know much more than that

22:10 mk9 has quit [Quit: mk9]

22:13 cbot has joined #ocaml

22:14 mk9 has joined #ocaml

22:15 cobreadmonster has joined #ocaml

22:17 pierpal has quit [Ping timeout: 256 seconds]

22:19 navaja has joined #ocaml

22:24 mk9 has quit [Quit: mk9]

22:25 spew has quit [Disconnected by services]

22:25 navaja is now known as spew

22:26 kakadu_ has quit [Remote host closed the connection]

22:27 mnemem has joined #ocaml

22:32 mnemem has quit [Ping timeout: 260 seconds]

22:45 spew has quit [Ping timeout: 268 seconds]

22:47 shinnya has joined #ocaml

22:58 ziyourenxiang has joined #ocaml

23:01 noitakomentaja has joined #ocaml

23:08 ziyourenxiang has quit [Ping timeout: 264 seconds]

23:11 vista has left #ocaml ["WeeChat 2.1"]

23:18 robmyers has joined #ocaml

23:19 robmyers_ has joined #ocaml

23:21 robmyers_ has quit []

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

23:26 cbot has quit [Ping timeout: 256 seconds]

23:31 argent_smith has quit [Quit: Leaving.]

23:32 exarkun has joined #ocaml

23:47 silver has quit [Read error: Connection reset by peer]

23:47 cbot has joined #ocaml

23:54 zolk3ri has quit [Remote host closed the connection]

23:56 mnemem has joined #ocaml