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

2018-08-02 09:43 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel

00:07 Fare has joined #ocaml

00:08 ziyourenxiang has quit [Ping timeout: 252 seconds]

00:14 jbrown has quit [Ping timeout: 246 seconds]

00:25 Haudegen has quit [Remote host closed the connection]

00:26 Fare has quit [Ping timeout: 252 seconds]

00:39 caltelt_ has quit [Ping timeout: 252 seconds]

00:46 Fare has joined #ocaml

00:52 jao has quit [Ping timeout: 252 seconds]

00:58 thomas_scrace has joined #ocaml

01:02 thomas_scrace has quit [Ping timeout: 245 seconds]

01:07 caltelt_ has joined #ocaml

01:10 jbrown has joined #ocaml

01:46 mfp has quit [Ping timeout: 252 seconds]

02:08 tormen_ has joined #ocaml

02:11 tormen has quit [Ping timeout: 240 seconds]

02:15 dinosaure has quit [Ping timeout: 252 seconds]

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

02:19 gtrak has quit [Ping timeout: 252 seconds]

02:21 gtrak has joined #ocaml

02:25 dinosaure has joined #ocaml

02:31 silver_ has quit [Read error: Connection reset by peer]

02:57 bramford has joined #ocaml

02:59 thomas_scrace has joined #ocaml

03:03 thomas_scrace has quit [Ping timeout: 252 seconds]

03:40 clownpri1 has quit [Ping timeout: 252 seconds]

03:48 zozozo has quit [Ping timeout: 252 seconds]

03:49 richi235 has quit [Ping timeout: 252 seconds]

03:55 richi235 has joined #ocaml

03:55 zozozo has joined #ocaml

04:03 manas has joined #ocaml

04:05 manas has left #ocaml [#ocaml]

04:05 manas has joined #ocaml

04:39 clownpri1 has joined #ocaml

04:44 clownpri1 has quit [Ping timeout: 240 seconds]

04:59 thomas_scrace has joined #ocaml

05:04 thomas_scrace has quit [Ping timeout: 272 seconds]

05:15 dmiles has quit [Read error: Connection reset by peer]

05:21 erkin has joined #ocaml

05:23 demonimin has quit [Ping timeout: 272 seconds]

05:23 demonimin has joined #ocaml

05:27 dmiles has joined #ocaml

05:31 caltelt_ has quit [Ping timeout: 244 seconds]

05:52 martinium has joined #ocaml

05:54 jbrown has quit [Ping timeout: 252 seconds]

05:57 thomas_scrace has joined #ocaml

06:02 thomas_scrace has quit [Ping timeout: 252 seconds]

06:25 erkin has quit [Remote host closed the connection]

06:26 erkin has joined #ocaml

06:36 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:36 manas has quit [Remote host closed the connection]

06:38 glass has left #ocaml [#ocaml]

06:41 theglass has joined #ocaml

06:43 martinium has left #ocaml ["Leaving"]

06:56 clownpri1 has joined #ocaml

07:01 manas has joined #ocaml

07:01 clownpri1 has quit [Ping timeout: 252 seconds]

07:01 manas has quit [Remote host closed the connection]

07:02 manas has joined #ocaml

07:08 sagotch has joined #ocaml

07:11 orbifx has joined #ocaml

07:21 TheLemonMan has joined #ocaml

07:22 orbifx has quit [Ping timeout: 252 seconds]

07:30 manas has quit [Remote host closed the connection]

07:36 rwmjones|afk is now known as rwmjones

07:38 ollehar has joined #ocaml

07:39 dinosaure has quit [Ping timeout: 252 seconds]

07:43 manas has joined #ocaml

07:47 manas has quit [Ping timeout: 240 seconds]

08:00 dinosaure has joined #ocaml

08:04 AltGr has joined #ocaml

08:10 manas has joined #ocaml

08:14 manas has quit [Ping timeout: 252 seconds]

08:20 mfp has joined #ocaml

08:20 manas has joined #ocaml

08:25 pierpal has joined #ocaml

08:35 clownpri1 has joined #ocaml

08:38 manas has quit [Remote host closed the connection]

08:40 clownpri1 has quit [Ping timeout: 252 seconds]

08:41 pierpal has quit [Quit: Poof]

08:41 pierpal has joined #ocaml

08:48 manas has joined #ocaml

08:52 manas has quit [Ping timeout: 250 seconds]

08:56 Haudegen has joined #ocaml

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

09:01 manas has joined #ocaml

09:12 <Ulrar> So, trying to figure out how dune works. I have all my files in the same directory, which works fine, but now I'd like to organize that in a few different subdirectories, which looks impossible ?

09:12 kvda has joined #ocaml

09:18 troydm has quit [Ping timeout: 252 seconds]

09:19 <theblatte> Ulrar: there's a copy_files# stanza you can use, although maybe there's something better now

09:21 <Ulrar> I've seen that mention, but I don't understand how that's supposed to be used

09:21 <Ulrar> I also see people saying you have to use library, which again would be fine if I understood how

09:22 <Ulrar> Seems like there's very little examples outside of the documentation, which is a bit hairy

09:24 <theblatte> dune's preferred organisation of files is when one directory contains one library, which will have its own dune file

09:25 <theblatte> Ulrar: you can take a look at how we use copy_files in infer: https://github.com/facebook/infer/blob/22157739b805629bd2d736dbb920cb47f92c8fd2/infer/src/dune.in#L100

09:25 <Ulrar> Allright, then how do you refer to that library from the top level dune file ?

09:25 <theblatte> it's basically just a matter of (copy_files# some_directory/*.ml{,i,l})

09:26 <Ulrar> And it'll be exposed as what, just the name of the ml or Directory.Ml ?

09:26 <theblatte> you add it to you executable or library dependency: (libraries MyLib)

09:26 Adr1 has joined #ocaml

09:27 <Ulrar> yeah but if I do that how does it know where MyLib is ?

09:27 <theblatte> and in your library's dune file you'll have (public_name MyLib)

09:27 <theblatte> dune will look into the whole file hierarchy starting at the project root

09:27 <Ulrar> Ah !

09:27 <Ulrar> That's the part I was missing

09:27 <Ulrar> Thanks, I'll try that then

09:27 <theblatte> cool

09:30 <Ulrar> Mh now it's complaining about missing .opam files for installation

09:30 <Ulrar> Can't I tell it not to install the lib, just compile it for the project ?

09:33 lostman has joined #ocaml

09:35 <theblatte> that I haven't figured out... touch MyLib.opam worked for me

09:36 <Armael> if you do not provide a public_name for the lib, I think it is not installed

09:37 <Armael> and you do not need a .opam

09:37 <Ulrar> Yeah, but if I do that I can't figure out how to use it from the top, it says it can't find the lib

09:37 <Ulrar> I must be missing something

09:38 <Ulrar> include_subdirs unqualified seems interested. qualified would be better, but apparently that's planned

09:38 <Ulrar> interesting*

09:38 <Armael> umm typically if I have project/lib and project/src, and project/lib/dune defines a library, I'm able to use that library in project/src/dune

09:39 <Armael> without making it public

09:39 <Ulrar> Maybe I have the syntax wrong, let me try again

09:39 <Armael> (and I build everything from directory project/ by doing dune build src/myprogram.exe)

09:39 <Armael> (for example)

09:42 <Ulrar> How do you use the library after that ? Seems to compile fine, but the module I have in there can't be opened

09:43 <Ulrar> Library.Module ?

09:43 <Armael> yeah

09:43 <Ulrar> Mh

09:44 <Ulrar> Okay, got it, it's because I have a _ in the name (to replace the . since I have sub-sub directories)

09:44 <Ulrar> it capitalizes the first letter, not the one after the _

09:44 <Ulrar> that's what I had wrong

09:44 <Armael> ah, yes

09:44 <Ulrar> Seems to be working now, not very pretty but it'll do while we wait for include_subdirs qualified I guess

09:44 <Ulrar> thanks !

09:45 <theblatte> cool, I should update infer to be less clowny with its sublibraries ^^

09:55 troydm has joined #ocaml

10:04 troydm has quit [Ping timeout: 240 seconds]

10:08 manas has quit [Remote host closed the connection]

10:14 ziyourenxiang has joined #ocaml

10:24 clownpri1 has joined #ocaml

10:29 clownpri1 has quit [Ping timeout: 240 seconds]

10:33 Bronsa has quit [Remote host closed the connection]

10:42 silver has joined #ocaml

10:43 <Ulrar> So, is there a function that would look like 'a options list -> 'a list (would discard the None and keep only the Some) somewhere already ?

10:43 <Ulrar> I miss Hoogle :(

10:44 m_v_m has joined #ocaml

10:49 sagotch has quit [Quit: Leaving.]

10:50 sagotch has joined #ocaml

10:50 sagotch has quit [Client Quit]

10:57 <m_v_m> hi all. Is there any parallel lib for Ocaml (maintained and mature)? It would be cool if it would support actors. Any? :)

10:58 <Armael> Ulrar: not in the stdlib (use one of the stdlib extensions eg containers or base); it is usually called List.filter_map

10:59 <Armael> um well List.filter_map is ('a -> 'b option) -> 'a list -> 'b list

11:00 manas has joined #ocaml

11:13 jave has quit [Ping timeout: 245 seconds]

11:18 clownpri1 has joined #ocaml

11:22 pierpal has quit [Quit: Poof]

11:22 pierpal has joined #ocaml

11:23 clownpri1 has quit [Ping timeout: 252 seconds]

11:24 jave has joined #ocaml

11:41 jao has joined #ocaml

11:45 pierpal has quit [Quit: Poof]

11:46 pierpal has joined #ocaml

11:58 clownpri1 has joined #ocaml

11:59 neatonk has joined #ocaml

12:00 manas_ has joined #ocaml

12:00 manas has quit [Ping timeout: 244 seconds]

12:01 sagotch has joined #ocaml

12:03 clownpri1 has quit [Ping timeout: 252 seconds]

12:03 neatonk has quit [Ping timeout: 252 seconds]

12:06 <Ulrar> Armael: That works, thanks

12:08 gareppa has joined #ocaml

12:11 manas has joined #ocaml

12:12 manas_ has quit [Ping timeout: 252 seconds]

12:21 spew has joined #ocaml

12:25 manas_ has joined #ocaml

12:25 manas has quit [Read error: No route to host]

12:28 manas_ has quit [Read error: Connection reset by peer]

12:28 manas has joined #ocaml

12:30 averell has quit [Quit: .]

12:35 manas has quit [Ping timeout: 240 seconds]

12:38 manas has joined #ocaml

13:00 TheRuralJuror has joined #ocaml

13:02 gareppa has quit [Quit: Leaving]

13:03 FreeBirdLjj has joined #ocaml

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

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

13:08 FreeBirdLjj has quit [Ping timeout: 252 seconds]

13:12 clownpri1 has joined #ocaml

13:13 manas_ has joined #ocaml

13:14 manas has quit [Ping timeout: 245 seconds]

13:15 FreeBirdLjj has joined #ocaml

13:16 <Ulrar> By any chance, can someone spot the problem ? http://dpaste.com/3AV7F4A

13:17 <Ulrar> I can't figure out what it is, the type look compatible to me

13:17 clownpri1 has quit [Ping timeout: 250 seconds]

13:18 manas has joined #ocaml

13:18 <Ulrar> (I get that error when trying to use pretty_to_string on a `Assoc)

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

13:20 manas_ has quit [Ping timeout: 244 seconds]

13:22 jao has quit [Remote host closed the connection]

13:22 manas has quit [Ping timeout: 246 seconds]

13:22 lostman has quit [Quit: Connection closed for inactivity]

13:26 gtrak has quit [Ping timeout: 252 seconds]

13:27 <steenuil> Ulrar: you should always try to annotate your functions when you're working with polymorphic variants

13:28 <steenuil> otherwise you're gonna get confusing error messages like that

13:29 <octachron> Ulrar, you are probably missing a coercion from "Json.json -> ..." to "[>`Assoc ... ] -> ..."

13:29 jao has joined #ocaml

13:33 <Ulrar> Oh, okay

13:33 <Ulrar> just adding the type annotations fixes it

13:33 <Ulrar> Didn't realize that could happen, thanks

13:34 <steenuil> yeah, the type inference gets a bit wonky with polymorphic variants

13:35 <Ulrar> Well, at least my code was correct, that's something

13:38 averell has joined #ocaml

13:45 <ZirconiumX> Still, better to reject correct programs than accept incorrect programs

13:49 gtrak has joined #ocaml

13:51 manas has joined #ocaml

13:56 neatonk has joined #ocaml

13:58 kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:14 manas has quit []

14:27 Fare has joined #ocaml

14:35 TheLemonMan has quit [Ping timeout: 246 seconds]

14:35 jaar has joined #ocaml

14:43 Fare has quit [Ping timeout: 246 seconds]

14:46 TheLemonMan has joined #ocaml

14:54 pierpal has quit [Quit: Poof]

14:54 pierpal has joined #ocaml

15:02 bartholin has joined #ocaml

15:08 ollehar has quit [Ping timeout: 250 seconds]

15:21 pierpal has quit [Read error: Connection reset by peer]

15:34 orbifx has joined #ocaml

15:51 Fare has joined #ocaml

16:01 FreeBirdLjj has joined #ocaml

16:02 clownpri1 has joined #ocaml

16:05 FreeBirdLjj has quit [Ping timeout: 245 seconds]

16:22 Fare has quit [Ping timeout: 244 seconds]

16:41 sagotch has quit [Quit: Leaving.]

16:43 clownpri1 has quit [Ping timeout: 240 seconds]

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

16:44 orbifx has joined #ocaml

16:50 clownpri1 has joined #ocaml

16:51 Fare has joined #ocaml

16:55 clownpri1 has quit [Ping timeout: 252 seconds]

16:57 clownpri1 has joined #ocaml

16:59 Fare has quit [Ping timeout: 272 seconds]

17:00 orbifx has quit [Read error: Connection reset by peer]

17:01 coventry has joined #ocaml

17:04 orbifx has joined #ocaml

17:04 orbifx has quit [Client Quit]

17:05 orbifx has joined #ocaml

17:06 Jesin has quit [Quit: Leaving]

17:12 Jessin has joined #ocaml

17:20 m_v_m has quit [Ping timeout: 272 seconds]

17:25 pierpal has joined #ocaml

17:45 jao has quit [Ping timeout: 252 seconds]

17:50 tane has joined #ocaml

17:55 roygbiv has joined #ocaml

18:00 ziyourenxiang has quit [Ping timeout: 252 seconds]

18:01 rwmjones is now known as rwmjones|hols

18:12 roygbiv has quit [Ping timeout: 252 seconds]

18:16 oschwald has joined #ocaml

18:21 banjiewen has left #ocaml [#ocaml]

18:21 banjiewen has joined #ocaml

18:21 jnavila has joined #ocaml

18:23 pierpal has quit [Quit: Poof]

18:23 kakadu has joined #ocaml

18:23 pierpal has joined #ocaml

18:23 Jessin is now known as Jesin

18:23 jao has joined #ocaml

18:25 Simn has joined #ocaml

18:32 clownpri1 has quit [Ping timeout: 250 seconds]

18:33 maarhart has joined #ocaml

18:33 maarhart has quit [Excess Flood]

18:33 maarhart has joined #ocaml

18:33 maarhart has quit [Excess Flood]

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

18:39 clownpri1 has joined #ocaml

18:40 Haudegen has joined #ocaml

18:44 clownpri1 has quit [Ping timeout: 252 seconds]

18:44 jaar has quit [Quit: Leaving]

18:44 Haudegen has quit [Ping timeout: 245 seconds]

18:48 Haudegen has joined #ocaml

18:48 sagotch has joined #ocaml

18:50 sagotch has quit [Client Quit]

18:53 jnavila has quit [Ping timeout: 245 seconds]

18:58 clownpri1 has joined #ocaml

19:02 clownpri1 has quit [Ping timeout: 240 seconds]

19:05 clownpri1 has joined #ocaml

19:06 jbrown has joined #ocaml

19:09 AltGr has quit [Quit: Konversation terminated!]

19:10 clownpri1 has quit [Ping timeout: 252 seconds]

19:23 clownpri1 has joined #ocaml

19:32 pierpal has quit [Quit: Poof]

19:32 pierpal has joined #ocaml

19:33 jnavila has joined #ocaml

19:42 Fare has joined #ocaml

19:43 troydm has joined #ocaml

20:02 Adr1 has quit [Quit: WeeChat 2.2]

20:03 clownpri1 has quit [Ping timeout: 252 seconds]

20:15 <coventry> Is `(env (dev (flags (:standard -g))))` in my dune file all I ought to need to get `perf report` to report symbols from my source, rather than addresses? Calls to symbols in libraries I'm using are being reported in terms of their function names, but my own functions aren't

20:21 laurus has joined #ocaml

20:21 laurus has left #ocaml ["Part"]

20:23 <coventry> Oh, I actually do need -p (I'd heard otherwise.)

20:39 clownpri1 has joined #ocaml

20:42 Simn has quit [Quit: Leaving]

20:47 Denommus has joined #ocaml

20:58 coventry has quit [Remote host closed the connection]

20:59 tane has quit [Quit: Leaving]

21:07 Denommus has quit [Remote host closed the connection]

21:12 clownpriest has joined #ocaml

21:12 clownpri1 has quit [Ping timeout: 240 seconds]

21:30 steenuil has quit [Remote host closed the connection]

21:38 steenuil has joined #ocaml

21:39 <discord> <rgrinberg> Dune always passes -g to the compiler

21:40 <discord> <rgrinberg> Even in -p

21:55 gtrak has quit [Ping timeout: 245 seconds]

22:00 loli has quit [Quit: WeeChat 2.2]

22:01 erkin has quit [Ping timeout: 252 seconds]

22:03 erkin has joined #ocaml

22:04 clownpriest has quit [Ping timeout: 245 seconds]

22:13 Fare has quit [Ping timeout: 246 seconds]

22:17 pierpal has quit [Quit: Poof]

22:17 pierpal has joined #ocaml

22:24 bartholin has quit [Remote host closed the connection]

22:35 loli has joined #ocaml

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

22:43 jnavila has quit [Quit: Konversation terminated!]

22:48 pierpa has joined #ocaml

23:05 oschwald has left #ocaml [#ocaml]

23:07 erkin has quit [Remote host closed the connection]

23:07 FreeBirdLjj has joined #ocaml

23:13 FreeBirdLjj has quit [Ping timeout: 252 seconds]

23:22 orbifx has quit [Ping timeout: 252 seconds]

23:26 clownpriest has joined #ocaml

23:41 spew has quit [Quit: Connection closed for inactivity]

23:46 govg has joined #ocaml

23:54 Fare has joined #ocaml

23:58 caltelt has joined #ocaml