aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/algebra/fspace.spad.pamphlet3
-rw-r--r--src/algebra/kl.spad.pamphlet3
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