23 Jul
2010
23 Jul
'10
10:15 a.m.
On Tue, Jul 20, 2010 at 09:17:15AM +0200, José Pedro Magalhães wrote:
2010/7/19 José Romildo Malaquias
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? Romildo