[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...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20100624/1c3f151c/attachment.html>

More information about the ecl-devel mailing list