aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog5
-rw-r--r--src/interp/interop.boot2
2 files changed, 6 insertions, 1 deletions
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