diff options
| -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 |