<div class="gmail_quote">On Thu, Jun 24, 2010 at 9:56 AM, Gabriel Dos Reis <span dir="ltr"><<a href="mailto:gdr@integrable-solutions.net">gdr@integrable-solutions.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

OpenAxiom generates more LET-forms with initialization, e.g.<br>
<br>
   (let ((a 3)) ...)<br>
I hope ECL is taking advantage of that in its type propagation for<br>
code generation purposes...<br></blockquote></div><br>It will not help unless A is either constant or it is declared to have type fixnum / double-float / single-float, etc<br><br>Juanjo<br><br>-- <br>Instituto de Física Fundamental, CSIC<br>

c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com">http://juanjose.garciaripoll.googlepages.com</a><br>