Hi Romildo,<br><br><div class="gmail_quote">2010/7/23 José Romildo Malaquias <span dir="ltr"><<a href="mailto:j.romildo@gmail.com">j.romildo@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im">On Tue, Jul 20, 2010 at 09:17:15AM +0200, José Pedro Magalhães wrote:<br>
><br>
> 2010/7/19 José Romildo Malaquias <<a href="mailto:j.romildo@gmail.com">j.romildo@gmail.com</a>><br>
><br>
> ><br>
> > I am writing here to ask suggestions on how to annotate an ast with<br>
> > types (or any other information that would be relevant in a compiler<br>
> > phase) in Haskell.<br>
><br>
</div><div class="im">> Indeed I would suggest the method described in our paper:<br>
><br>
> Martijn van Steenbergen, José Pedro Magalhães, and Johan Jeuring. Generic<br>
> selections of subexpressions.<br>
> Paper link: <a href="http://dreixel.net/research/pdf/gss_draft.pdf" target="_blank">http://dreixel.net/research/pdf/gss_draft.pdf</a><br>
> Related hackage package: <a href="http://hackage.haskell.org/package/Annotations" target="_blank">http://hackage.haskell.org/package/Annotations</a><br>
<br>
</div>Annotations-0.1 requires base ==4.1.* and parsec ==3.0.*, but I have<br>
base-4.2.0.2 and parsec-3.1.0 on my Gentoo Linux system. Would it work<br>
with these new versions of base and parsec?<br></blockquote><div><br>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.<br>
<br><br>Cheers,<br>Pedro<br> </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<font color="#888888"><br>
Romildo<br>
</font></blockquote></div><br>