[Haskell-cafe] Tiger compiler in Haskell: annotating abstract syntax tree

[José Romildo Malaquias]

On Tue, Jul 20, 2010 at 09:17:15AM +0200, José Pedro Magalhães wrote:
> 
> 2010/7/19 José Romildo Malaquias <j.romildo at 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?

Romildo