aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-01-10 13:50:03 +0000
committerdos-reis <gdr@axiomatics.org>2008-01-10 13:50:03 +0000
commitdb0175b25bff72cdc2879adaca92798adcb7db8f (patch)
treed81e1560e2cf615ba87ea034d80fc2c7b7fc91aa /src/algebra/syntax.spad
parent16a5290c91bc14ca3f3a26f24796761f9f08c0f0 (diff)
downloadopen-axiom-db0175b25bff72cdc2879adaca92798adcb7db8f.tar.gz
Fix thinko
Diffstat (limited to 'src/algebra/syntax.spad')
-rw-r--r--src/algebra/syntax.spad7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/algebra/syntax.spad b/src/algebra/syntax.spad
index b6fac427..2dd65ccb 100644
--- a/src/algebra/syntax.spad
+++ b/src/algebra/syntax.spad
@@ -174,7 +174,12 @@ Syntax(): Public == Private where
getOperator x ==
atom? rep x => userError "atom as operand to getOperator"
- convert car rep x
+ op := car rep x
+ symbol? op => symbol op
+ integer? op => integer op
+ float? op => float op
+ string? op => string op
+ convert op
getOperands x ==
s := rep x