[Haskell-cafe] Tiger compiler in Haskell: annotating abstract
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-22.214.171.124 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