[Axiom-developer] Re: Duplicate argument in testInterpolant

[Martin Rubey]

Waldek Hebisch <address@hidden> writes:

> The function testInterpolant in guessing package has the following
> header:
> 
> testInterpolant(resi: List SUP S,
>                 list: List F,
>                 testList: List UFPSSUPF,
>                 exprList: List EXPRR,
>                 initials: List EXPRR,
>                 guessDegree: NNI,
>                 D: HPSPEC,
>                 dummy: Symbol, op: BasicOperator, options: LGOPT,
>                 list: List F)
>                : Union("failed", Record(function: EXPRR, order: NNI))
> 
> In particular the parameter 'list' is repeated twice.  AFAICS Spad
> does not allow overloading of parameter names and even if such
> overloading is allowed the header still have problem because
> types are identical.
> 
> BTW: I found the problem because generated Lisp also have duplicate
> argument and SBCL chokes on it (GCL did not complain).

sorry, I thought this was already on the list (with the obvious patch).  I'll
send you an updated version of the package (I think Greg pointed out also some
other typos) within two hours or so.

Does this mean that you have axiom with sbcl running?


Martin