From c196b86cfc4c3f9728f7c1448df2e9d6d6d6ebb7 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 29 May 2008 05:05:11 +0000
Subject: 	* interp/interop.boot (newHasCategory): Category is a
 category, and 	all domains belong to Category.

---
 src/ChangeLog           | 5 +++++
 src/interp/interop.boot | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/ChangeLog b/src/ChangeLog
index 75ce7345..0afd7402 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2008-05-29  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/interop.boot (newHasCategory): Category is a category, and
+	all domains belong to Category.
+
 2008-05-28  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/showimp.boot (showPredicates): Fix typo.
diff --git a/src/interp/interop.boot b/src/interp/interop.boot
index 99f0b7d8..2ad3991e 100644
--- a/src/interp/interop.boot
+++ b/src/interp/interop.boot
@@ -566,7 +566,7 @@ newHasAttribute(domain,attrib) ==
   false
 
 newHasCategory(domain,catform) ==
-  catform = '(Type) => true  
+  catform = $Type or catform = $Category => true  
   slot4 := domain.4
   auxvec := CAR slot4
   catvec := CADR slot4
-- 
cgit v1.2.3