diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-15 08:50:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-15 08:50:07 +0000 |
| commit | b4e36d2669e4d86d5e183d279e07079a7d6e26bd (patch) | |
| tree | 939097e6ca6364393f3cd65f297c5bbd8e4ef4ee /src/ChangeLog | |
| parent | c4283c6a980fa9faacc66090e90d6243ae6c03db (diff) | |
| download | open-axiom-b4e36d2669e4d86d5e183d279e07079a7d6e26bd.tar.gz | |
* algebra/syntax.spad (autoCoerce$Syntax): Add overloads.
* interp/compiler.boot (coerceExtraHard): Always coerce by
autoCoerce.
* testsuite/interpreter/case.spad: Likewise.
* testsuite/interpreter/case.input: New.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 9fc72faf..a99d946c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,11 @@ +2008-01-15 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/syntax.spad (autoCoerce$Syntax): Add overloads. + * interp/compiler.boot (coerceExtraHard): Always coerce by + autoCoerce. + * testsuite/interpreter/case.spad: Likewise. + * testsuite/interpreter/case.input: New. + 2008-01-14 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/compiler.boot (compSymbol): Don't handle possible |