On Thu, Jun 24, 2010 at 12:40 PM, Gabriel Dos Reis <span dir="ltr"><<a href="mailto:gdr@integrable-solutions.net">gdr@integrable-solutions.net</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">


Aha.  OpenAxiom declares/proclaims function types.  Is there a way<br>
ECL can use that information anyhow if a is never modified?  E.g.<br>
<br>
   (declaim (ftype (function (double-float) cons) foo))<br>
   (defun foo (x)<br>
      (let ((y (truncate x))) (cons 1 y)))<br></blockquote></div><br>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.<br>

<br>Juanjo<br clear="all"><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com">http://juanjose.garciaripoll.googlepages.com</a><br>