[Ecls-list] In LET/LET* bindings, the type of the form NIL is SYMBOL, not FIXNUM.
Juan Jose Garcia-Ripoll
juanjose.garciaripoll at googlemail.com
Thu Jun 24 13:11:30 UTC 2010
On Thu, Jun 24, 2010 at 12:40 PM, Gabriel Dos Reis <
gdr at integrable-solutions.net> wrote:
> Aha. OpenAxiom declares/proclaims function types. Is there a way
> ECL can use that information anyhow if a is never modified? E.g.
> (declaim (ftype (function (double-float) cons) foo))
> (defun foo (x)
> (let ((y (truncate x))) (cons 1 y)))
Well, I did not think about it, but it should not be too difficult to add.
Right now ECL only looks at declarations inside the function when inspecting
the arguments of a function. Proclamations are only used when calling the
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ecl-devel