Re: [Haskell-cafe] Why GHC is written in Happy and not a monadic parser library?

2013-08-04 Thread Malcolm Wallace
On 3 Aug 2013, at 21:03, Jason Dagit wrote: > Another con of using parsec that I forgot to mention in my previous > email is that with Parsec you need to be explicit about backtracking > (use of try). Reasoning about the correct places to put try is not > always easy and parsec doesn't help you w

Re: [Haskell-cafe] Why GHC is written in Happy and not a monadic parser library?

2013-08-04 Thread Roman Cheplyaka
* Malcolm Wallace [2013-08-04 09:33:22+0100] > > On 3 Aug 2013, at 21:03, Jason Dagit wrote: > > > Another con of using parsec that I forgot to mention in my previous > > email is that with Parsec you need to be explicit about backtracking > > (use of try). Reasoning about the correct places to

[Haskell-cafe] Call For Papers, FLOPS 2014

2013-08-04 Thread Prof. Mike Codish
Dear Colleagues, Please find below the CFP for FLOPS 2014. Apologies for possible cross posting. Program Committee Co-Chairs, Michael Codish and Eijiro Sumii -- Call For Papers