diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-10 13:50:03 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-10 13:50:03 +0000 |
| commit | db0175b25bff72cdc2879adaca92798adcb7db8f (patch) | |
| tree | d81e1560e2cf615ba87ea034d80fc2c7b7fc91aa /src/algebra/syntax.spad | |
| parent | 16a5290c91bc14ca3f3a26f24796761f9f08c0f0 (diff) | |
| download | open-axiom-db0175b25bff72cdc2879adaca92798adcb7db8f.tar.gz | |
Fix thinko
Diffstat (limited to 'src/algebra/syntax.spad')
| -rw-r--r-- | src/algebra/syntax.spad | 7 |
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 |