On Thu, Jun 24, 2010 at 12:40 PM, Gabriel Dos Reis <email@example.com> 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.
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)