#ocaml on 2017-04-19 — 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 tennix has quit [Client Quit]

00:14 pandabo has joined #ocaml

00:19 tennix has joined #ocaml

00:23 tennix has quit [Client Quit]

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

00:28 <tautologico> I think "Heavy" was a nickname, officially it was just Caml

00:28 jabroney has left #ocaml [#ocaml]

00:29 <tautologico> but "Caml Light" was in opposition to this heavy Caml

00:30 <tautologico> actually CAML (Categorical Abstract Machine ML)

00:30 <tautologico> or just CAM Language, idk

00:31 richi235 has quit [Ping timeout: 260 seconds]

00:52 apache2 has joined #ocaml

00:55 apache2_ has quit [Ping timeout: 258 seconds]

00:55 pandabo has quit [Quit: pandabo]

00:56 ngWalrus has quit [Ping timeout: 240 seconds]

00:57 ngWalrus has joined #ocaml

00:59 AndChat504 has joined #ocaml

01:00 AndChat|504 has joined #ocaml

01:01 tristero has left #ocaml ["WeeChat 1.6"]

01:04 AndChat504 has quit [Ping timeout: 255 seconds]

01:31 pandabo has joined #ocaml

01:36 Denommus has joined #ocaml

01:37 Denommus has quit [Client Quit]

01:37 Denommus has joined #ocaml

01:44 selite has joined #ocaml

01:49 Denommus has quit [Read error: Connection reset by peer]

01:50 copy` has quit [Quit: Connection closed for inactivity]

01:53 pandabo has quit [Quit: pandabo]

01:57 pilne has quit [Quit: Quitting!]

01:58 Denommus has joined #ocaml

02:00 mfp has quit [Ping timeout: 260 seconds]

02:11 selite has quit [Quit: Page closed]

02:16 Denommus has quit [Quit: rebooting]

02:17 Denommus has joined #ocaml

02:17 AndChat504 has joined #ocaml

02:19 AndChat-504 has joined #ocaml

02:20 AndChat|504 has quit [Read error: Connection reset by peer]

02:21 AndChat|504 has joined #ocaml

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

02:23 AndChat504 has joined #ocaml

02:23 AndChat-504 has quit [Ping timeout: 258 seconds]

02:25 AndChat|504 has quit [Ping timeout: 240 seconds]

02:26 AndChat|504 has joined #ocaml

02:30 AndChat504 has quit [Ping timeout: 255 seconds]

02:33 pandabo has joined #ocaml

02:35 cdidd has quit [Ping timeout: 260 seconds]

02:40 AndChat504 has joined #ocaml

02:43 AndChat-504 has joined #ocaml

02:44 AndChat|504 has quit [Ping timeout: 258 seconds]

02:45 AndChat504 has quit [Ping timeout: 260 seconds]

02:46 AndChat504 has joined #ocaml

02:48 AndChat-504 has quit [Ping timeout: 260 seconds]

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

03:21 pandabo has left #ocaml [#ocaml]

03:25 AndChat|504 has joined #ocaml

03:27 AndChat-504 has joined #ocaml

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

03:30 MercurialAlchemi has joined #ocaml

03:30 AndChat|504 has quit [Ping timeout: 258 seconds]

03:30 AndChat504 has joined #ocaml

03:31 AndChat-504 has quit [Read error: Connection reset by peer]

03:33 AndChat|504 has joined #ocaml

03:37 AndChat504 has quit [Ping timeout: 258 seconds]

03:37 AndChat504 has joined #ocaml

03:38 AndChat-504 has joined #ocaml

03:40 AndChat|504 has quit [Ping timeout: 258 seconds]

03:41 AndChat504 has quit [Ping timeout: 255 seconds]

03:44 AndChat-504 has quit [Ping timeout: 240 seconds]

03:46 AndChat504 has joined #ocaml

03:55 infinity0_ has joined #ocaml

03:56 infinity0 has quit [Killed (barjavel.freenode.net (Nickname regained by services))]

03:56 infinity0 has joined #ocaml

03:56 infinity0_ is now known as infinity0

03:56 infinity0 has quit [Changing host]

03:56 infinity0 has quit [Remote host closed the connection]

03:59 infinity0 has joined #ocaml

03:59 infinity0 has quit [Remote host closed the connection]

04:01 infinity0 has joined #ocaml

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

04:04 infinity0 has joined #ocaml

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

04:07 infinity0 has joined #ocaml

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

04:10 infinity0 has joined #ocaml

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

04:21 AndChat504 has quit [Ping timeout: 240 seconds]

04:28 nicoo has quit [Remote host closed the connection]

04:29 nicoo has joined #ocaml

04:41 jao has quit [Ping timeout: 260 seconds]

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

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

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

05:10 tobiasBora has quit [Ping timeout: 252 seconds]

05:13 Fistine has joined #ocaml

05:14 tobiasBora has joined #ocaml

05:16 robertc has quit [Ping timeout: 260 seconds]

05:18 _y has joined #ocaml

05:39 MercurialAlchemi has joined #ocaml

05:46 ryanartecona has joined #ocaml

05:58 ryanartecona has quit [Quit: ryanartecona]

06:07 average has quit [Quit: leaving]

06:25 freusque has joined #ocaml

06:35 alfredo has joined #ocaml

06:41 dmi3y has joined #ocaml

06:42 cdidd has joined #ocaml

06:52 govg has quit [Ping timeout: 240 seconds]

06:53 orbifx has joined #ocaml

07:08 TheLemonMan has joined #ocaml

07:13 orbifx has quit [Ping timeout: 240 seconds]

07:35 AltGr has joined #ocaml

07:40 gshrikant has joined #ocaml

07:48 <gshrikant> Hi! I'm new to OCaml (and to functional programming in general). I'm having a little trouble understanding the list constructor operation '::'. Can I pattern match on a list to be broken down into the first, middle and the last elements like hd : md : tl ? Intuitively, can the compiler figure out that 'hd' and 'tl' refer to a type 'a and not 'a list?

07:51 <TheLemonMan> no, the compiler knows nothing about the length of the list so it can't possibly understand what the middle element is

07:54 <gshrikant> TheLemonMan: Thanks! Am I correct in understanding the constructor operator :: as one for 'breaking' down an existing list while '@' as a way to 'build up' the list?

07:55 maattdd_ has joined #ocaml

07:56 <TheLemonMan> not quite, (::) is 'a -> 'a list -> 'a list which is the usual element-prepend operation while (@) is 'a list -> 'a list -> 'a list the list concatenation operator

07:57 <TheLemonMan> the :: has a slightly different meaning when used in the arms of a match expression where it lets you destructure the list

07:57 <gshrikant> TheLemonMan: Ah! Got it. Thank you.

07:58 argent_smith has joined #ocaml

07:58 maattdd has quit [Ping timeout: 240 seconds]

08:03 MK__ has joined #ocaml

08:13 infinity0 has joined #ocaml

08:14 gshrikant has quit [Ping timeout: 240 seconds]

08:17 gshrikant has joined #ocaml

08:23 govg has joined #ocaml

09:03 kakadu has joined #ocaml

09:04 richi235 has joined #ocaml

09:12 larhat has joined #ocaml

09:48 gshrikant has quit [Ping timeout: 260 seconds]

10:03 whirm has joined #ocaml

10:05 <whirm> Hi all

10:08 <whirm> (newbie here) I'm attempting to use an ocamlbuild plugin on my project (https://github.com/rgrinberg/ocamlbuild-atdgen) I'm using topkg to manage it and I can't find a way to specify extra arguments to be passed to ocamlbuild when building myocamlbuild.ml. The ocamlbuild-atdgen example project just uses the Makefile to build it. But I would like to let topkg do everything. Is that possible?

10:10 <apache2> how is ocamlbuild currently launched?

10:10 <apache2> do you have a link to your work in progress?

10:11 <whirm> I execute `topkg build` and topkg attempts to build myocamlbuild and fails because of the missing args

10:12 <whirm> apache2: let me push it somewhere

10:13 mfp has joined #ocaml

10:19 <whirm> apache2: git@github.com:whirm/ssword.git

10:32 <whirm> I need to add `-plugin-tag "package(ocamlbuild_atdgen)"` to the ocamlbuild args used to compile myocamlbuild.ml

10:40 octachron has joined #ocaml

11:11 mengu has joined #ocaml

11:15 sepp2k has joined #ocaml

11:16 richi235 has quit [Ping timeout: 260 seconds]

11:25 _andre has joined #ocaml

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

11:37 dhil has joined #ocaml

11:52 richi235 has joined #ocaml

12:08 shon has quit [Remote host closed the connection]

12:15 richi235 has quit [Ping timeout: 240 seconds]

12:17 zpe has joined #ocaml

12:22 segmond has joined #ocaml

12:48 shon has joined #ocaml

12:50 Denommus` has joined #ocaml

12:50 Denommus` has quit [Max SendQ exceeded]

12:52 Denommus has quit [Ping timeout: 252 seconds]

12:54 maxirater has joined #ocaml

12:59 AlexRussia has quit [Ping timeout: 260 seconds]

13:31 maxirater has quit [Quit: Leaving]

13:31 argent_smith1 has joined #ocaml

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

13:34 argent_smith has quit [Ping timeout: 255 seconds]

13:39 _y has quit [Ping timeout: 240 seconds]

13:39 Fistine has quit [Ping timeout: 240 seconds]

13:40 _y has joined #ocaml

13:40 Fistine has joined #ocaml

13:42 ryanartecona has joined #ocaml

13:47 dhil has quit [Ping timeout: 255 seconds]

13:47 cdidd has quit [Ping timeout: 240 seconds]

14:04 dmi3y_ has joined #ocaml

14:06 dmi3y has quit [Ping timeout: 268 seconds]

14:07 sh0t has joined #ocaml

14:08 MercurialAlchemi has quit [Ping timeout: 260 seconds]

14:12 MK__ has quit [Remote host closed the connection]

14:15 Denommus has joined #ocaml

14:26 ziyourenxiang has joined #ocaml

14:31 AlexRussia has joined #ocaml

14:32 manizzle has joined #ocaml

14:41 whirm has joined #ocaml

14:42 whirm is now known as Guest26135

14:43 copy` has joined #ocaml

14:55 MercurialAlchemi has joined #ocaml

14:55 AlexRussia has quit [Ping timeout: 258 seconds]

14:59 <reynir> I don't know, is this something you can put in _tags?

15:02 Mercuria1Alchemi has joined #ocaml

15:06 MercurialAlchemi has quit [Ping timeout: 240 seconds]

15:09 dmi3y has joined #ocaml

15:12 dmi3y_ has quit [Ping timeout: 255 seconds]

15:17 larhat has quit [Quit: Leaving.]

15:18 manizzle has quit [Ping timeout: 255 seconds]

15:19 dmi3y has quit [Quit: dmi3y]

15:22 ryanartecona has quit [Quit: ryanartecona]

15:23 Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

15:24 al-damiri has joined #ocaml

15:24 alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]

15:40 Denommus has joined #ocaml

15:43 Guest26135 has quit [Ping timeout: 268 seconds]

15:46 AlexRussia has joined #ocaml

15:47 shinnya has joined #ocaml

15:47 MK__ has joined #ocaml

16:02 dsheets has joined #ocaml

16:07 jao has joined #ocaml

16:07 AlexRussia has quit [Ping timeout: 240 seconds]

16:09 dsheets has quit []

16:12 jabroney has joined #ocaml

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

16:22 dhil has joined #ocaml

16:22 johnelse has joined #ocaml

16:27 ryanartecona has joined #ocaml

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

16:45 dhil has quit [Ping timeout: 252 seconds]

16:56 jabroney1 has joined #ocaml

16:57 ryanartecona has quit [Quit: ryanartecona]

16:57 sz0 has joined #ocaml

16:58 jabroney has quit [Ping timeout: 240 seconds]

16:59 ryanartecona has joined #ocaml

17:06 xmonader has joined #ocaml

17:08 pilne has joined #ocaml

17:17 ziyourenxiang has quit [Quit: Leaving]

17:17 <hannes> AltGr: the output of opam2web (https://opam.ocaml.org/packages/afl-persistent/) is slightly broken... I can see   all over...

17:17 AlexRussia has joined #ocaml

17:19 xmonader has quit [Ping timeout: 240 seconds]

17:22 dhil has joined #ocaml

17:26 MK__ has quit [Remote host closed the connection]

17:31 jabroney has joined #ocaml

17:31 Denommus has joined #ocaml

17:32 jabroney1 has quit [Ping timeout: 240 seconds]

17:35 xmonader has joined #ocaml

17:41 <orbitz> Drup: are you a sedlex user?

17:46 <Drup> orbitz: why ?

17:53 manizzle has joined #ocaml

18:06 <orbitz> Drup: i am running into an issue with it and I see you commenting on an issue

18:06 <orbitz> Drup: And you're closer at hand than me creating an issue :)

18:06 ryanartecona has quit [Quit: ryanartecona]

18:07 zpe has joined #ocaml

18:07 <Drup> Ask, don't ask to ask ;)

18:08 <orbitz> Drup: https://bitbucket.org/snippets/orbitz/9ARza

18:08 ryanartecona has joined #ocaml

18:09 <orbitz> In this simple tokenizer, the String ctor always has empty strings despite the length and array representaion being non-empty.

18:09 <orbitz> Am I missing something about this?

18:09 <orbitz> My expectation is that line 9 is how I get the values I just consumed with the regex

18:10 sepp2k has quit [Quit: Leaving.]

18:10 <Drup> no idea.

18:13 <orbitz> dang

18:14 maattdd has joined #ocaml

18:17 richi235 has joined #ocaml

18:18 maattdd_ has quit [Ping timeout: 240 seconds]

18:23 <orbitz> Drup: Ha! Stupid me. The tail got evaluated before the cons

18:23 <orbitz> So I was consuming the whole buffer!

18:23 <orbitz> nothing to do with sedlex!

18:23 <orbitz> damned mutability

18:32 average has joined #ocaml

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

18:39 kamog has joined #ocaml

18:43 ryanartecona has quit [Quit: ryanartecona]

18:46 orbifx has joined #ocaml

19:01 orbifx has quit [Ping timeout: 252 seconds]

19:05 vramana has joined #ocaml

19:05 dmi3y has joined #ocaml

19:06 zpe has quit [Remote host closed the connection]

19:07 vramana has quit [Client Quit]

19:12 Denommus has quit [Read error: Connection reset by peer]

19:18 Denommus has joined #ocaml

19:18 dmi3y has quit [Quit: dmi3y]

19:25 freyr has joined #ocaml

19:32 shinnya has quit [Ping timeout: 240 seconds]

19:33 dhil has quit [Ping timeout: 260 seconds]

19:40 kakadu has joined #ocaml

19:45 ollehar has joined #ocaml

19:53 dmi3y has joined #ocaml

19:53 ryanartecona has joined #ocaml

19:55 moei has joined #ocaml

19:59 dhil has joined #ocaml

20:02 aantron_ has joined #ocaml

20:04 <aantron_> after a torturous process, Lwt 3.0.0 is out https://sympa.inria.fr/sympa/arc/caml-list/2017-04/msg00078.html

20:04 <aantron_> thanks to any contributors that may lurking here, and to all users :)

20:05 <companion_cube> \o/

20:05 ollehar has quit [Quit: ollehar]

20:09 foo30303 has joined #ocaml

20:23 dhil has quit [Ping timeout: 258 seconds]

20:29 AltGr has left #ocaml [#ocaml]

20:38 orbifx has joined #ocaml

20:42 dmi3y has quit [Quit: dmi3y]

20:45 Plazma has joined #ocaml

20:56 ryanartecona has quit [Quit: ryanartecona]

20:59 <reynir> I noticed; recompile ALL the things =D

20:59 <reynir> (happy release)

21:03 _andre has quit [Quit: leaving]

21:04 Mercuria1Alchemi has quit [Ping timeout: 240 seconds]

21:06 <leah2> is ocaml 4.05 out already?

21:06 Denommus has quit [Ping timeout: 252 seconds]

21:08 Denommus` has joined #ocaml

21:08 <companion_cube> I don't think so

21:08 <leah2> ok, i just saw the number popping up here and there

21:08 <companion_cube> it's in beta

21:12 Denommus` has quit [Ping timeout: 252 seconds]

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

21:22 <octachron> leah2, not yet, 4.04.1 was released first, and 4.05 should follow soon

21:22 <leah2> ok

21:28 freyr has quit [Remote host closed the connection]

21:31 <aantron_> reynir: :D ..and thanks :)

21:33 ryanartecona has joined #ocaml

21:34 moei has quit [Quit: Leaving...]

21:39 AlexRussia has quit [Ping timeout: 252 seconds]

21:56 AlexRussia has joined #ocaml

22:13 NJBS has joined #ocaml

22:46 octachron has quit [Quit: Leaving]

22:52 xmonader has quit [Ping timeout: 260 seconds]

22:53 foo30303 has quit [Quit: leaving]

22:53 NJBS has quit [Quit: Catastrophic failure.]

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

23:15 ryanartecona has quit [Quit: ryanartecona]

23:18 maattdd has quit [Ping timeout: 240 seconds]

23:20 spew has joined #ocaml

23:27 jmiven has quit [Quit: WeeChat 1.7]

23:28 al-damiri has quit [Quit: Connection closed for inactivity]

23:29 jmiven has joined #ocaml

23:33 infinity0 has quit [Ping timeout: 240 seconds]

23:35 strykerkkd has joined #ocaml

23:36 sh0t has quit [Remote host closed the connection]

23:37 aantron_ has quit [Quit: Page closed]

23:40 argent_smith1 has quit [Quit: Leaving.]

23:50 govg has quit [Ping timeout: 260 seconds]

23:54 infinity0 has joined #ocaml

23:58 atsampson has quit [Ping timeout: 260 seconds]