#ocaml on 2017-09-21 — 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:09 enterprisey has joined #ocaml

00:18 sh0t has quit [Remote host closed the connection]

00:18 lyxia has joined #ocaml

00:22 itPuffin|osxB has joined #ocaml

00:23 BitPuffin|osx has quit [Ping timeout: 248 seconds]

00:24 Soni has joined #ocaml

00:29 mfp__ has quit [Ping timeout: 246 seconds]

00:32 cbot has joined #ocaml

00:46 Guest85471 has joined #ocaml

00:48 Guest85471 is now known as Algebr

01:01 Denommus` has joined #ocaml

01:02 Denommus has quit [Ping timeout: 255 seconds]

01:02 Algebr has quit [Ping timeout: 255 seconds]

01:06 Algebr has joined #ocaml

01:14 enterprisey has quit [Quit: Leaving]

01:24 Algebr` has joined #ocaml

01:25 Algebr has quit [Read error: Connection reset by peer]

01:42 infinity0 has quit [Remote host closed the connection]

01:45 infinity0 has joined #ocaml

01:57 theblatte has quit [Ping timeout: 252 seconds]

01:57 sgnb has quit [Ping timeout: 252 seconds]

01:57 theblatte has joined #ocaml

01:58 sgnb has joined #ocaml

01:59 cbot has quit [Ping timeout: 240 seconds]

02:08 pierpa has quit [Quit: Page closed]

03:10 eh_eff has joined #ocaml

03:15 eh_eff has quit [Ping timeout: 252 seconds]

03:16 samrat has joined #ocaml

03:49 govg has joined #ocaml

03:54 nous1024 has left #ocaml [#ocaml]

04:06 Denommus` has quit [Ping timeout: 252 seconds]

04:11 cbot has joined #ocaml

04:30 ryanartecona_ has joined #ocaml

04:57 _whitelogger has joined #ocaml

05:08 mbuf has joined #ocaml

05:13 kalio has quit [Ping timeout: 240 seconds]

05:15 kalio has joined #ocaml

05:22 ryanartecona_ is now known as ryanartecona

05:23 xpinguin has quit [Remote host closed the connection]

05:25 xpinguin has joined #ocaml

05:42 MercurialAlchemi has joined #ocaml

05:50 Simn has joined #ocaml

05:59 ygrek has joined #ocaml

06:03 infinity0_ has joined #ocaml

06:03 infinity0 is now known as Guest59694

06:03 infinity0_ has quit [Changing host]

06:03 infinity0_ has joined #ocaml

06:03 Guest59694 has quit [Killed (tolkien.freenode.net (Nickname regained by services))]

06:03 infinity0_ is now known as infinity0

06:35 cbot has quit [Ping timeout: 252 seconds]

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

07:12 eh_eff has joined #ocaml

07:14 enterprisey has joined #ocaml

07:16 eh_eff has quit [Ping timeout: 248 seconds]

07:18 xpinguin_ has joined #ocaml

07:22 AltGr has joined #ocaml

07:22 xpinguin has quit [Ping timeout: 248 seconds]

07:26 igstan has joined #ocaml

07:27 igstan has quit [Client Quit]

07:32 enterprisey has quit [Remote host closed the connection]

07:36 jimmyrcom_ has quit [Ping timeout: 260 seconds]

07:40 Algebr` has quit [Ping timeout: 248 seconds]

07:42 TheLemonMan has joined #ocaml

08:05 pigeonv has joined #ocaml

08:15 Sim_n has joined #ocaml

08:19 Simn has quit [Ping timeout: 240 seconds]

08:23 TarVanimelde has joined #ocaml

08:26 argent_smith has joined #ocaml

08:37 sz0 has joined #ocaml

08:40 mfp__ has joined #ocaml

08:44 dhil has joined #ocaml

09:52 dhil has quit [Ping timeout: 240 seconds]

09:54 igstan has joined #ocaml

09:55 igstan has quit [Client Quit]

09:59 kakadu has joined #ocaml

10:03 ziyourenxiang has joined #ocaml

10:08 copy_ has joined #ocaml

10:14 TarVanimelde has quit [Quit: TarVanimelde]

10:15 TarVanimelde has joined #ocaml

10:25 <orbifx[m]> Are GADTs mostly a compiler feature? Cause for now they seem to me like Variants

10:25 <orbifx[m]> Can GADTs do something variants can't?

10:40 dhil has joined #ocaml

10:47 samrat has quit [Ping timeout: 260 seconds]

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

11:01 <Drup> I'm not sure what a "compiler feature" is

11:04 xpinguin_ has quit [Read error: Connection reset by peer]

11:05 xpinguin_ has joined #ocaml

11:06 sz0 has quit [Quit: Connection closed for inactivity]

11:08 <flux> everything is a compiler feature ;-), but if you mean if they have anything remaining over variants at runtime: no

11:09 <flux> but gadts can express things safely variants cannot

11:14 eh_eff has joined #ocaml

11:18 eh_eff has quit [Ping timeout: 248 seconds]

11:27 ygrek has quit [Ping timeout: 240 seconds]

11:28 _andre has joined #ocaml

11:49 itPuffin|osxB has quit [Ping timeout: 240 seconds]

11:52 ShalokShalom_ has joined #ocaml

11:55 ShalokShalom has quit [Ping timeout: 240 seconds]

11:57 andreas__ has quit [Quit: Connection closed for inactivity]

12:00 samrat_ has joined #ocaml

12:05 nicoo has quit [Write error: Connection reset by peer]

12:23 shakalaka has quit [Ping timeout: 240 seconds]

12:30 shakalaka has joined #ocaml

12:42 andreas__ has joined #ocaml

12:49 nicoo has joined #ocaml

12:56 dhil has quit [Ping timeout: 248 seconds]

13:01 ShalokShalom_ is now known as ShalokShalom

13:15 eh_eff has joined #ocaml

13:20 eh_eff has quit [Ping timeout: 240 seconds]

13:20 TheLemonMan has joined #ocaml

13:22 sh0t has joined #ocaml

13:43 mbuf has quit [Quit: Later]

13:44 dhil has joined #ocaml

13:56 <orbifx[m]> Is there an article explaining this difference? The ones I have read don't seem to highlight the difference enough. I may have not faced a problem clearly enough to understand the usefulness of this solution

13:58 <kakadu> orbifx[m]: The classical example is to implement expression language with ints, bools, some operations over this types and an if_ construction that takes something that takes _only_ bool and not int

13:59 <orbifx[m]> Ok, that already made the point I think. So a variant wouldn't be able to tell the compiler to reject that, but a gadt can?

13:59 <kakadu> yrp

13:59 <kakadu> yep

14:04 <orbifx[m]> OK thanks :)

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

14:31 jbrown has quit [Quit: Leaving]

14:53 malc_ has joined #ocaml

14:55 al-damiri has joined #ocaml

15:01 bsima has joined #ocaml

15:01 Ragora has quit [Read error: Connection reset by peer]

15:01 Ragora has joined #ocaml

15:03 xpinguin_ has quit [Remote host closed the connection]

15:04 xpinguin_ has joined #ocaml

15:04 xpinguin_ has quit [Remote host closed the connection]

15:05 xpinguin_ has joined #ocaml

15:06 <etchasaurus> I'm trying to debug an issue in library (camlpdf) but when I try to use ocamldebug it can't find the source file. I've tried using the 'directory' command as well as specifying 'directory x with camlpdf'. Is there a way to load the symbols/source for a library/package that gets linked against a bytecode executable?

15:07 Ragora has quit [Quit: Konversation terminated!]

15:07 Ragora has joined #ocaml

15:07 <etchasaurus> From what I can tell, the library gets built with '-g' flag so I think it has symbol ifnormation

15:08 dhil has quit [Ping timeout: 246 seconds]

15:08 dhil has joined #ocaml

15:11 dmi3y has joined #ocaml

15:11 mbuf has joined #ocaml

15:11 mbuf has quit [Excess Flood]

15:11 aciniglio has joined #ocaml

15:12 bsima has quit [Quit: Bye!]

15:12 xpinguin_ has quit [Remote host closed the connection]

15:12 mbuf has joined #ocaml

15:12 mbuf has quit [Excess Flood]

15:12 bsima has joined #ocaml

15:13 xpinguin_ has joined #ocaml

15:13 mbuf has joined #ocaml

15:14 Ragora has quit [Quit: Konversation terminated!]

15:22 FreeBirdLjj has joined #ocaml

15:29 xpinguin_ has quit [Remote host closed the connection]

15:29 jbrown has joined #ocaml

15:29 xpinguin_ has joined #ocaml

15:31 xpinguin_ has quit [Remote host closed the connection]

15:31 xpinguin_ has joined #ocaml

15:31 aantron_ has joined #ocaml

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

15:36 xpinguin_ has joined #ocaml

15:37 <aantron_> Drup: the fast/safe list map is written up: https://discuss.ocaml.org/t/a-new-list-map-that-is-both-stack-safe-and-fast/865

15:38 xpinguin_ has quit [Remote host closed the connection]

15:39 xpinguin_ has joined #ocaml

15:39 nullifidian_ has joined #ocaml

15:42 nullifidian has quit [Ping timeout: 240 seconds]

15:43 <Drup> Yes, I see that you are procrastinating actively :D

15:44 xpinguin_ has quit [Read error: Connection reset by peer]

15:45 <aantron_> i dont know which is the procrastination, the article, or what else i should be doing :p

15:46 <theblatte> cool stuff

15:55 MercurialAlchemi has joined #ocaml

15:57 <aantron_> :)

15:58 <malc_> aantron_: have you measured List.rev_map?

15:59 MercurialAlchemi has quit [Remote host closed the connection]

15:59 <Drup> well, the naive implementation of List.rev_map is already tail-rec, there is less to do

16:03 nicoo has quit [Ping timeout: 248 seconds]

16:04 nicoo has joined #ocaml

16:13 rpcope has quit [Ping timeout: 240 seconds]

16:15 dmi3y has quit [Quit: dmi3y]

16:18 dmi3y has joined #ocaml

16:21 <aantron_> malc_: not alone, just List.rev @ List.rev_map

16:21 <aantron_> i'll add it to a list of stuff i should have done, and ill welcome PRs to the repo if you'd like to add it :)

16:22 <aantron_> https://github.com/aantron/faster-map

16:24 dmi3y has quit [Quit: dmi3y]

16:27 <smondet[m]> it'd be interesting to see how much code out there makes the assumption about the order of evaluation of List.map

16:28 aantron_ has quit [Remote host closed the connection]

16:28 aciniglio has quit [Ping timeout: 264 seconds]

16:28 aantron_ has joined #ocaml

16:37 aciniglio has joined #ocaml

16:42 <aantron_> smondet[m]: not even sure how to go about that.. but yes it would be interesting to know. im pretty sure i've written code like this on many occasions, mostly while debugging

16:42 rpcope has joined #ocaml

16:42 <Drup> IIRC, gasche made mesurement about that

16:43 <Drup> he wanted to change it, at some point

16:44 <smondet[m]> Drup: do you know how? seems hard to detect: List.map + order-dependent side-effects

16:44 <Drup> hmm, run all the tests for each opam package, something like that

16:45 <aantron_> hum, any idea why gasche wanted to change it? sounds intriguing

16:45 <Drup> I don't remember

16:46 eh_eff has joined #ocaml

16:54 <flux> so no ppx_deriving_yojson for 4.05.0. is there an alternative?

16:55 pigeonv has quit [Ping timeout: 240 seconds]

16:58 <flux> oh and there is also some core-breakage with the package according to my lastlog

16:59 <flux> but I reaally wouldn't like to hand-write the conversion functions for this api ;)

17:01 <flux> I guess 4.04.2 it is for the time being

17:03 eh_eff has quit [Ping timeout: 264 seconds]

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

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

17:32 eh_eff has joined #ocaml

17:37 troydm has joined #ocaml

17:43 troydm has quit [Ping timeout: 240 seconds]

17:48 troydm has joined #ocaml

17:56 dejanr has quit []

17:57 andreas__ has quit [Quit: Connection closed for inactivity]

17:58 dejanr has joined #ocaml

18:03 aciniglio has quit [Ping timeout: 240 seconds]

18:04 KV__ has joined #ocaml

18:06 jbrown has quit [Quit: Leaving]

18:12 Algebr` has joined #ocaml

18:27 mbuf has quit [Quit: Leaving]

18:27 mbuf has joined #ocaml

18:27 mbuf has quit [Excess Flood]

18:27 KV__ has quit [Quit: leaving]

18:28 aantron_ has quit [Remote host closed the connection]

18:29 aantron_ has joined #ocaml

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

18:55 andreas__ has joined #ocaml

19:01 dhil has quit [Ping timeout: 264 seconds]

19:09 nullifidian_ is now known as nullifidian

19:19 nior has joined #ocaml

19:23 Ragora has joined #ocaml

19:30 sh0t has quit [Ping timeout: 255 seconds]

19:34 Ragora has quit [Read error: Connection reset by peer]

19:36 sh0t has joined #ocaml

19:41 kakadu has joined #ocaml

19:42 kakadu_ has joined #ocaml

19:42 KV__ has joined #ocaml

19:46 kakadu has quit [Ping timeout: 246 seconds]

19:52 jbrown has joined #ocaml

19:57 Ragora has joined #ocaml

19:58 eh_eff has quit [Ping timeout: 248 seconds]

20:05 Ragora has quit [Remote host closed the connection]

20:06 pierpa has joined #ocaml

20:07 kmicinski has joined #ocaml

20:08 <kmicinski> Has anyone compiled Z3 for ocaml recently on a mac?

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

20:08 <kmicinski> I keep getting: `error: invalid argument '-std=c++11' not allowed with 'C/ObjC'`

20:08 bacam has quit [Quit: reboot]

20:09 <kmicinski> but this is from the ocaml extensions for Z3, hence why I ask here

20:09 <zv> are you explicitly enabling the ocaml api?

20:09 <zv> also, what's your tip ref?

20:09 <kmicinski> yes, using python/mk_make.py --ml

20:10 <kmicinski> I'm on the most recent head, f5db69529ae915efea5174d4190f59e107c9d5a6

20:11 bacam has joined #ocaml

20:11 <zv> and that's coming from the python build process or the make afterwards?

20:11 <kmicinski> the make afterwards

20:11 <zv> set your CC manually would be my guess

20:14 <kmicinski> Yup, that worked. I removed -std=c++11 from `config.mk`

20:14 <kmicinski> Thanks, @zv!

20:17 kmicinski has quit [Quit: Lost terminal]

20:21 nior has quit [Quit: /thread]

20:28 aantron_ has quit [Remote host closed the connection]

20:29 aantron_ has joined #ocaml

20:31 samrat_ has quit [Ping timeout: 255 seconds]

20:36 poindontcare has left #ocaml ["ERC (IRC client for Emacs 26.0.50)"]

20:41 KV__ has quit [Quit: leaving]

20:42 _andre has quit [Quit: leaving]

20:48 enterprisey has joined #ocaml

20:49 jbrown has quit [Quit: Leaving]

20:58 eh_eff has joined #ocaml

21:11 dmi3y has joined #ocaml

21:23 Ragora has joined #ocaml

21:32 dmi3y has quit [Quit: dmi3y]

21:35 AltGr has left #ocaml [#ocaml]

21:48 _whitelogger has joined #ocaml

21:48 dejanr has quit [Ping timeout: 240 seconds]

21:49 rjungemann has joined #ocaml

21:50 mattg has joined #ocaml

21:51 jmct has joined #ocaml

21:51 dejanr has joined #ocaml

21:52 sveit has joined #ocaml

21:53 jao has joined #ocaml

21:56 cschneid_ has joined #ocaml

22:01 jyc has joined #ocaml

22:01 terrorjack has joined #ocaml

22:01 fluter has joined #ocaml

22:01 rbocquet has joined #ocaml

22:02 mengu has joined #ocaml

22:14 jimmyrcom_ has joined #ocaml

22:26 cbot has joined #ocaml

22:28 aantron_ has quit [Remote host closed the connection]

22:29 aantron_ has joined #ocaml

22:48 argent_smith has quit [Quit: Leaving.]

22:50 enterprisey has quit [Ping timeout: 255 seconds]

23:05 malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]

23:07 andreas__ has quit [Quit: Connection closed for inactivity]

23:12 antkong has joined #ocaml

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

23:13 govg has quit [Ping timeout: 264 seconds]

23:16 pierpa has quit [Quit: Page closed]

23:19 Sim_n has quit [Quit: Leaving]

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

23:27 jimmyrcom_ has quit [Remote host closed the connection]

23:30 ziyourenxiang has quit [Ping timeout: 264 seconds]

23:45 mengu_ has joined #ocaml

23:45 mengu has quit [Read error: Connection reset by peer]

23:48 adi_____ has joined #ocaml

23:48 mankyKitty has joined #ocaml

23:49 demonimin has quit [Ping timeout: 240 seconds]

23:50 demonimin has joined #ocaml

23:50 enterprisey has joined #ocaml

23:54 cbot_ has joined #ocaml

23:57 cbot has quit [Ping timeout: 248 seconds]