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

José Romildo Malaquias j.romildo at gmail.com
Fri Jul 23 10:15:39 EDT 2010

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- and parsec-3.1.0 on my Gentoo Linux system. Would it work
with these new versions of base and parsec?


More information about the Haskell-Cafe mailing list