#ocaml on 2017-08-13 — irc logs at freenode.irclog.whitequark.org

2017-07-13 10:09 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:23 smondet[m] has quit [Ping timeout: 240 seconds]

00:23 M-martinklepsch has quit [Ping timeout: 240 seconds]

00:23 orbifx[m] has quit [Ping timeout: 246 seconds]

00:23 yetanotherion[m] has quit [Ping timeout: 246 seconds]

00:23 M-jimt has quit [Ping timeout: 246 seconds]

00:23 isaachodes[m] has quit [Ping timeout: 240 seconds]

00:23 copy[m] has quit [Ping timeout: 240 seconds]

00:23 timclassic has quit [Ping timeout: 240 seconds]

00:23 regnat[m] has quit [Ping timeout: 240 seconds]

00:23 M-ErkkiSeppl has quit [Ping timeout: 255 seconds]

00:23 Bluddy[m] has quit [Ping timeout: 255 seconds]

00:23 srenatus[m] has quit [Ping timeout: 240 seconds]

00:24 hdurer[m] has quit [Ping timeout: 255 seconds]

00:24 samrat[m] has quit [Ping timeout: 276 seconds]

00:24 aspiwack[m] has quit [Ping timeout: 276 seconds]

00:54 al-damiri has joined #ocaml

01:05 sam___ has joined #ocaml

01:12 sam___ has quit [Ping timeout: 246 seconds]

01:19 ygrek has joined #ocaml

01:23 samrat[m] has joined #ocaml

01:24 samrat[m] has quit [Remote host closed the connection]

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

01:32 samrat[m] has joined #ocaml

01:32 sam___ has joined #ocaml

01:32 srenatus[m] has joined #ocaml

01:32 timclassic has joined #ocaml

01:32 smondet[m] has joined #ocaml

01:32 aspiwack[m] has joined #ocaml

01:32 M-jimt has joined #ocaml

01:32 M-martinklepsch has joined #ocaml

01:32 hdurer[m] has joined #ocaml

01:32 Bluddy[m] has joined #ocaml

01:32 M-ErkkiSeppl has joined #ocaml

01:32 yetanotherion[m] has joined #ocaml

01:32 copy[m] has joined #ocaml

01:32 regnat[m] has joined #ocaml

01:32 isaachodes[m] has joined #ocaml

01:32 orbifx[m] has joined #ocaml

01:41 copy_ has quit [Quit: Connection closed for inactivity]

01:42 sz0 has joined #ocaml

02:02 sz0 has quit [Quit: ZNC - http://znc.in]

02:08 sz0 has joined #ocaml

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

02:15 charlenopires has joined #ocaml

02:17 KeyJoo has quit [Quit: Good luck! Have a nice Day!]

02:24 charlenopires has quit [Quit: Textual IRC Client: www.textualapp.com]

02:24 mfp__ has quit [Ping timeout: 260 seconds]

02:38 enterprisey has joined #ocaml

02:39 enterprisey has quit [Max SendQ exceeded]

02:40 enterprisey has joined #ocaml

02:42 enterprisey has quit [Max SendQ exceeded]

02:42 enterprisey has joined #ocaml

02:46 pzp has joined #ocaml

02:56 teknozulu has quit [Ping timeout: 246 seconds]

02:56 sam___ has quit [Ping timeout: 246 seconds]

03:03 sz0 has quit [Quit: ZNC - http://znc.in]

03:07 sz0 has joined #ocaml

03:09 sh0t has quit [Remote host closed the connection]

03:10 sam___ has joined #ocaml

03:18 _whitelogger has joined #ocaml

03:20 charlenopires has joined #ocaml

03:20 charlenopires has quit [Client Quit]

03:29 zv has quit [Read error: Connection reset by peer]

03:31 zv has joined #ocaml

03:32 ziyourenxiang has quit [Ping timeout: 240 seconds]

03:34 mbuf has joined #ocaml

03:49 alexelcu has quit [Remote host closed the connection]

03:49 alexelcu has joined #ocaml

04:11 nomicflux has joined #ocaml

04:28 sam___ has quit [Ping timeout: 246 seconds]

04:30 sam___ has joined #ocaml

04:37 nomicflux has quit [Quit: nomicflux]

04:45 sam___ has quit [Ping timeout: 240 seconds]

04:52 MercurialAlchemi has joined #ocaml

04:53 raphaelss has joined #ocaml

04:59 mbuf has quit [Quit: Leaving]

05:06 ygrek has quit [Ping timeout: 240 seconds]

05:24 pzp has quit [Quit: Connection closed for inactivity]

05:40 ristos has quit [Quit: Connection closed for inactivity]

05:50 jbrown has quit [Quit: Leaving]

06:02 ShalokShalom has joined #ocaml

06:11 ziyourenxiang has joined #ocaml

06:24 enterprisey has quit [Quit: Leaving]

06:32 ShalokShalom_ has joined #ocaml

06:36 ShalokShalom has quit [Ping timeout: 276 seconds]

06:40 mccajm has joined #ocaml

06:41 <mccajm> I'm parsing a csv with a row of the form string,string,int and I've defined a record with this structure. How can I parse the row string into a record? Thanks.

06:42 <mccajm> (new to ocaml)

06:53 FreeBirdLjj has joined #ocaml

06:57 FreeBirdLjj has quit [Ping timeout: 255 seconds]

07:03 raphaelss has quit [Ping timeout: 260 seconds]

07:09 mccajm has quit [Quit: Lost terminal]

07:12 slash^ has joined #ocaml

07:20 FreeBirdLjj has joined #ocaml

07:22 raphaelss has joined #ocaml

07:41 al-damiri has quit [Quit: Connection closed for inactivity]

07:48 raphaelss has quit [Quit: leaving]

07:49 raphaelss has joined #ocaml

07:56 ayxih has joined #ocaml

08:14 ShalokShalom_ is now known as ShalokShalom

08:21 ayxih has quit [Ping timeout: 255 seconds]

08:26 ziyourenxiang has quit [Quit: Leaving]

08:47 <orbifx[m]> mccajm: I doubt there is some library to so this directly, so you will have to write a parse function

08:48 FreeBirdLjj has quit [Remote host closed the connection]

08:53 kakadu has joined #ocaml

08:56 KeyJoo has joined #ocaml

08:58 kakadu_ has joined #ocaml

08:58 kakadu has quit [Ping timeout: 248 seconds]

08:59 peterpp has joined #ocaml

09:22 mfp__ has joined #ocaml

09:33 _whitelogger has joined #ocaml

09:47 maarhart has joined #ocaml

09:48 <orbifx[m]> anyone knows when the compiler might raise this? `/tmp/camlasm365a95.s:188871: Error: offset out of range`

09:50 maarhart has quit [Client Quit]

09:57 sam___ has joined #ocaml

09:59 copy_ has joined #ocaml

10:18 ziyourenxiang has joined #ocaml

10:19 <kakadu_> orbifx[m]: Could be an annoying issue. Does `make clean` help?

10:22 malina has quit [Remote host closed the connection]

10:25 <orbifx[m]> this is through an `opam install` kakadu_ , can I run i there?

10:26 <kakadu_> that's weird

10:26 <kakadu_> I'm not even sure that it is error of ocaml compiler. Can it be a linker message?

10:27 <kakadu_> make will mean reinstall in this case

10:32 andreas__ has joined #ocaml

10:37 ayxih has joined #ocaml

10:37 yegods_ has joined #ocaml

10:41 <orbifx[m]> I think it is the linker yeah

10:42 <orbifx[m]> I have reinstalled the switch but might need to wipe opam and try again

10:57 ayxih has quit [Ping timeout: 255 seconds]

11:00 mrsmkl has joined #ocaml

11:02 ayxih has joined #ocaml

11:04 ayxih2 has joined #ocaml

11:07 ayxih has quit [Ping timeout: 255 seconds]

11:07 KeyJoo has quit [Ping timeout: 258 seconds]

11:14 ayxih2 has quit [Quit: AtomicIRC: The nuclear option.]

11:15 ayxih has joined #ocaml

11:22 sam___ has quit [Ping timeout: 240 seconds]

11:25 sam___ has joined #ocaml

11:28 <orbifx[m]> For those interested on this Uri issue on ARM: https://github.com/mirage/ocaml-uri/issues/106

11:38 sam___ has quit [Ping timeout: 276 seconds]

11:49 MercurialAlchemi has quit [Ping timeout: 246 seconds]

12:03 raphaelss has quit [Quit: leaving]

12:13 sam___ has joined #ocaml

12:36 sam___ has quit [Ping timeout: 240 seconds]

12:41 peterpp has quit [Ping timeout: 248 seconds]

12:49 MercurialAlchemi has joined #ocaml

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

13:01 ayxih has joined #ocaml

13:09 ShalokShalom has quit [Remote host closed the connection]

13:09 sh0t has joined #ocaml

13:10 FreeBirdLjj has joined #ocaml

13:33 sam___ has joined #ocaml

13:51 soupault has joined #ocaml

13:52 SpiceGuid has joined #ocaml

14:08 govg has joined #ocaml

14:10 sam___ has quit [Ping timeout: 258 seconds]

14:12 sam___ has joined #ocaml

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

14:33 xuanrui has quit [Ping timeout: 246 seconds]

14:44 rostero has joined #ocaml

14:46 leah2 has quit [Quit: trotz alledem!]

14:47 xuanrui has joined #ocaml

14:54 leah2 has joined #ocaml

14:55 HTTP_____GK1wmSU has joined #ocaml

14:57 sam___ has quit [Ping timeout: 240 seconds]

14:57 HTTP_____GK1wmSU has left #ocaml [#ocaml]

15:04 ayxih has quit [Ping timeout: 246 seconds]

15:12 <reynir> orbifx[m]: are you on debian by chance?

15:13 <orbifx[m]> No reynir, Arch. What's the matter?

15:14 <reynir> ok, I think I got similar linker errors after upgrading to debian 9

15:20 sh0t has joined #ocaml

15:20 <orbifx[m]> What CPU architecture?

15:20 <reynir> uh Intel, can't remember which machine tbh

15:21 <reynir> wait, ARM

15:21 <reynir> I mean, it's Intel, but I just noticed you said ARM. Sorry

15:24 <orbifx[m]> Hmm. Same package?

15:35 ShalokShalom has joined #ocaml

15:40 raphaelss has joined #ocaml

15:53 sam___ has joined #ocaml

15:58 sam___ has quit [Ping timeout: 276 seconds]

16:01 ayxih has joined #ocaml

16:01 sz0 has quit [Quit: Connection closed for inactivity]

16:05 copy_ has quit [Quit: Connection closed for inactivity]

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

16:08 govg has joined #ocaml

16:20 ayxih has quit [Ping timeout: 240 seconds]

16:21 andreas__ has quit [Quit: Connection closed for inactivity]

16:30 nomicflux has joined #ocaml

16:35 ayxih has joined #ocaml

16:51 xuanrui has quit [Ping timeout: 248 seconds]

16:54 sam____ has joined #ocaml

16:59 sam____ has quit [Ping timeout: 240 seconds]

17:05 yegods_ has quit [Remote host closed the connection]

17:05 yegods has joined #ocaml

17:06 xuanrui has joined #ocaml

17:09 yegods has quit [Ping timeout: 246 seconds]

17:10 yegods has joined #ocaml

17:11 yegods_ has joined #ocaml

17:15 yegods has quit [Ping timeout: 246 seconds]

17:18 nomicflux has quit [Quit: nomicflux]

17:18 ayxih has quit [Ping timeout: 248 seconds]

17:22 andreas__ has joined #ocaml

17:24 soupault has quit [Remote host closed the connection]

17:26 nomicflux has joined #ocaml

17:34 yegods has joined #ocaml

17:35 theblatte has quit [Ping timeout: 240 seconds]

17:37 yegods_ has quit [Ping timeout: 246 seconds]

17:55 sam___ has joined #ocaml

17:59 ShalokShalom has quit [Quit: No Ping reply in 180 seconds.]

18:00 sam___ has quit [Ping timeout: 260 seconds]

18:00 ShalokShalom has joined #ocaml

18:01 sapristi has joined #ocaml

18:13 ayxih has joined #ocaml

18:14 peterpp has joined #ocaml

18:15 yegods has quit [Ping timeout: 246 seconds]

18:15 yegods has joined #ocaml

18:25 SpiceGuid has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]

18:26 nomicflux has quit [Quit: nomicflux]

18:44 ayxih has quit [Ping timeout: 276 seconds]

18:47 nomicflux has joined #ocaml

18:51 fraggle_ has quit [Remote host closed the connection]

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

18:56 sam___ has joined #ocaml

19:00 sam___ has quit [Ping timeout: 260 seconds]

19:07 mengu has joined #ocaml

19:16 fraggle_ has joined #ocaml

19:26 peterpp has quit [Remote host closed the connection]

19:27 ayxih has joined #ocaml

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

19:47 teknozulu has joined #ocaml

19:57 sam___ has joined #ocaml

20:01 sam___ has quit [Ping timeout: 240 seconds]

20:04 mrsmkl has quit [Ping timeout: 260 seconds]

20:07 teknozulu has quit [Ping timeout: 255 seconds]

20:07 ayxih has quit [Quit: Leaving]

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

20:09 fraggle-boate_ has quit [Remote host closed the connection]

20:15 fraggle-boate has joined #ocaml

20:19 enterprisey has joined #ocaml

20:20 tane has joined #ocaml

20:21 copy_ has joined #ocaml

20:24 rostero has quit [Quit: Connection closed for inactivity]

20:26 enterprisey has quit [Quit: Leaving]

20:34 sz0 has joined #ocaml

20:36 BitPuffin|osx has joined #ocaml

20:53 gallais has quit [Ping timeout: 246 seconds]

20:54 gallais has joined #ocaml

20:57 sam___ has joined #ocaml

21:02 sam___ has quit [Ping timeout: 260 seconds]

21:13 coventry has joined #ocaml

21:15 <coventry> How can I make an array of elements of the same type as those of a given list? I want to do something like "take n (l : a' list) = let rv = Array.make n 'a in ..." but ofc that doesn't work.

21:20 <Drup> coventry: either use Array.init or feed it the first element manually

21:20 <Drup> you need to handle the empty case specially in this case

21:21 infinity0_ has joined #ocaml

21:21 infinity0_ has quit [Changing host]

21:21 infinity0 is now known as Guest32215

21:21 infinity0 has joined #ocaml

21:22 Guest32215 has quit [Ping timeout: 255 seconds]

21:23 <coventry> Drup: Thanks. So something like "type (List.hd l)" in the second option? What should I use for "type" in that case?

21:24 <coventry> (Will probably go with the first option, but would ilke to know how to do the second.)

21:29 <octachron> coventry, array are always initialized, so you need to have at least one element of your type

21:30 <octachron> another point is that functions cannot take types as argument

21:31 <coventry> octachron: Yes, that's all clear.

21:35 <coventry> What does it mean, here, for the "[]" not to be preceded by a pipe, and what do the two pipes in "[||]" mean? "let of_list = function [] -> [||]..." https://github.com/ocaml/ocaml/blob/trunk/stdlib/array.ml#L137

21:37 <coventry> Oh, [||] is an empty array.

21:38 <coventry> And I guess you don't need the first pipe in a pattern match if you don't want it?

21:39 <octachron> coventry, yes, but this is frowned upon by some coding style

21:39 <coventry> Thanks, octachron.

21:40 <octachron> the compiler code is old and some parts of it have survived a lot of style changes

21:41 <octachron> note also, that the code of https://github.com/ocaml/ocaml/blob/trunk/stdlib/array.ml is very peculiar since it has to respect some constraints that do not exists outside of the compiler

21:42 <coventry> Wow, yeah, that line is 22 years old!

21:48 theblatte has joined #ocaml

21:52 yegods has quit [Remote host closed the connection]

21:53 tane has quit [Quit: Leaving]

21:53 yegods has joined #ocaml

21:57 yegods_ has joined #ocaml

21:57 yegods has quit [Ping timeout: 260 seconds]

21:58 sam___ has joined #ocaml

22:02 yegods_ has quit [Remote host closed the connection]

22:02 yegods has joined #ocaml

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

22:06 yegods has quit [Ping timeout: 240 seconds]

22:12 yegods has joined #ocaml

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

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

22:22 teknozulu has joined #ocaml

22:23 sam___ has joined #ocaml

22:28 <coventry> I'd welcome any suggestions for improvement of this code: https://pastebin.com/YvCd6a3u (Solution for problem 23 of the 99 problems.)

22:30 copy_ has quit [Quit: Connection closed for inactivity]

22:30 <coventry> Need an Array.to_list at the end to match the types.

22:34 <coventry> Is there any way to destructure without using pattern matching? Something like "let h::t = l in h" to get the head of a list, as in clojure?

22:34 <coventry> Destructure a list, I guess. I know how to destructure a tuple that way.

22:37 <octachron> coventry, "let h :: t = l" works, but you are missing the [] case

22:37 sam___ has quit [Ping timeout: 246 seconds]

22:38 <octachron> for which reasons do you have a list as an input?

22:38 <coventry> Oh, so it does... thanks.

22:38 mengu has joined #ocaml

22:39 <coventry> You mean in the code paste? Just because that's what's specified in the problem. Would have been much simpler with Array input, I suppose. Thanks.

22:42 <octachron> It depends on what ought to be the core of problems, if it is converting from list to arrays, then it make sense to use list as input

22:43 sam___ has joined #ocaml

22:43 mengu has quit [Ping timeout: 276 seconds]

22:45 <coventry> I just decided it would be a good time to learn to use arrays and imperative programming, so it was the core of the problem for me. :)

22:50 pierpa has joined #ocaml

22:54 zv has quit [Quit: WeeChat 1.7.1]

22:56 sh0t has quit [Remote host closed the connection]

22:57 zv has joined #ocaml

23:02 jmiven has quit [Quit: co'o]

23:05 jmiven has joined #ocaml

23:10 kolko has quit [Ping timeout: 246 seconds]

23:21 kakadu_ has quit [Remote host closed the connection]

23:21 sh0t has joined #ocaml

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

23:23 sapristi has quit [Quit: Leaving]

23:26 ziyourenxiang has quit [Ping timeout: 255 seconds]

23:32 iitalics has joined #ocaml

23:39 enterprisey has joined #ocaml

23:51 mengu has joined #ocaml

23:56 <mengu> has anyone responded to espinoza's question yesterday

23:58 iitalics has quit [Quit: /thread]