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/interp/compiler.boot | |
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/interp/compiler.boot')
-rw-r--r-- | src/interp/compiler.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index c6841f5b..8915a10b 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1243,7 +1243,7 @@ coerceExtraHard(T is [x,m',e],m) == m' is ['Record,:.] and m = $Expression => [['coerceRe2E,x,['ELT,COPY m',0]],m,e] belongsTo?(m',["UnionType"],e) and hasUniqueCaseView(x,m,e) => - coerceByModemap(T,m) + autoCoerceByModemap(T,m) nil ++ returns true if mode `m' is known to belong to category `cat' in |