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 | |
| parent | 16a5290c91bc14ca3f3a26f24796761f9f08c0f0 (diff) | |
| download | open-axiom-db0175b25bff72cdc2879adaca92798adcb7db8f.tar.gz | |
Fix thinko
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/algebra/syntax.spad | 7 |
2 files changed, 11 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index b91d904a..ef638235 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2008-01-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/syntax.spad (getOperator): Inject into the right + Union branhc. + 2008-01-08 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/msgdb.boot (brightPrint0): Disable highlightinh on Win32. 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 |