[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Re: Duplicate argument in testInterpolant

From: Martin Rubey
Subject: [Axiom-developer] Re: Duplicate argument in testInterpolant
Date: 18 Apr 2007 06:53:34 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]