aboutsummaryrefslogtreecommitdiff
path: root/src
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
parent16a5290c91bc14ca3f3a26f24796761f9f08c0f0 (diff)
downloadopen-axiom-db0175b25bff72cdc2879adaca92798adcb7db8f.tar.gz
Fix thinko
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog5
-rw-r--r--src/algebra/syntax.spad7
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