[Haskell-cafe] Adding type annotations to an AST?

[Sean Leather]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120314/5d0d70a0/attachment.htm>