On Tue, Jun 29, 2010 at 2:12 AM, 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;">

On Mon, Jun 28, 2010 at 2:46 PM, Juan Jose Garcia-Ripoll<br>
<<a href="mailto:juanjose.garciaripoll@googlemail.com">juanjose.garciaripoll@googlemail.com</a>> wrote:<br>
> * Proclamations are also used to deduce the type of a function's arguments<br>
> and create argument type checks.<br>
><br>The function arguments checking seems to have a bug. </blockquote><div><br>Thanks a lot for the test case. I identified a problem with how FTYPE declarations are parsed. I did not detect the problem because I was focusing on PROCLAIM, not DECLAIM. It should be fixed now, but just started an OpenAxiom build to make sure -- Maxima works, though.<br>

 </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">1. The argument-type in the function proclamation is simple enough<br>
    that ECL should not be confused.<br>
<br>
2. ECL pretends that there are too few arguments for proclaimed<br>
    BEGIN-DOLLAR-P.  Yet, the function was proclaimed to be<br>
    of arity 1, and there is exactly one argument supplied in the call.<br></blockquote><div><br>These two were caused by the error I just fixed.<br> <br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">


What are the notes about propagating FUNCALL and C-INLINE about?<br></blockquote></div><br>The type propagator is complaining about forms for which there is no type propagation code. I just disabled some of them, but seems I forgot FUNCALL.<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>