From 3038de25849b587893cb7de2302aad17cccd5f74 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 10 May 2009 00:06:04 +0000 Subject: Fix thinko --- src/algebra/fspace.spad.pamphlet | 3 ++- src/algebra/kl.spad.pamphlet | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet index 4b1aafa4..d5af612b 100644 --- a/src/algebra/fspace.spad.pamphlet +++ b/src/algebra/fspace.spad.pamphlet @@ -256,7 +256,8 @@ ExpressionSpace(): Category == Defn where elt(op:OP, args:List %) == not belong? op => error "Unknown operator" - (#args)::Arity ~= arity op => error "Wrong number of arguments" + (#args)::Arity ~= arity op and (arity op ~= arbitrary()) => + error "Wrong number of arguments" (v := evaluate(op,args)$BasicOperatorFunctions1(%)) case % => v::% okkernel(op, args) diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index 9180b693..d365fb44 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -230,7 +230,8 @@ Kernel(S:OrderedSet): Exports == Implementation where k1.posit < k2.posit kernel(fn, x, n) == - (#x)::Arity ~= arity fn => error "Wrong number of arguments" + (#x)::Arity ~= arity fn and (arity fn ~= arbitrary()) => + error "Wrong number of arguments" enterInCache([fn, x, n, 0]$Rep, triage) -- SPECIALDISP contains a map List S -> OutputForm -- cgit v1.2.3