From b4e36d2669e4d86d5e183d279e07079a7d6e26bd Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 15 Jan 2008 08:50:07 +0000
Subject:         * 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.

---
 src/interp/compiler.boot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/interp')

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
-- 
cgit v1.2.3