On Thu, Jun 24, 2010 at 12:40 PM, Gabriel Dos Reis <gdr@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