On Wed, May 5, 2010 at 10:48 PM, Matthew Mondor <span dir="ltr"><<a href="mailto:mm_lists@pulsar-zone.net">mm_lists@pulsar-zone.net</a>></span> wrote:<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;">

Before posting about inlining, I had existing code using a structure<br>
with fixnum slots, and in the resulting code only generic functions were<br>
used, but the code also lacked declarations before using the slots.<br></blockquote></div><br clear="all">Yes, that would be an application. The objective, though, is more sophisticated type inference that spreads beyond one statement and that can keep track of different expected types along different code branches. Or "backwards" type inference that can infer the type of a variable based on the uses in different functions.<br>

<br>Juanjo<br><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://tream.dreamhosters.com">http://tream.dreamhosters.com</a><br>