On Jun 30, 2010, at 12:51 AM, Ivan Lazar Miljenovic wrote:

Chris BROWN <chrisb@cs.st-andrews.ac.uk> writes:

On 29 Jun 2010, at 15:55, Ivan Lazar Miljenovic wrote:
I talked with you and Simon Thompson about this at PEPM, and at the time
you said that haskell-src-exts didn't have what you needed for HaRe.
What exactly do you need in a parser for it to be suitable for HaRe?

We need static semantics, including location information and a
preservation of comments.

Doesn't that mean that hare requires also type information?

Even though haskell-src-exts is impressive, I doubt it comes with a typechecker for GHC Haskell.

The Annotated part of haskell-src-exts provides this I think:
http://hackage.haskell.org/packages/archive/haskell-src-exts/1.9.0/doc/html/Language-Haskell-Exts-Annotated.html