#ocaml on 2017-06-02 — 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:01 <barcabuona> nvm

00:01 <barcabuona> yes

00:01 <barcabuona> i play a lot with the interpreter

00:01 <barcabuona> but i forget i should not be doing that

00:01 sepp2k has quit [Ping timeout: 268 seconds]

00:02 <barcabuona> so i need to exit and re-enter

00:02 <zozozo> ^^

00:04 infinity0 has joined #ocaml

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

00:05 KeyJoo has quit [Ping timeout: 260 seconds]

00:07 infinity0 has joined #ocaml

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

00:10 infinity0 has joined #ocaml

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

00:12 infinity0 has joined #ocaml

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

00:15 infinity0 has joined #ocaml

00:15 ziyourenxiang has quit [Ping timeout: 260 seconds]

00:16 infinity0 has quit [Remote host closed the connection]

00:18 infinity0 has joined #ocaml

00:24 segmond has quit [Quit: l8r]

00:36 jlam_ has joined #ocaml

00:37 jlam__ has quit [Ping timeout: 268 seconds]

00:44 sgronblo has joined #ocaml

00:52 jacobian has joined #ocaml

00:53 <jacobian> Is there a syntax for a hole in ocaml, so that I can put it somewhere and it will be type correct so I don't have to complete the term to get Merlin to be happy?

00:53 <jacobian> A value of type 'a

00:58 <engil> I guess you can use Obj.magic

00:59 <engil> or when it's in a branch in a codepath I'm not done with yet, I use just assert false

01:01 <engil> or just bear with Merlin not being happy

01:01 <engil> which seems like the safest

01:05 mfp has quit [Ping timeout: 268 seconds]

01:14 spew has joined #ocaml

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

01:24 zv has quit [Ping timeout: 240 seconds]

01:25 cbot has quit [Ping timeout: 260 seconds]

01:36 cbot has joined #ocaml

01:44 sgronblo has quit [Ping timeout: 260 seconds]

01:52 <Armael> yea, don't use Obj.magic

01:52 <Armael> use assert false, or failwith "not implemented"

02:00 jacobian has quit [Ping timeout: 268 seconds]

02:04 ygrek__ has quit [Ping timeout: 255 seconds]

02:17 sgronblo has joined #ocaml

02:58 sgronblo has quit [Ping timeout: 245 seconds]

02:59 Soni has joined #ocaml

03:02 sgronblo has joined #ocaml

03:06 mengu has quit [Remote host closed the connection]

03:09 sgronblo has quit [Ping timeout: 268 seconds]

03:11 andreas has quit [Quit: Connection closed for inactivity]

03:16 raphaelss has joined #ocaml

03:28 mengu has joined #ocaml

03:51 raphaelss has quit [Quit: leaving]

03:58 MercurialAlchemi has joined #ocaml

04:04 sgronblo has joined #ocaml

04:18 _whitelogger has joined #ocaml

04:34 zv has joined #ocaml

04:34 mengu has quit [Remote host closed the connection]

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

04:48 spew has joined #ocaml

04:53 MercurialAlchemi has quit [Ping timeout: 268 seconds]

05:08 pierpa has quit [Remote host closed the connection]

05:09 iitalics has joined #ocaml

05:10 jao has quit [Ping timeout: 268 seconds]

05:21 barcabuona has quit [Ping timeout: 260 seconds]

05:24 barcabuona has joined #ocaml

05:35 MercurialAlchemi has joined #ocaml

05:39 segmond has joined #ocaml

05:42 spew has quit [Quit: foobar]

05:44 barcabuona has quit [Ping timeout: 260 seconds]

05:49 barcabuona has joined #ocaml

05:54 segmond has quit [Quit: l8r]

05:55 philtor has quit [Ping timeout: 272 seconds]

05:56 philtor has joined #ocaml

06:06 jacobian has joined #ocaml

06:10 Simn has joined #ocaml

06:15 iitalics has quit [Quit: /thread]

06:16 olibjerd has joined #ocaml

06:18 KeyJoo has joined #ocaml

06:21 shortCircuit__ has joined #ocaml

06:21 <shortCircuit__> hey

06:21 <shortCircuit__> new to ocaml here

06:21 <shortCircuit__> https://l.awalgarg.me/test.ml in this examples .. why in the second example there is an in clause? https://ocaml.org/learn/tutorials/if_statements_loops_and_recursion.html

06:52 <sgronblo> shortCircuit__: I dont see any good reason for it at least

06:54 jacobian has quit [Remote host closed the connection]

07:15 Muzer has quit [Ping timeout: 260 seconds]

07:17 mk[] has joined #ocaml

07:29 mk[] has left #ocaml ["WeeChat 1.5"]

07:39 andreas has joined #ocaml

07:40 shortCircuit__ has quit [Ping timeout: 240 seconds]

07:44 jacobian has joined #ocaml

07:45 <jacobian> <Armael> use assert false, or failwith "not implemented"

07:45 <jacobian> good man, of course

07:46 Muzer has joined #ocaml

07:47 <jacobian> Is there a handy html documentation on "base" package from janestreet?

07:49 zpe has joined #ocaml

07:49 <jacobian> currently I'm reading the source in order to find stuff

07:49 <jacobian> Alternatively something like hoogle?

07:54 cbot has quit [Quit: Leaving]

08:17 ollehar has joined #ocaml

08:25 mfp has joined #ocaml

08:30 Muzer has quit [Ping timeout: 260 seconds]

08:46 shortCircuit__ has joined #ocaml

08:52 argent_smith has joined #ocaml

08:56 grayswandyr has joined #ocaml

08:57 <grayswandyr> hi anyone knows hoe to use F. Pottier's "visitors" package with Jbuilder?

08:57 <grayswandyr> apparently `(preprocess (pps (ppx_deriving visitors.ppx)))` will not suffice

09:01 toolslive has quit [Ping timeout: 240 seconds]

09:01 Muzer has joined #ocaml

09:01 grayswandyr_ has joined #ocaml

09:02 grayswandyr has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:11 grayswandyr_ has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

09:13 toolslive has joined #ocaml

09:16 olibjerd has quit [Quit: olibjerd]

09:26 olibjerd has joined #ocaml

09:28 <Drup> jacobian: if you want a hole specifically for merlin: {??}

09:29 Soni has quit [Read error: Connection reset by peer]

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

09:31 ollehar has left #ocaml [#ocaml]

09:31 malc_ has joined #ocaml

09:42 Simn has quit [Ping timeout: 240 seconds]

09:42 olibjerd has quit [Quit: olibjerd]

09:46 zpe has quit [Remote host closed the connection]

09:47 <jacobian> <Drup> jacobian: if you want a hole specifically for merlin: {??}

09:47 <jacobian> Deadly!

09:48 <Drup> (and the compiler will appropriatly choke on it

09:51 olibjerd has joined #ocaml

09:53 <jacobian> precisely what I wanted

09:54 <jacobian> theorem provers making progress in programming praxis.

09:58 olibjerd has quit [Quit: olibjerd]

10:12 olibjerd has joined #ocaml

10:25 Simn has joined #ocaml

10:29 jbrown has joined #ocaml

10:44 TheLemonMan has joined #ocaml

10:57 silver has joined #ocaml

11:00 mengu has joined #ocaml

11:15 jao has joined #ocaml

11:28 <rixed_> Drup: what I would call "a dependency on mirage" would be something that needs mirage (the tool) to build.

11:31 zpe has joined #ocaml

11:31 zpe has quit [Remote host closed the connection]

11:34 jao has quit [Ping timeout: 255 seconds]

11:50 reynir is now known as cmV5bmly

11:51 jacobian has quit [Ping timeout: 260 seconds]

12:02 _andre has joined #ocaml

12:10 zpe has joined #ocaml

12:12 zpe has quit [Remote host closed the connection]

12:16 NightCrawler has joined #ocaml

12:17 NightCrawler has quit [Remote host closed the connection]

12:20 ziyourenxiang has joined #ocaml

12:31 KeyJoo has quit [Ping timeout: 272 seconds]

12:38 barcabuona has quit [Ping timeout: 272 seconds]

12:42 barcabuona has joined #ocaml

12:46 jacobian has joined #ocaml

12:47 freyr has joined #ocaml

12:55 zpe has joined #ocaml

12:57 Haddes has joined #ocaml

12:57 Blaze has joined #ocaml

12:57 Blaze is now known as Guest44222

12:59 pierpa has joined #ocaml

12:59 Haddes has quit [Remote host closed the connection]

12:59 Guest44222 has quit [Remote host closed the connection]

13:03 beginner has joined #ocaml

13:05 ryanartecona has joined #ocaml

13:05 <beginner> can i write external c calls with labeled arguments like this https://pastebin.com/yqbFSNbW

13:07 <def`> beginner: labelled arguments don't affect FFI, just write a c function "value c_test(value name, value age);"

13:08 Lonios has joined #ocaml

13:15 <beginner> def`: does that mean i can write it like in my example or not?

13:16 <beginner> i was concerned that the free positioning of labeled arguments might cause an issue

13:17 <Drup> free positioning is only at application

13:17 Lonios has quit [Remote host closed the connection]

13:17 <Drup> the compiler just reorders things for you under the hood

13:17 <beginner> does the ordering between mli and ml files have to be the same?

13:18 <beginner> of the arguments

13:19 <Drup> afaik, yes

13:19 KazuoKiriyama has joined #ocaml

13:19 KazuoKiriyama has quit [Remote host closed the connection]

13:20 <beginner> Drup: thanks, never really thought about that case

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

13:29 shortCircuit__ has quit [Ping timeout: 268 seconds]

13:32 mengu_ has joined #ocaml

13:33 HeadHunter has joined #ocaml

13:33 troydm has quit [Ping timeout: 240 seconds]

13:34 zpe has joined #ocaml

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

13:35 HeadHunter has quit [Remote host closed the connection]

13:38 sgronblo has joined #ocaml

13:40 Habbor has joined #ocaml

13:41 pierpa has quit [Remote host closed the connection]

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

13:45 Habbor has quit [Remote host closed the connection]

13:48 zpe has joined #ocaml

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

13:50 zpe has joined #ocaml

13:50 Daewron has joined #ocaml

13:52 Daewron has quit [Remote host closed the connection]

13:53 ryanartecona has quit [Quit: ryanartecona]

13:54 zpe has quit [Ping timeout: 240 seconds]

13:55 <freyr> Is there any way to translate OCaml object into JS object with js_of_ocaml? Should I use yojson for that? Json.output creates only simple array representation.

13:56 ryanartecona has joined #ocaml

14:00 johnelse_ has joined #ocaml

14:02 johnelse has quit [Ping timeout: 240 seconds]

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

14:17 zpe has joined #ocaml

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

14:19 zpe has joined #ocaml

14:24 zpe has quit [Ping timeout: 255 seconds]

14:30 sepp2k has joined #ocaml

14:36 francoisbabeuf has joined #ocaml

14:37 vicfred has joined #ocaml

14:37 nicootje is now known as nicoo

14:38 jacobian has quit [Ping timeout: 260 seconds]

14:40 shinnya has joined #ocaml

14:40 <cmV5bmly> freyr: For what purpose?

14:42 ollehar1 has joined #ocaml

14:43 beginner has quit [Remote host closed the connection]

14:50 <freyr> cmV5bmly: I want to pass json structure in a POST request.

14:51 MercurialAlchemi has joined #ocaml

14:52 <francoisbabeuf> Is there a combinator like $ in base?

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

14:53 FreeBirdLjj has joined #ocaml

14:55 <freyr> cmV5bmly: I'm quite ignorant in this so I dunno how to do it properly, but it seems I should use XmlHttpRequest. Is there anything like [@@deriving json] in js_of_ocaml? Or is there any other way to sent OCaml type as a JSON in the body of Post request?

14:56 ryanartecona has quit [Quit: ryanartecona]

14:57 shortCircuit__ has joined #ocaml

14:57 <cmV5bmly> freyr: I mean, is the representation important?

14:58 <cmV5bmly> If not, then I think there's something in jsoo already, otherwise there's ppx_deriving_yojson and atdgen

14:59 <cmV5bmly> francoisbabeuf: what is $

14:59 ollehar1 has quit [Quit: ollehar1]

15:00 <freyr> cmV5bmly: Yes, since I use yojson on server-side. What does jsoo have for data serialisation?

15:01 francoisbabeuf has quit [Ping timeout: 245 seconds]

15:01 shortCircuit__ has quit [Ping timeout: 260 seconds]

15:08 hashpuppy has joined #ocaml

15:11 ryanartecona has joined #ocaml

15:11 mengu_ has quit [Remote host closed the connection]

15:12 copy` has joined #ocaml

15:12 shortCircuit__ has joined #ocaml

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

15:34 shortCircuit__ has joined #ocaml

15:35 maarhart has joined #ocaml

15:35 freyr has quit [Remote host closed the connection]

15:36 <toolslive> I switched my opam to 4.04.1+spacetime but installing packages fails with "[ERROR] The compilation of camlp4 failed at "make all"." looking at the stacktrace it's a stack overflow in "asmcomp/spill.ml", line 160, characters 32-51

15:38 maarhart has quit [Client Quit]

15:38 <toolslive> is that a known issue?

15:38 shortCircuit__ has quit [Ping timeout: 240 seconds]

15:46 <apache2> can I define type a=A type bc=B|C type abc = ???? such that a :> abc and b:> abc ?

15:47 <def`> apache2: with poly variant

15:48 <def`> type a = [ `A ] type bc = [ `B | `C ] type abc = [ a | bc ];;

15:48 <apache2> ok:(

15:52 jao has joined #ocaml

16:00 <octachron> toolslive, https://caml.inria.fr/mantis/view.php?id=7435

16:00 <toolslive> thx!

16:01 gameredan has joined #ocaml

16:01 dtornabene has joined #ocaml

16:12 maarhart has joined #ocaml

16:16 ryanartecona has quit [Quit: ryanartecona]

16:21 maarhart has quit [Ping timeout: 240 seconds]

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

16:27 olibjerd has joined #ocaml

16:31 shinnya has quit [Ping timeout: 268 seconds]

16:32 rpg has joined #ocaml

16:34 agravier has joined #ocaml

16:37 argent_smith has quit [Quit: Leaving.]

16:47 ryanartecona has joined #ocaml

16:50 agravier has quit [Quit: agravier]

16:52 jbrown has quit [Quit: Leaving]

16:53 slash^ has joined #ocaml

16:54 Shamy has joined #ocaml

16:55 cbot has joined #ocaml

16:59 ryanartecona has quit [Quit: ryanartecona]

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

17:00 Shamy has quit [Remote host closed the connection]

17:02 whirm has joined #ocaml

17:02 <whirm> Hi everyone

17:03 <abeaumont> hi whirm

17:03 <whirm> o/

17:07 HunterOfSouls has joined #ocaml

17:07 Kethorin has joined #ocaml

17:08 <orbifx[m]> hello

17:08 Kethorin has quit [Remote host closed the connection]

17:08 HunterOfSouls has quit [Remote host closed the connection]

17:11 <whirm> I've added some external functions to my project (from libxdo) to my project and I've updated my pkg.ml to link against the new dependency. Building native binaries works now but bytecode builds fail. I've read that I need to pass `-custom` to ocamlc to fix that. According to the man ocamlbuild page `-cflag` should pass the following arg to ocamlc, but it's also passing it to ocamlopt making the native build fail.

17:11 <whirm> http://ix.io/w7v

17:13 <whirm> as it is, I get a successful build. If I uncomment the commented out parts, ocamlopt will fail because it doesn't recognize the `-custom` option.

17:13 <whirm> What am I doing wrong?

17:14 SW4T has joined #ocaml

17:14 Simn has quit [Read error: Connection reset by peer]

17:17 ollehar1 has joined #ocaml

17:21 SW4T has quit [Remote host closed the connection]

17:25 shortCircuit__ has joined #ocaml

17:26 DeathEater has joined #ocaml

17:26 FreeBirdLjj has joined #ocaml

17:28 dtornabene has quit [Read error: Connection reset by peer]

17:28 ontologiae has joined #ocaml

17:29 dtornabene has joined #ocaml

17:29 shortCircuit__ has quit [Ping timeout: 240 seconds]

17:30 francoisbabeuf has joined #ocaml

17:32 FreeBirdLjj has quit [Remote host closed the connection]

17:32 DeathEater has quit [Remote host closed the connection]

17:36 francoisbabeuf has quit [Remote host closed the connection]

17:40 SW4T has joined #ocaml

17:40 Zaraki has joined #ocaml

17:44 pierpa has joined #ocaml

17:46 Zaraki has quit [Remote host closed the connection]

17:46 SW4T has quit [Remote host closed the connection]

17:51 ontologiae has quit [Ping timeout: 258 seconds]

18:01 jnavila has joined #ocaml

18:03 KeyJoo has joined #ocaml

18:08 barcabuona has quit [Ping timeout: 245 seconds]

18:13 barcabuona has joined #ocaml

18:14 shortCircuit__ has joined #ocaml

18:19 shortCircuit__ has quit [Ping timeout: 255 seconds]

18:35 saml has quit [Remote host closed the connection]

18:52 jao has quit [Ping timeout: 268 seconds]

18:58 TheLemonMan has joined #ocaml

19:01 ryanartecona has joined #ocaml

19:09 mengu has joined #ocaml

19:10 shortCircuit__ has joined #ocaml

19:15 shortCircuit__ has quit [Ping timeout: 268 seconds]

19:16 slash^ has quit [Remote host closed the connection]

19:20 gonz_ has joined #ocaml

19:44 kakadu has joined #ocaml

19:44 shinnya has joined #ocaml

19:48 ontologiae has joined #ocaml

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

19:53 ontologiae has quit [Ping timeout: 260 seconds]

20:00 raphaelss has joined #ocaml

20:05 shortCircuit__ has joined #ocaml

20:10 shortCircuit__ has quit [Ping timeout: 272 seconds]

20:24 iitalics has joined #ocaml

20:25 olibjerd has quit [Quit: olibjerd]

20:30 malc_ has quit [Remote host closed the connection]

20:32 ryanartecona has quit [Quit: ryanartecona]

20:37 rpg has quit [Ping timeout: 255 seconds]

20:39 rpg has joined #ocaml

20:43 kolko has joined #ocaml

20:44 Soni has joined #ocaml

20:45 dtornabene has quit [Ping timeout: 240 seconds]

20:49 _andre has quit [Quit: leaving]

20:50 dtornabene has joined #ocaml

20:58 hashpuppy has quit [Quit: Connection closed for inactivity]

20:59 raphaelss has quit [Ping timeout: 272 seconds]

21:00 shortCircuit__ has joined #ocaml

21:03 Simn has joined #ocaml

21:05 shortCircuit__ has quit [Ping timeout: 260 seconds]

21:06 argent_smith has joined #ocaml

21:16 SpiceGuid has joined #ocaml

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

21:22 iitalics has quit [Quit: /thread]

21:30 Simn has quit [Read error: Connection reset by peer]

21:41 jnavila has quit [Ping timeout: 240 seconds]

21:45 SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.46/20161213183751]]

21:48 whirm has quit [Ping timeout: 245 seconds]

21:49 ontologiae has joined #ocaml

21:54 ontologiae has quit [Ping timeout: 260 seconds]

21:55 shortCircuit__ has joined #ocaml

21:56 cmV5bmly is now known as reynir

22:00 shortCircuit__ has quit [Ping timeout: 240 seconds]

22:04 <orbifx[m]> whirm: I've not worked with bytecode, hopefully someone has and can help

22:04 <orbifx[m]> you know there is also a forum now, right?

22:07 ontologiae has joined #ocaml

22:08 Soni has quit [Ping timeout: 240 seconds]

22:12 ontologiae has quit [Ping timeout: 260 seconds]

22:16 MercurialAlchemi has quit [Ping timeout: 260 seconds]

22:19 sillyotter has joined #ocaml

22:20 Soni has joined #ocaml

22:21 sillyotter has quit [Client Quit]

22:25 average has quit [Quit: leaving]

22:26 Soni has quit [Ping timeout: 245 seconds]

22:30 sepp2k has quit [Ping timeout: 276 seconds]

22:31 Cypi_ has joined #ocaml

22:31 tormen_ has joined #ocaml

22:31 nopf_ has joined #ocaml

22:31 mcfiredrill has joined #ocaml

22:32 k1000 has joined #ocaml

22:32 kandu_ has joined #ocaml

22:32 orbitz_ has joined #ocaml

22:32 artart78_ has joined #ocaml

22:32 cross_ has joined #ocaml

22:36 average has joined #ocaml

22:36 ontologiae has joined #ocaml

22:40 orbitz has quit [Write error: Broken pipe]

22:40 Cypi has quit [Write error: Broken pipe]

22:40 nopf has quit [Write error: Broken pipe]

22:40 philtor has quit [Excess Flood]

22:40 k1000_ has quit [Remote host closed the connection]

22:40 cross has quit [Remote host closed the connection]

22:40 kandu has quit [Remote host closed the connection]

22:40 artart78 has quit [Remote host closed the connection]

22:40 philtor has joined #ocaml

22:42 jlam_ has quit [Ping timeout: 260 seconds]

22:44 tormen has quit [Ping timeout: 260 seconds]

22:44 mcfiredr1ll has quit [Ping timeout: 260 seconds]

22:46 Soni has joined #ocaml

22:47 cbot has quit [Ping timeout: 258 seconds]

22:49 Soni has quit [Excess Flood]

22:50 Soni has joined #ocaml

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

23:01 ollehar1 has quit [Quit: ollehar1]

23:04 vicfred has quit [Quit: Leaving]

23:06 SoniEx2 has joined #ocaml

23:09 Soni has quit [Ping timeout: 255 seconds]

23:11 Soni has joined #ocaml

23:13 SoniEx2 has quit [Ping timeout: 258 seconds]

23:13 segmond has joined #ocaml

23:16 ontologiae has quit [Ping timeout: 255 seconds]

23:18 Soni has quit [Ping timeout: 260 seconds]

23:21 Soni has joined #ocaml

23:26 oschwald has joined #ocaml

23:29 AlexRussia has quit [Ping timeout: 245 seconds]

23:33 AlexRussia has joined #ocaml

23:59 infinity0_ has joined #ocaml

23:59 infinity0_ has quit [Changing host]

23:59 infinity0 has quit [Killed (card.freenode.net (Nickname regained by services))]

23:59 infinity0 has joined #ocaml