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

[José Pedro Magalhães]

Hi Romildo,

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-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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100723/9cf73beb/attachment.html