[Axiom-developer] Duplicate argument in testInterpolant

[Waldek Hebisch]

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).


-- 
                              Waldek Hebisch
address@hidden