Re: [Haskell-cafe] Re: ANNOUNCE: HaRe, the Haskell Refactorer 0.6

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

Chris BROWN 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/...