Hi Stephen,<br><br><div class="gmail_quote">On Mon, Mar 5, 2012 at 08:52, Stephen Tetley wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":bwh">How do I add type annotations to interior locations in an abstract syntax tree?<br>

</div></blockquote></div><br><div>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.</div>

<div><br></div><div>Regards,</div><div>Sean</div><div><br></div><div>[1] <a href="http://www.staff.science.uu.nl/~heere112/phdthesis/index.html">http://www.staff.science.uu.nl/~heere112/phdthesis/index.html</a></div><div>

[2] <a href="http://www.cs.uu.nl/research/techreps/UU-CS-2012-004.html">http://www.cs.uu.nl/research/techreps/UU-CS-2012-004.html</a></div>