#ocaml on 2019-05-19 — irc logs at freenode.irclog.whitequark.org

2018-10-19 11:39 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 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:05 Jeanne-Kamikaze has quit [Quit: Leaving]

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

00:35 <pgiarrusso> oni-on-ion: happy those 5 cents helped :-)

00:42 ale64bit has quit [Ping timeout: 258 seconds]

01:04 DomTorr__ has quit [Ping timeout: 268 seconds]

01:09 <cemerick> companion_cube: no upgrades until the damn thing finally gets shipped 🙃

01:12 <companion_cube> hmm hmm

01:16 ale64bit has joined #ocaml

01:36 silver has quit [Read error: Connection reset by peer]

01:37 mfp has quit [Ping timeout: 245 seconds]

01:39 ziyourenxiang has joined #ocaml

01:53 ale64bit has quit [Ping timeout: 246 seconds]

02:27 _whitelogger has joined #ocaml

02:29 jao has quit [Remote host closed the connection]

02:54 ale64bit has joined #ocaml

02:59 <cemerick> a minimal example re: my subtyping relation problem from yesterday morning FWIW https://discuss.ocaml.org/t/how-to-cause-functor-types-to-inherit-their-elements-polymorphic-variant-subtyping-relations/3824

03:05 jao has joined #ocaml

03:27 _whitelogger has joined #ocaml

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

03:39 <companion_cube> I think I'm not in condition to read functor+poly variants on a saturday evening

03:52 ale64bit has joined #ocaml

03:53 gravicappa has joined #ocaml

04:12 _whitelogger has joined #ocaml

04:41 ale64bit has quit [Ping timeout: 255 seconds]

05:37 tane has joined #ocaml

05:48 pierpal has quit [Ping timeout: 252 seconds]

06:11 ygrek has quit [Ping timeout: 258 seconds]

06:39 FreeBirdLjj has joined #ocaml

06:44 FreeBirdLjj has quit [Ping timeout: 258 seconds]

06:50 FreeBirdLjj has joined #ocaml

07:00 pierpal has joined #ocaml

07:05 pierpal has quit [Read error: Connection reset by peer]

07:07 kakadu has joined #ocaml

07:12 FreeBirdLjj has quit [Remote host closed the connection]

07:14 FreeBirdLjj has joined #ocaml

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

07:24 FreeBirdLjj has joined #ocaml

07:24 ravenousmoose has joined #ocaml

07:27 pierpal has joined #ocaml

07:38 zolk3ri has joined #ocaml

07:41 FreeBirdLjj has quit [Remote host closed the connection]

07:41 FreeBirdLjj has joined #ocaml

07:45 webshinra has quit [Remote host closed the connection]

07:46 FreeBirdLjj has quit [Ping timeout: 244 seconds]

09:14 tane has quit [Quit: Leaving]

09:23 ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:27 kapilp has joined #ocaml

09:38 ggole has joined #ocaml

09:40 mfp has joined #ocaml

10:07 ShalokShalom has quit [Remote host closed the connection]

10:07 ShalokShalom has joined #ocaml

10:14 Guest14600 has joined #ocaml

10:17 Guest14600 has quit [Remote host closed the connection]

10:28 Haudegen has joined #ocaml

10:31 troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]

10:33 ShalokShalom has quit [Ping timeout: 246 seconds]

10:47 ShalokShalom has joined #ocaml

11:05 AtumT has joined #ocaml

11:10 troydm has joined #ocaml

11:17 troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]

11:29 troydm has joined #ocaml

11:54 jao has joined #ocaml

12:02 sonologico has joined #ocaml

12:21 sonologico has quit [Remote host closed the connection]

12:21 sonologico has joined #ocaml

12:24 webshinra has joined #ocaml

12:34 silver has joined #ocaml

12:34 silver_ has joined #ocaml

12:35 oni-on-ion has quit [Read error: Connection reset by peer]

12:37 silver_ has quit [Client Quit]

12:38 sagax has quit [Quit: Konversation terminated!]

12:38 sagax has joined #ocaml

12:52 nullifidian_ has joined #ocaml

12:55 nullifidian has quit [Ping timeout: 258 seconds]

12:57 weird_error has joined #ocaml

13:01 kapilp has quit [Quit: Connection closed for inactivity]

13:02 jbrown has quit [Ping timeout: 258 seconds]

13:14 weird_error has quit [Quit: weird_error]

13:21 _whitelogger has joined #ocaml

13:26 FreeBirdLjj has joined #ocaml

13:31 <cemerick> companion_cube: it's all good, an answer appeared overnight. It's fundamentally trivial; I'm getting my ass kicked over here 😋

13:32 troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]

13:34 troydm has joined #ocaml

14:07 dhil has joined #ocaml

14:19 lostman has quit [Quit: Connection closed for inactivity]

14:23 weird_error has joined #ocaml

14:35 ale64bit has joined #ocaml

14:44 jerme_ has joined #ocaml

14:52 Serpent7776 has joined #ocaml

14:52 jao has quit [Remote host closed the connection]

14:55 jao has joined #ocaml

14:58 ygrek has joined #ocaml

15:08 weird_error has quit [Quit: weird_error]

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

15:15 Haudegen has joined #ocaml

15:25 ale64bit has quit [Ping timeout: 258 seconds]

15:33 FreeBirdLjj has quit [Remote host closed the connection]

15:34 weird_error has joined #ocaml

15:56 weird_error has quit [Quit: weird_error]

15:57 ale64bit has joined #ocaml

16:10 ziyourenxiang has quit [Ping timeout: 246 seconds]

16:16 q9929t has joined #ocaml

16:22 q9929t1 has joined #ocaml

16:23 q9929t has quit [Ping timeout: 268 seconds]

16:23 q9929t1 is now known as q9929t

16:26 q9929t1 has joined #ocaml

16:28 q9929t has quit [Ping timeout: 258 seconds]

16:28 q9929t1 is now known as q9929t

16:39 weird_error has joined #ocaml

16:39 Serpent7776 has quit [Read error: Connection reset by peer]

16:47 Serpent7776 has joined #ocaml

16:48 ygrek has quit [Remote host closed the connection]

16:48 ygrek has joined #ocaml

16:51 ale64bit has quit [Ping timeout: 246 seconds]

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

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

17:08 nahra has joined #ocaml

17:15 ravenousmoose has joined #ocaml

17:31 ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:35 ShalokShalom has quit [Ping timeout: 258 seconds]

17:36 ale64bit has joined #ocaml

17:37 Jeanne-Kamikaze has joined #ocaml

17:44 Jeanne-Kamikaze has quit [Quit: Leaving]

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

17:46 Jeanne-Kamikaze has joined #ocaml

17:47 ShalokShalom has joined #ocaml

17:48 sonologico has quit [Remote host closed the connection]

17:48 sonologico has joined #ocaml

17:55 salmon123 has joined #ocaml

17:57 salmon123 has left #ocaml [#ocaml]

17:59 sonologico has quit [Remote host closed the connection]

17:59 sonologico has joined #ocaml

18:01 kakadu_ has joined #ocaml

18:03 kakadu has quit [Ping timeout: 268 seconds]

18:12 salmon123 has joined #ocaml

18:27 ravenousmoose has joined #ocaml

18:30 salmon123 has left #ocaml [#ocaml]

18:42 Jeanne-Kamikaze has quit [Quit: Leaving]

18:56 ghostyy has joined #ocaml

18:56 <ghostyy> hi i have a question about menhir error handling, is it possible to get a "backtrace" of sorts, of the rules it tried before failing?

18:57 dhil has quit [Ping timeout: 245 seconds]

18:57 <ghostyy> i can get the current token/list of the next tokens but it would be great to know the rule it failed on/what the expected input was

19:00 <def`> ghostyy: I am working on that. It is not really possible in the public version, I hope it will be possible in ~6 months to a year.

19:01 <def`> ghostyy: do you have a particular application in mind? Knowing the use cases of others can help to motivate the feature :).

19:02 <ghostyy> yes i am debugging a grammar i wrote and its not working and i dont know why

19:02 <ghostyy> i can see where in the input it fails but im not entirely sure what rule its applying when it fails

19:03 <def`> I hope you will have solved your problem by the time my prototype is merged :P

19:03 <ghostyy> hehe :p i sure hope so...

19:04 weird_error has quit [Quit: weird_error]

19:06 ale64bit has quit [Ping timeout: 252 seconds]

19:09 dmiles has quit [Ping timeout: 252 seconds]

19:14 ale64bit has joined #ocaml

19:17 AtumT_ has joined #ocaml

19:19 AtumT has quit [Ping timeout: 246 seconds]

19:22 ale64bit has quit [Ping timeout: 246 seconds]

19:23 zolk3ri has quit [Remote host closed the connection]

19:26 gravicappa has quit [Ping timeout: 258 seconds]

19:30 AtumT has joined #ocaml

19:31 AtumT_ has quit [Ping timeout: 245 seconds]

19:39 Jeanne-Kamikaze has joined #ocaml

19:43 TheLemonMan has joined #ocaml

19:58 ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:10 dmiles has joined #ocaml

20:14 madroach has quit [Ping timeout: 264 seconds]

20:15 madroach has joined #ocaml

20:28 Serpent7776 has quit [Quit: leaving]

20:32 TheLemonMan has quit [Ping timeout: 258 seconds]

20:40 ggole has quit [Quit: Leaving]

20:41 <ghostyy> is there something like haskell's deriving (Show) for ocaml? that automatically generates a pretty printer for arbitrary datatypes

20:41 notnotdan` has joined #ocaml

20:42 <Armael> ghostyy: look for "ppx_deriving"

20:52 jbrown has joined #ocaml

21:01 ale64bit has joined #ocaml

21:06 <ghostyy> Armael, thank you it works great!

21:08 <Armael> nice :)

21:11 weird_error has joined #ocaml

21:26 ale64bit has quit [Ping timeout: 246 seconds]

21:41 Jeanne-Kamikaze has quit [Quit: Leaving]

22:00 kakadu_ has quit [Remote host closed the connection]

22:02 weird_error has quit [Quit: weird_error]

22:09 weird_error has joined #ocaml

22:26 weird_error has quit [Quit: weird_error]

22:29 AtumT has quit [Quit: AtumT]

22:30 weird_error has joined #ocaml

22:35 ShalokShalom has quit [Remote host closed the connection]

22:37 weird_error has quit [Quit: weird_error]

22:41 weird_error has joined #ocaml

22:44 jbrown has quit [Ping timeout: 250 seconds]

22:45 Haudegen has quit [Ping timeout: 259 seconds]

22:49 weird_error has quit [Quit: weird_error]

22:51 weird_error has joined #ocaml

22:56 jbrown has joined #ocaml

23:11 klntsky has quit [Quit: WeeChat 1.6]

23:11 caltelt_ has joined #ocaml

23:16 silver has quit [Read error: Connection reset by peer]

23:34 weird_error has quit [Quit: weird_error]

23:43 caltelt_ has quit [Ping timeout: 246 seconds]

23:48 weird_error has joined #ocaml

23:50 ale64bit has joined #ocaml

23:57 ale64bit has quit [Ping timeout: 258 seconds]