[Ecls-list] In LET/LET* bindings, the type of the form NIL is SYMBOL, not FIXNUM.

[Juan Jose Garcia-Ripoll]

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
function.

Juanjo

-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20100624/1c3f151c/attachment.html>