[Axiom-developer] Re: Duplicate argument in testInterpolant

[Waldek Hebisch]

Martin Rubey wrote:
> 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.
> 

Could you commit updates to SVN archive?

> Does this mean that you have axiom with sbcl running?
> 
>

I am in the process of merging sbcl support into wh-sandbox.
ATM algebra compiled, but I am getting errors during database
build.  I did not try any serous tests yet, so I expect a lot
more problems.  And to have fully functional Axiom we need mere
code (especially sockets).

-- 
                              Waldek Hebisch
address@hidden