Hi Stephen, On Mon, Mar 5, 2012 at 08:52, Stephen Tetley wrote:
> How do I add type annotations to interior locations in an abstract syntax > tree? > I use an annotated expression tree in my work. The nodes of the AST are annotated with the type, assumption set, and constraint set as described in constraint-based type inference [1]. We have a paper describing our type-and-transform system [2] and a link in the paper points to the code. Let me know if you have any questions. Regards, Sean [1] http://www.staff.science.uu.nl/~heere112/phdthesis/index.html [2] http://www.cs.uu.nl/research/techreps/UU-CS-2012-004.html
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe