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/algebra/mring.spad.pamphlet | |
| 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/algebra/mring.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions