#ocaml on 2017-03-25 — irc logs at freenode.irclog.whitequark.org

2016-11-11 21:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | 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:03 newbie11 has joined #ocaml

00:04 newbie11 is now known as lolisa

00:08 ryanartecona has quit [Quit: ryanartecona]

00:12 jmiven has quit [Quit: co'o]

00:14 jmiven has joined #ocaml

00:24 larhat has quit [Quit: Leaving.]

00:25 ryanartecona has joined #ocaml

00:27 BitPuffin has joined #ocaml

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

00:40 wtetzner has quit [Remote host closed the connection]

00:54 djellemah_ has joined #ocaml

00:57 djellemah has quit [Ping timeout: 240 seconds]

01:15 mengu has quit [Quit: Leaving...]

01:16 mengu has joined #ocaml

01:16 spew has quit [Ping timeout: 264 seconds]

01:20 mengu_ has joined #ocaml

01:23 mengu has quit [Ping timeout: 260 seconds]

01:24 nomicflux has joined #ocaml

01:25 mengu_ has quit [Read error: Connection reset by peer]

01:25 mengu has joined #ocaml

01:26 FreeBirdLjj has joined #ocaml

01:30 spew has joined #ocaml

01:30 ryanartecona has quit [Quit: ryanartecona]

01:31 FreeBirdLjj has quit [Ping timeout: 256 seconds]

01:32 nomicflux has quit [Quit: nomicflux]

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

01:36 mengu has quit [Ping timeout: 240 seconds]

01:37 mengu has joined #ocaml

01:38 wtetzner has joined #ocaml

01:39 wtetzner has quit [Remote host closed the connection]

01:40 mabunday has joined #ocaml

01:43 mabunday has quit [Client Quit]

01:43 mabunday has joined #ocaml

01:43 marsam has joined #ocaml

01:44 mabunday has quit [Client Quit]

01:45 marsam has quit [Remote host closed the connection]

01:46 mabunday has joined #ocaml

01:47 mabunday has quit [Client Quit]

01:54 mabunday has joined #ocaml

01:55 mabunday has quit [Client Quit]

02:04 wtetzner has joined #ocaml

02:05 FreeBirdLjj has joined #ocaml

02:07 manizzle has joined #ocaml

02:08 manizzle has quit [Max SendQ exceeded]

02:09 manizzle has joined #ocaml

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

02:16 silver has quit [Quit: rakede]

02:19 copy` has quit [Quit: Connection closed for inactivity]

02:31 mengu has joined #ocaml

02:35 mengu has quit [Ping timeout: 246 seconds]

02:37 manizzle has quit [Ping timeout: 240 seconds]

02:39 nomicflux has joined #ocaml

02:45 manizzle has joined #ocaml

02:45 nomicflux has quit [Quit: nomicflux]

02:53 jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:55 FreeBirdLjj has quit [Remote host closed the connection]

02:55 tobast1 has quit [Ping timeout: 246 seconds]

02:59 wtetzner has quit [Remote host closed the connection]

03:01 mabunday has joined #ocaml

03:01 mabunday has quit [Client Quit]

03:09 jlongster has joined #ocaml

03:10 FreeBirdLjj has joined #ocaml

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

03:19 FreeBirdLjj has joined #ocaml

03:22 fraggle_ has quit [Ping timeout: 240 seconds]

03:35 sgronblo has quit [Ping timeout: 256 seconds]

03:36 spew has quit [Quit: foobar]

03:42 jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

04:00 wtetzner has joined #ocaml

04:00 FreeBirdLjj has joined #ocaml

04:04 <rgrinberg> Are there any examples of modular menhir parsers in the wild? I'm looking to test something

04:04 wtetzner has quit [Ping timeout: 240 seconds]

04:10 sgronblo has joined #ocaml

04:13 wu_ng has quit [Ping timeout: 240 seconds]

04:13 FreeBirdLjj has quit [Ping timeout: 240 seconds]

04:14 wu_ng has joined #ocaml

04:25 rawra has quit [Quit: Connection closed for inactivity]

04:34 sgronblo has quit [Ping timeout: 240 seconds]

04:48 \h has joined #ocaml

04:49 sgronblo has joined #ocaml

04:53 \h has quit [Ping timeout: 264 seconds]

05:01 \h has joined #ocaml

05:07 wtetzner has joined #ocaml

05:10 FreeBirdLjj has joined #ocaml

05:12 wtetzner has quit [Ping timeout: 240 seconds]

05:14 rpg has quit [Ping timeout: 256 seconds]

05:14 cbot_ has joined #ocaml

05:14 ryanartecona has joined #ocaml

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

05:17 cbot has quit [Ping timeout: 264 seconds]

05:17 FreeBirdLjj has quit [Ping timeout: 264 seconds]

05:19 fluter has joined #ocaml

05:20 FreeBirdLjj has joined #ocaml

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

05:57 cbot_ has quit [Quit: Leaving]

06:14 ryanartecona has quit [Quit: ryanartecona]

06:30 philtor has quit [Ping timeout: 240 seconds]

06:32 slash^ has joined #ocaml

06:39 FreeBirdLjj has quit [Remote host closed the connection]

06:41 wu_ng has quit [Read error: Connection reset by peer]

06:41 wu_ng has joined #ocaml

06:42 adarqui has joined #ocaml

06:46 philtor has joined #ocaml

06:51 Simn has joined #ocaml

07:05 MercurialAlchemi has joined #ocaml

07:07 mengu has joined #ocaml

07:08 manizzle has quit [Ping timeout: 240 seconds]

07:29 newbie47 has joined #ocaml

07:31 newbie41 has joined #ocaml

07:32 lolisa has quit [Ping timeout: 252 seconds]

07:34 newbie47 has quit [Ping timeout: 252 seconds]

07:36 newbie41 has quit [Ping timeout: 252 seconds]

07:38 MercurialAlchemi has quit [Ping timeout: 264 seconds]

07:42 larhat has joined #ocaml

07:52 wu_ng has quit [Ping timeout: 246 seconds]

07:52 wu_ng has joined #ocaml

08:06 wtetzner has joined #ocaml

08:11 wtetzner has quit [Ping timeout: 240 seconds]

08:15 FreeBirdLjj has joined #ocaml

08:20 manizzle has joined #ocaml

08:21 mengu has quit [Remote host closed the connection]

08:24 manizzle has quit [Ping timeout: 240 seconds]

08:46 <zozozo> rgrinberg: what do you mean by modular ?

08:47 AltGr has joined #ocaml

09:02 orbifx has joined #ocaml

09:07 wtetzner has joined #ocaml

09:08 sgronblo has quit [Ping timeout: 260 seconds]

09:12 wtetzner has quit [Ping timeout: 240 seconds]

09:21 sgronblo has joined #ocaml

09:26 wu_ng has quit [Remote host closed the connection]

09:27 <companion_cube> functorized, I guess

09:30 <zozozo> in that case, any one of the parsers in https://github.com/Gbury/dolmen/tree/master/src/languages would do I guess

09:30 FreeBirdLjj has quit [Remote host closed the connection]

09:31 larhat has quit [Quit: Leaving.]

09:38 sgronblo has quit [Ping timeout: 260 seconds]

09:46 sgronblo has joined #ocaml

09:47 mrvn has left #ocaml [#ocaml]

09:53 FreeBirdLjj has joined #ocaml

09:54 sgronblo has quit [Ping timeout: 260 seconds]

10:05 orbifx has quit [Quit: WeeChat 1.6]

10:13 maattdd has joined #ocaml

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

10:22 sgronblo has joined #ocaml

10:25 sgronblo has quit [Read error: Connection reset by peer]

10:34 argent_smith has joined #ocaml

10:39 <def`> split in multiple files rather than functor

10:40 <def`> (LR parsing is not compositional, two things working on their own are not guaranteed to work when linked together, but menhir allows splitting definitions in multiple files)

10:45 _whitelogger has joined #ocaml

10:50 average has joined #ocaml

11:00 snhmib has joined #ocaml

11:06 manizzle has joined #ocaml

11:08 trapz has joined #ocaml

11:08 Simn has quit [Ping timeout: 264 seconds]

11:11 manizzle has quit [Ping timeout: 240 seconds]

11:13 manizzle has joined #ocaml

11:19 manizzle has quit [Ping timeout: 258 seconds]

11:23 slash^ has quit [Remote host closed the connection]

11:24 slash^ has joined #ocaml

11:50 sgronblo has joined #ocaml

11:51 fluter has quit [Ping timeout: 264 seconds]

11:53 tobast1 has joined #ocaml

11:57 trapz has quit [Quit: trapz]

11:57 tane has joined #ocaml

11:59 silver has joined #ocaml

12:01 rpg_ has joined #ocaml

12:02 fluter has joined #ocaml

12:09 trapz has joined #ocaml

12:14 trapz has quit [Client Quit]

12:15 sgronblo has quit [Ping timeout: 246 seconds]

12:25 ziyourenxiang has joined #ocaml

12:45 tane has quit [Quit: Leaving]

12:55 argent_smith1 has joined #ocaml

12:57 sgronblo has joined #ocaml

12:58 argent_smith has quit [Ping timeout: 240 seconds]

13:01 argent_smith has joined #ocaml

13:04 wtetzner has joined #ocaml

13:04 argent_smith1 has quit [Ping timeout: 240 seconds]

13:04 <Drup> I have one in lilis

13:04 <Drup> it's a bit old, though

13:05 Simn has joined #ocaml

13:08 sgronblo has quit [Ping timeout: 260 seconds]

13:10 BitPuffin|osx has quit [Ping timeout: 260 seconds]

13:11 mrvn has joined #ocaml

13:14 FreeBirdLjj has joined #ocaml

13:24 octachron has joined #ocaml

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

13:37 trapz has joined #ocaml

13:49 MercurialAlchemi has joined #ocaml

13:53 mengu has joined #ocaml

13:54 tane has joined #ocaml

13:55 trapz has quit [Quit: trapz]

13:55 mengu has quit [Remote host closed the connection]

14:02 FreeBirdLjj has joined #ocaml

14:12 ncthom91 has joined #ocaml

14:13 BitPuffin|osx has joined #ocaml

14:14 FreeBirdLjj has quit [Remote host closed the connection]

14:15 FreeBirdLjj has joined #ocaml

14:37 nomicflux has joined #ocaml

14:38 tane has quit [Quit: Leaving]

14:46 trapz has joined #ocaml

14:54 FreeBirdLjj has quit [Ping timeout: 240 seconds]

14:54 FreeBird_ has joined #ocaml

14:54 ncthom91 has quit [Quit: Textual IRC Client: www.textualapp.com]

14:55 mfp has joined #ocaml

15:02 spew has joined #ocaml

15:09 nomicflux has quit [Quit: nomicflux]

15:18 tane has joined #ocaml

15:21 fraggle-boate has joined #ocaml

15:21 marsam has joined #ocaml

15:22 ryanartecona has joined #ocaml

15:34 fraggle-boate has quit [Quit: Quitte]

15:34 nomicflux has joined #ocaml

15:48 nomicflux has quit [Quit: nomicflux]

15:57 murmour has quit [Quit: Leaving.]

16:02 trapz has quit [Quit: trapz]

16:20 ziyourenxiang has quit [Quit: Leaving]

16:20 nomicflux has joined #ocaml

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

16:29 BitPuffin has joined #ocaml

16:31 Simn has quit [Read error: Connection reset by peer]

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

16:45 <rgrinberg> Drup: thanks I'll have a look at lilis

16:46 marsam has left #ocaml ["Killed buffer"]

16:58 TheLemonMan has joined #ocaml

17:00 shinnya has joined #ocaml

17:05 mcc has joined #ocaml

17:13 spew has quit [Read error: Connection reset by peer]

17:18 spew has joined #ocaml

17:19 spew has quit [Read error: Connection reset by peer]

17:22 ryanartecona has quit [Quit: ryanartecona]

17:28 sz0 has joined #ocaml

17:36 spew has joined #ocaml

17:37 spew has quit [Read error: Connection reset by peer]

17:39 spew has joined #ocaml

17:47 MercurialAlchemi has quit [Ping timeout: 256 seconds]

17:54 pilne has joined #ocaml

17:56 jao has joined #ocaml

18:00 jlongster has joined #ocaml

18:03 jlongster has quit [Client Quit]

18:06 agarwal1975 has quit [Quit: agarwal1975]

18:08 Anarchos has joined #ocaml

18:11 spew has quit [Read error: Connection reset by peer]

18:16 spew has joined #ocaml

18:20 Simn has joined #ocaml

18:20 TheLemonMan has quit [Quit: Lost terminal]

18:24 nicoo has quit [Remote host closed the connection]

18:24 cbot has joined #ocaml

18:26 nicoo has joined #ocaml

18:35 kakadu has joined #ocaml

19:02 jao has quit [Ping timeout: 246 seconds]

19:02 copy` has joined #ocaml

19:05 slash^ has quit [Read error: Connection reset by peer]

19:10 wtetzner has quit [Remote host closed the connection]

19:16 manizzle has joined #ocaml

19:19 spew has quit [Quit: foobar]

19:55 Flerex has joined #ocaml

19:57 BitPuffin has quit [Ping timeout: 260 seconds]

20:05 trapz has joined #ocaml

20:05 trapz has quit [Client Quit]

20:26 Flerex has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]

20:27 spew has joined #ocaml

20:28 shinnya has quit [Ping timeout: 246 seconds]

20:41 Flerex has joined #ocaml

20:45 spew has quit [Quit: foobar]

20:46 Flerex has quit [Quit: Textual IRC Client: www.textualapp.com]

20:46 tobast1 has quit [Ping timeout: 246 seconds]

20:50 MercurialAlchemi has joined #ocaml

20:53 nomicflux has quit [Quit: nomicflux]

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

20:56 manizzle has joined #ocaml

21:02 mcc has quit [Quit: Connection closed for inactivity]

21:08 manizzle has quit [Remote host closed the connection]

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

21:08 manizzle has joined #ocaml

21:10 larhat has joined #ocaml

21:15 Anarchos has joined #ocaml

21:25 jbrown has quit [Ping timeout: 240 seconds]

21:27 argent_smith has quit [Quit: Leaving.]

21:29 newbie20 has joined #ocaml

21:29 newbie20 is now known as lolisa

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

21:34 jao has joined #ocaml

21:37 jbrown has joined #ocaml

21:40 MercurialAlchemi has quit [Ping timeout: 268 seconds]

21:47 wtetzner has joined #ocaml

21:47 tobast1 has joined #ocaml

21:53 nomicflux has joined #ocaml

22:18 P4Titan has joined #ocaml

22:18 <P4Titan> Hi all

22:19 <P4Titan> I've got a variable with the BatDynArray type, but limit what functions of the BatDynArray library can be called on this variable outside of its enclosing module. How should I go about implementing this?

22:21 <tane> hide it behind an abstract type and export only the functions you want to provide

22:27 <P4Titan> ic

22:28 <P4Titan> and type coercion doesn't work on abstract types

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

22:35 govg has quit [Ping timeout: 240 seconds]

22:36 shintaro has joined #ocaml

22:36 govg has joined #ocaml

22:56 octachron has quit [Quit: Leaving]

22:58 shintaro has quit [Quit: Konversation disconnected]

23:07 nomicflux has quit [Quit: nomicflux]

23:12 manizzle has quit [Remote host closed the connection]

23:14 sgronblo has joined #ocaml

23:16 marsam has joined #ocaml

23:21 AltGr has left #ocaml [#ocaml]

23:27 tane has quit [Quit: Leaving]

23:31 bam365 has joined #ocaml

23:34 lolisa has quit [Quit: KVIrc 4.9.1 Aria http://www.kvirc.net/]

23:43 Simn has quit [Quit: Leaving]

23:50 bam365 has quit [Quit: Page closed]