From 5231d91460271f0e9e0e3231bae94ba0931067ba Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 15 Jul 2008 15:42:14 +0000
Subject: 	Fix SF/2015650 	* interp/compiler.boot (coerceExtraHard):
 Forms with type Category 	are categories.

---
 src/interp/compiler.boot | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/interp')

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 1d9686bc..24b80131 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -1347,7 +1347,10 @@ coerceExtraHard(T is [x,m',e],m) ==
   belongsTo?(m',["UnionType"],e) and hasUniqueCaseView(x,m,e) =>
     autoCoerceByModemap(T,m)
   -- Domain instantiations are first class objects
-  m = $Domain and isCategoryForm(m',e) => [x,m',e]
+  m = $Domain =>
+    m' = $Category => nil
+    isCategoryForm(m',e) => [x,m',e]
+    nil
   nil
 
 ++ returns true if mode `m' is known to belong to category `cat' in
-- 
cgit v1.2.3