2010/7/23 José Romildo Malaquias <j.romildo@gmail.com>

On Tue, Jul 20, 2010 at 09:17:15AM +0200, José Pedro Magalhães wrote:
>
> 2010/7/19 José Romildo Malaquias <j.romildo@gmail.com>
>
> >
> > I am writing here to ask suggestions on how to annotate an ast with
> > types (or any other information that would be relevant in a compiler
> > phase) in Haskell.
>

> Indeed I would suggest the method described in our paper:
>
> Martijn van Steenbergen, José Pedro Magalhães, and Johan Jeuring. Generic
> selections of subexpressions.
> Paper link: http://dreixel.net/research/pdf/gss_draft.pdf
> Related hackage package: http://hackage.haskell.org/package/Annotations

Annotations-0.1 requires base ==4.1.* and parsec ==3.0.*, but I have
base-4.2.0.2 and parsec-3.1.0 on my Gentoo Linux system. Would it work
with these new versions of base and parsec?

Yes, that version has a problem with the constraints. I think they are too restrictive; probably base >= 4 && base < 4.3 would do. As for parsec, I am not sure, but at least you can easily get parsec-3.0.*, whereas base is more complicated. We will upload a new version soon to fix this.

Cheers,
Pedro

Romildo