diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-09 22:31:07 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-09 22:31:07 +0000 |
commit | 2e9dc79676f737f2b905560a8a70d8fbed27b04a (patch) | |
tree | d60514a4e0de2779d03b35d4441998e96f3549c4 /src/algebra/fspace.spad.pamphlet | |
parent | 4b4a0dc6ce39b7ee849f81ddf66355713f0cbf27 (diff) | |
download | open-axiom-2e9dc79676f737f2b905560a8a70d8fbed27b04a.tar.gz |
* algebra/term.spad.pamphlet (zero?$Arity): New.
(one?$Arity): Likewise.
* algebra/op.spad.pamphlet (BasicOperator): Now belongs to
OperatorCategory(Symbol).
(operator$BasicOperator): One more overload.
* algebra/expr.spad.pamphlet (operator$Expression): Tidy.
* algebra/fspace.spad.pamphlet (elt$ExpressionSpace): Likewise.
* algebra/kl.spad.pamphlet (kernel$Kernel): Likewise.
Diffstat (limited to 'src/algebra/fspace.spad.pamphlet')
-rw-r--r-- | src/algebra/fspace.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet index 4ba47d9d..4b1aafa4 100644 --- a/src/algebra/fspace.spad.pamphlet +++ b/src/algebra/fspace.spad.pamphlet @@ -256,8 +256,7 @@ ExpressionSpace(): Category == Defn where elt(op:OP, args:List %) == not belong? op => error "Unknown operator" - ((u := arity op) case N) and (#args ~= u::N) - => error "Wrong number of arguments" + (#args)::Arity ~= arity op => error "Wrong number of arguments" (v := evaluate(op,args)$BasicOperatorFunctions1(%)) case % => v::% okkernel(op, args) |