<p dir="ltr"><br>
On May 25, 2013 2:54 PM, "Juan Jose Garcia-Ripoll" <<a href="mailto:juanjose.garciaripoll@gmail.com">juanjose.garciaripoll@gmail.com</a>> wrote:<br>
><br>
> ECL demands more time than I have and the docs have become obsolete. The sources for the documentation are open and I welcome patches and bug reports for them.</p>
<p dir="ltr">I sympathize and appreciate your efforts! Thanks for letting me know. I would love to help, perhaps I can find time.</p>
<p dir="ltr">> Well, your code was broken. As shown here: <a href="http://clhs.lisp.se/Body/f_procla.htm">http://clhs.lisp.se/Body/f_procla.htm</a> the list of valid declaration identifiers for PROCLAIM does not include FUNCTION. Your proclamation should have read instead<br>

><br>
> (eval-when (compile)<br>
>   (proclaim '(ftype (function (fixnum fixnum fixnum) fixnum) tak)))<br>
><br>
> (defun tak (x y z)<br>
>   (declare (fixnum x y z))<br>
>   (if (not (< y x))<br>
>       z<br>
>       (tak (tak (1- x) y z)<br>
>        (tak (1- y) z x)<br>
>        (tak (1- z) x y))))<br>
><br>
> With this, ECL does not complain</p>
<p dir="ltr">Whoops, thanks!</p>
<p dir="ltr">Cheers,<br>
Jason</p>