#ocaml on 2017-03-12 — 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:13 wtetzner has joined #ocaml

00:18 sillyotter has quit [Quit: WeeChat 1.4]

00:19 kakadu has quit [Remote host closed the connection]

00:32 jao has quit [Remote host closed the connection]

00:37 <rgrinberg> Any way to emit two tokens in a rule in ocamllex?

00:38 minn has joined #ocaml

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

00:40 spew has quit [Quit: foobar]

00:40 jao has joined #ocaml

00:43 atsampson has quit [Quit: new irssi time]

00:43 atsampson has joined #ocaml

01:01 wtetzner has joined #ocaml

01:06 wtetzner has quit [Ping timeout: 240 seconds]

01:08 tmtwd has joined #ocaml

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

01:16 tmtwd has quit [Remote host closed the connection]

01:30 marsam has joined #ocaml

01:32 fraggle_ has quit [Ping timeout: 240 seconds]

01:43 silver has quit [Read error: Connection reset by peer]

01:45 fraggle_ has joined #ocaml

01:52 marsam has left #ocaml ["Killed buffer"]

02:02 wtetzner has joined #ocaml

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

02:09 minn has quit [Ping timeout: 240 seconds]

02:09 wtetzner has quit [Ping timeout: 268 seconds]

02:14 minn has joined #ocaml

02:17 infinity0 has joined #ocaml

02:17 infinity0 has quit [Killed (verne.freenode.net (Nickname regained by services))]

02:17 infinity0 has joined #ocaml

02:18 infinity0 has quit [Remote host closed the connection]

02:21 infinity0 has joined #ocaml

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

02:23 infinity0 has joined #ocaml

02:24 infinity0 has quit [Remote host closed the connection]

02:26 infinity0 has joined #ocaml

02:27 infinity0 has quit [Remote host closed the connection]

02:29 infinity0 has joined #ocaml

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

02:32 infinity0 has joined #ocaml

02:32 infinity0 has quit [Remote host closed the connection]

02:36 TarVanim_ has joined #ocaml

02:36 TarVanim_ has quit [Client Quit]

02:47 segmond has joined #ocaml

03:28 fredcy_ has joined #ocaml

03:31 ohama has quit [Disconnected by services]

03:31 jrslepak_ has joined #ocaml

03:31 dmbaturin_ has joined #ocaml

03:32 ohama has joined #ocaml

03:32 atsampso1 has joined #ocaml

03:32 dmoerner_ has joined #ocaml

03:32 fraggle_ has quit [Ping timeout: 264 seconds]

03:34 Geekingfrog_ has joined #ocaml

03:35 iZsh_ has joined #ocaml

03:35 metaglog_ has joined #ocaml

03:35 g0d355__ has quit [Excess Flood]

03:35 pecan` has joined #ocaml

03:35 mcspud- has joined #ocaml

03:36 blackfry_ghost has joined #ocaml

03:36 atsampson has quit [*.net *.split]

03:36 blackfry has quit [*.net *.split]

03:36 mcspud has quit [*.net *.split]

03:36 fredcy has quit [*.net *.split]

03:36 after___ has quit [*.net *.split]

03:36 snhmib has quit [*.net *.split]

03:36 k1000 has quit [*.net *.split]

03:36 troydm has quit [*.net *.split]

03:36 dmoerner has quit [*.net *.split]

03:36 Soni has quit [*.net *.split]

03:36 iZsh has quit [*.net *.split]

03:36 ejam has quit [*.net *.split]

03:36 pigoz has quit [*.net *.split]

03:36 dmbaturin has quit [*.net *.split]

03:36 M-martinklepsch has quit [*.net *.split]

03:36 M-jimt has quit [*.net *.split]

03:36 srax has quit [*.net *.split]

03:36 jrslepak has quit [*.net *.split]

03:36 SaidinWoT has quit [*.net *.split]

03:36 parataxis has quit [*.net *.split]

03:36 yminsky has quit [*.net *.split]

03:36 emias has quit [*.net *.split]

03:36 clog has quit [*.net *.split]

03:36 metaglog has quit [*.net *.split]

03:36 pecan has quit [*.net *.split]

03:36 Geekingfrog has quit [*.net *.split]

03:36 dmiller has quit [*.net *.split]

03:36 fredcy_ is now known as fredcy

03:36 metaglog_ is now known as metaglog

03:43 ejam has joined #ocaml

03:48 fraggle_ has joined #ocaml

03:49 after___ has joined #ocaml

03:49 Soni has joined #ocaml

03:49 troydm has joined #ocaml

03:49 pigoz has joined #ocaml

03:49 k1000 has joined #ocaml

03:49 M-jimt has joined #ocaml

03:49 M-martinklepsch has joined #ocaml

03:49 yminsky has joined #ocaml

03:49 clog has joined #ocaml

03:49 dmiller has joined #ocaml

03:49 emias has joined #ocaml

03:49 parataxis has joined #ocaml

03:49 SaidinWoT has joined #ocaml

03:49 srax has joined #ocaml

03:49 Soni has joined #ocaml

03:49 Soni has quit [Changing host]

03:53 srcerer has quit [Ping timeout: 268 seconds]

04:01 pecan` is now known as pecan

04:14 nomicflux has quit [Quit: nomicflux]

04:31 sh0t has quit [Remote host closed the connection]

04:33 shinnya has joined #ocaml

04:35 pilne has quit [Quit: Quitting!]

04:54 jao has quit [Ping timeout: 240 seconds]

05:23 shinnya has quit [Ping timeout: 256 seconds]

05:49 copy` has quit [Quit: Connection closed for inactivity]

05:59 argent_smith has joined #ocaml

06:34 infinity0 has joined #ocaml

06:42 _whitelogger has joined #ocaml

06:46 MercurialAlchemi has joined #ocaml

06:48 slash^ has joined #ocaml

06:48 <shon_> hi, OCamlotes.

06:48 <shon_> Anyone have expereince-based opionions on lambda-term vs. notty?

06:56 <shon_> Wow my spelling is extra off tonight.

06:56 <shon_> opionion indeed.

07:03 mrnugget has joined #ocaml

07:09 FreeBirdLjj has joined #ocaml

07:33 larhat has joined #ocaml

07:46 Simn has joined #ocaml

08:18 <shon_> Well, I couldn't get notty to build, despite a bit of poking around, and notty built without any fuss. So I guess that settles the matter for now! Good night :)

08:20 mrnugget has quit [Ping timeout: 268 seconds]

08:33 blackfry_ghost has quit [Ping timeout: 246 seconds]

08:36 blackfry has joined #ocaml

08:43 segmond has quit [Quit: l8r]

08:52 AlexDenisov has joined #ocaml

08:56 larhat has quit [Quit: Leaving.]

08:57 AlexDeni_ has joined #ocaml

08:58 AlexDenisov has quit [Ping timeout: 240 seconds]

09:00 Geekingfrog_ is now known as Geekingfrog

09:10 Guest45617 has joined #ocaml

09:18 orbifx has joined #ocaml

09:19 Guest45617 has quit [Quit: ...]

09:24 AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:25 AlexDenisov has joined #ocaml

09:25 AlexDenisov has quit [Client Quit]

09:25 AlexDenisov has joined #ocaml

09:26 AlexDenisov has quit [Client Quit]

09:26 AlexDenisov has joined #ocaml

09:27 AlexDenisov has quit [Client Quit]

09:27 AlexDenisov has joined #ocaml

09:27 AlexDenisov has quit [Client Quit]

09:31 rand__ has joined #ocaml

09:57 jnavila has joined #ocaml

09:59 yomimono has joined #ocaml

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

10:05 fraggle_ has joined #ocaml

10:06 slash^ has quit [Read error: Connection reset by peer]

10:07 mfp has joined #ocaml

10:07 slash^ has joined #ocaml

10:14 rand__ has quit [Ping timeout: 240 seconds]

10:27 elfring has joined #ocaml

10:31 jnavila has quit [Quit: It was time]

10:46 govg has quit [Ping timeout: 240 seconds]

10:47 govg has joined #ocaml

10:50 tobiasBora has quit [Ping timeout: 264 seconds]

10:50 Fistine has quit [Ping timeout: 260 seconds]

10:50 silver has joined #ocaml

10:51 tobiasBora has joined #ocaml

10:52 _y has quit [Ping timeout: 240 seconds]

10:53 _y has joined #ocaml

10:54 yomimono has quit [Ping timeout: 264 seconds]

11:01 Fistine has joined #ocaml

11:09 d0nn1e has quit [Ping timeout: 240 seconds]

11:12 d0nn1e has joined #ocaml

11:16 TheLemonMan has joined #ocaml

11:29 snhmib has joined #ocaml

11:30 nightmared has quit [Ping timeout: 256 seconds]

11:33 AlexDenisov has joined #ocaml

11:34 nightmared has joined #ocaml

11:36 jnavila has joined #ocaml

11:37 <apache3> does someone here know how to make a compilation using topkg depend on available modules? and have that registered with opam so that installation of one of the optional dependencies will trigger recompilation?

11:38 AlexDeni_ has joined #ocaml

11:39 AlexDenisov has quit [Ping timeout: 240 seconds]

11:50 <hannes> apache3: take a peek into e.g. my arp (or tls) library... in opam you have "--with-mirage" "%{mirage:installed}%" in the build rule, in pkg.ml you have a Conf.with_pkg "mirage" and conditionally compile&install sublibs

11:51 <apache3> I'll try arp, tls was confusing :) thanks for the pointers!

12:01 jnavila has quit [Ping timeout: 240 seconds]

12:16 zpe has joined #ocaml

12:25 shinnya has joined #ocaml

12:37 jnavila has joined #ocaml

12:51 rand__ has joined #ocaml

13:06 _whitelogger has joined #ocaml

13:11 <shon_> (that second "notty" was "lambda-term" btw...)

13:14 <hannes> shon_: I used to use lambda-term, but switched to notty, reasons: more customisable (e.g. a prompt with custom key events was very hacky in lambda-term), better unicode support (try rendering 茶 with lambda-term, which assumes that this is one character width), ...

13:14 <shon_> That's very helpfull. Thank you hannes!

13:14 govg has quit [Ping timeout: 256 seconds]

13:15 <shon_> I think I may try to push through to get it built in that case.

13:15 <hannes> shon_: https://github.com/hannesm/jackline/pull/117 was my lambda-term -> notty PR

13:15 <hannes> shon_: what is your build failure?

13:16 <hannes> and lambda-term provides more functionality -- such as a widgeting library - which is not the case for notty

13:22 <companion_cube> there still isn't a widgeting library for notty?

13:23 <shon_> hannes: My build failure https://github.com/pqwy/notty/issues/13 for which there is apparently a pending a PR https://github.com/pqwy/notty/pull/11/commits/b0e12930acc26d030a74d6d63d622ae220b12c92

13:24 <shon_> (I'm going to try to build off that branch in a minute here).

13:25 <shon_> Your pr is very instructive. I may just play around with both and see which fits my needs.

13:25 <hannes> shon_: opam pin add notty https://github.com/dbuenzli/notty.git#uchar should do the trick

13:31 nomicflux has joined #ocaml

13:31 <shon_> Yes, that works! Thanks :) I still have much to learn. I didn't even look for notty on opam, since it didn't mention a package in the readme. I'll add this info my issue, in case it can help out a future newbie.

13:33 <shon_> Ah, or, rather. I see what's up. You can install packages by specifying a repo with the right packaging data. I guess I should read up a bit on opam.

13:35 govg has joined #ocaml

13:35 rand__ has quit [Ping timeout: 260 seconds]

13:36 rand__ has joined #ocaml

13:38 Simn has quit [Quit: Leaving]

13:39 rand__ has quit [Client Quit]

14:13 blackfry has quit [Ping timeout: 246 seconds]

14:13 sh0t has joined #ocaml

14:15 blackfry has joined #ocaml

14:15 jao has joined #ocaml

14:18 nomicflux has quit [Quit: nomicflux]

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

14:29 zpe has quit [Remote host closed the connection]

14:30 zpe has joined #ocaml

14:30 zpe has quit [Remote host closed the connection]

14:31 zpe has joined #ocaml

14:35 zpe has quit [Ping timeout: 264 seconds]

14:37 spew has joined #ocaml

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

14:53 fraggle_ has quit [Ping timeout: 264 seconds]

14:54 slash^ has quit [Remote host closed the connection]

15:02 fraggle_ has joined #ocaml

15:08 maattdd has quit [Quit: WeeChat 1.7]

15:09 maattdd has joined #ocaml

15:22 slash^ has joined #ocaml

15:27 sz0 has joined #ocaml

15:28 FreeBirdLjj has quit [Remote host closed the connection]

15:30 minn has quit [Ping timeout: 246 seconds]

15:31 zpe has joined #ocaml

16:00 blackfry has quit [Ping timeout: 246 seconds]

16:02 blackfry has joined #ocaml

16:14 tristero has quit [Quit: WeeChat 1.6]

16:16 awal has quit [Quit: ZNC 1.6.3 - http://znc.in]

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

16:17 zpe has joined #ocaml

16:21 dmbaturin_ is now known as dmbaturin

16:22 spew has quit [Read error: Connection reset by peer]

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

16:39 spew has joined #ocaml

16:40 cdidd has joined #ocaml

16:44 nomicflux has joined #ocaml

17:00 jnavila has joined #ocaml

17:07 programo has joined #ocaml

17:09 after____ has joined #ocaml

17:10 after___ has quit [Read error: Connection reset by peer]

17:14 awal has joined #ocaml

17:14 awal has quit [Changing host]

17:14 awal has joined #ocaml

17:14 orbifx has quit [Ping timeout: 256 seconds]

17:17 spew has quit [Quit: foobar]

17:32 nomicflux has quit [Quit: nomicflux]

17:34 sz0 has quit [Quit: Connection closed for inactivity]

17:34 zpe has quit [Remote host closed the connection]

17:34 wtetzner has joined #ocaml

17:41 sh0t has joined #ocaml

17:43 <Leonidas> oh, core_extended fails with ocamlbuild :(

17:44 <Leonidas> why would patdiff even depend on core_extended

17:51 <seliopou_> Leonidas: looks like it's just used for the benchmarks

17:52 seliopou_ is now known as seliopou

17:53 <seliopou> You may want to report the build failure in a GitHub issue

17:54 <Leonidas> seliopou: yep, good idea

17:54 <seliopou> Make a separate one for the core_extended issue and I or somebody else will look into it on Monday.

17:55 <Leonidas> seliopou: https://github.com/janestreet/core_extended/issues/10 looks like I have exactly this one

17:56 <seliopou> huh, can you confirm you've tried a version of core_extended that includes the patch i linked to?

17:57 <seliopou> if your error's different in any way, you should definitely add it to the issue

17:57 <Leonidas> seliopou: nope, mine is older, 113.33.00+4.03

17:57 <Leonidas> but there is no newer one on OPAM, that's weird

17:58 <seliopou> jeremie should be releasing to OPAM sometime this week

17:58 <seliopou> in the mean time, you can add this remote to get the latest jane street universe https://github.com/janestreet/opam-repository

18:00 <Leonidas> ser[ERROR] curl: code 404 while downloading https://github.com/janestreet/opam-repository/urls.txt

18:00 <Leonidas> seliopou: -^ (sorry, I mispasted)

18:00 <seliopou> hmmmm

18:00 <seliopou> try adding it as a git remote? I think that worked for me?

18:01 <seliopou> this: git@github.com:janestreet/opam-repository.git

18:02 <Leonidas> yep, works. building :)

18:02 jao has quit [Ping timeout: 258 seconds]

18:03 <Leonidas> seliopou: can I also file an issue, asking for patdiff to be unbundled from core_extended? :)

18:03 zpe has joined #ocaml

18:04 <seliopou> definitiely file the issue

18:04 <seliopou> if it's possible i'll try to get it in for the next release

18:05 <Leonidas> \o/ awesome. I love patdiff and sold it to my coworkers already :)

18:08 jnavila has quit [Ping timeout: 240 seconds]

18:09 <Leonidas> seliopou: core_extended still fails, even on 114.35+03

18:10 Simn has joined #ocaml

18:12 dmoerner_ is now known as dmoerner

18:14 mengu has joined #ocaml

18:14 <Leonidas> seliopou: https://github.com/janestreet/core_extended/issues/12

18:15 <Leonidas> seliopou: https://github.com/janestreet/patdiff/issues/6

18:16 <Leonidas> and now back to fixing my elm build issues :D

18:22 nomicflux has joined #ocaml

18:22 MercurialAlchemi has quit [Ping timeout: 240 seconds]

18:24 MercurialAlchemi has joined #ocaml

18:26 arj has joined #ocaml

18:28 blackfry has quit [Ping timeout: 246 seconds]

18:30 blackfry has joined #ocaml

18:33 zpe has quit [Remote host closed the connection]

18:54 jnavila has joined #ocaml

19:06 jnavila has quit [Ping timeout: 240 seconds]

19:23 arc- is now known as arcetera

19:23 arcetera has quit [Changing host]

19:23 arcetera has joined #ocaml

19:30 TheLemonMan has joined #ocaml

19:34 slash^ has quit [Quit: Leaving]

19:36 jnavila has joined #ocaml

20:02 tane has joined #ocaml

20:03 mengu_ has joined #ocaml

20:04 mengu has quit [Ping timeout: 240 seconds]

20:04 kakadu has joined #ocaml

20:08 programo has quit [Read error: Connection reset by peer]

20:08 blackfry has quit [Ping timeout: 246 seconds]

20:09 wtetzner has quit [Remote host closed the connection]

20:10 blackfry has joined #ocaml

20:12 awalgarg has joined #ocaml

20:12 awalgarg is now known as Guest62046

20:14 Guest62046 has quit [Changing host]

20:14 Guest62046 has joined #ocaml

20:14 awal is now known as Guest19682

20:14 Guest62046 is now known as awal

20:20 arj has quit [Quit: Leaving.]

20:24 awal has quit [Changing host]

20:24 awal has joined #ocaml

20:29 Guest19682 has quit [Quit: ZNC 1.6.3 - http://znc.in]

20:38 AlexDeni_ has quit [Read error: Connection reset by peer]

20:44 AlexDeni_ has joined #ocaml

20:52 freusque has joined #ocaml

20:53 spew has joined #ocaml

20:57 wtetzner has joined #ocaml

20:59 <Leonidas> seliopou: I searched in /usr/include/linux but found no mention of _LINUX_QUOTA_VERSION, I suspect it uses macOS'es quota definitions.

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

21:04 minn has joined #ocaml

21:14 larhat has joined #ocaml

21:15 spew has quit [Ping timeout: 260 seconds]

21:37 elfring has quit [Quit: Konversation terminated!]

21:47 blackfry has quit [Ping timeout: 246 seconds]

21:48 spew has joined #ocaml

21:50 blackfry has joined #ocaml

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

22:01 jnavila has quit [Remote host closed the connection]

22:05 freusque has quit [Ping timeout: 260 seconds]

22:05 jao has joined #ocaml

22:08 Simn has quit [Quit: Leaving]

22:14 silver_ has joined #ocaml

22:14 silver has quit [Ping timeout: 258 seconds]

22:17 silver_ is now known as silver

22:26 minn has quit [Quit: Leaving]

22:29 snhmib has quit [Ping timeout: 240 seconds]

22:31 MercurialAlchemi has quit [Ping timeout: 256 seconds]

22:34 AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:36 nomicflux has quit [Quit: nomicflux]

22:45 nomicflux has joined #ocaml

22:45 nomicflux has quit [Client Quit]

22:52 marsam has joined #ocaml

22:54 orbifx has joined #ocaml

23:00 marsam has left #ocaml ["Killed buffer"]

23:11 tane has quit [Quit: Leaving]

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

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

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

23:37 blackfry has quit [Ping timeout: 246 seconds]

23:39 mengu has joined #ocaml

23:40 blackfry has joined #ocaml

23:41 mengu_ has quit [Ping timeout: 260 seconds]

23:48 justicefries has left #ocaml [#ocaml]

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