On Thu, Jun 24, 2010 at 9:56 AM, Gabriel Dos Reis <gdr@integrable-solutions.net> wrote:
OpenAxiom generates more LET-forms with initialization, e.g.

  (let ((a 3)) ...)
I hope ECL is taking advantage of that in its type propagation for
code generation purposes...

It will not help unless A is either constant or it is declared to have type fixnum / double-float / single-float, etc

Juanjo

--
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com