[Haskell-cafe] Tiger compiler in Haskell: annotating abstract
José Pedro Magalhães
jpm at cs.uu.nl
Fri Jul 23 10:18:12 EDT 2010
2010/7/23 José Romildo Malaquias <j.romildo at 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 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-126.96.36.199 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe