Hi Romildo, 2010/7/23 José Romildo Malaquias <j.romi...@gmail.com>
> On Tue, Jul 20, 2010 at 09:17:15AM +0200, José Pedro Magalhães wrote: > > > > 2010/7/19 José Romildo Malaquias <j.romi...@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 >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
