I looked in psyntax.scm, I should be able to add some extra fields to the tree-il representation as you wish.<br>I will have a try of it<br><br><br>&gt;I think that what I&#39;m primarily interested in is a way to annotate<br>
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
tree-il with type information, which the compiler may use to generate<br>
more efficient code.  However I think it&#39;s premature to bless a<br>
particular encoding of that information in Scheme, or any particular<br>
type system... basically it should be a field in the tree-il, I think,<br>
and anything else can be built on top of that.<br>
<br>
MHO anyway :)  But yes, there is a lot to learn from Racket about this.<br>
They&#39;ve done the most advanced work that I&#39;m aware of.<br>
<br>
Andy<br>
<font color="#888888">--<br>
<a href="http://wingolog.org/" target="_blank">http://wingolog.org/</a><br>
</font></blockquote></div><br>