aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
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