Changeset 269

Timestamp:

Jan 13, 2004, 4:43:58 PM (21 years ago)

Author:

Gary Byers

Message:

New CTYPEs for negation, intersection.

File:

• trunk/ccl/library/lispequ.lisp (modified) (2 diffs)

trunk/ccl/library/lispequ.lisp

@@ -445 +445 @@
 )
 
-;;; The Hairy-ctype represents anything too wierd to be described reasonably or
-;;; to be useful, such as AND, NOT and SATISFIES and unknown types.  We just
-;;; remember the original type spec.
+;;; The Hairy-ctype represents anything too wierd to be described
+;;; reasonably or to be useful, such as SATISFIES.  We just remember
+;;; the original type spec.
 ;;;
 
@@ -542 +542 @@
   union-ctype-types
 )
+
+; INTERSECTION-ctype is a direct subclass of CTYPE.
+(def-accessors (intersection-ctype) %svref
+  nil                                   ; 'intersection-ctype
+  nil                                   ; ctype-class-info           
+  nil                                   ; ctype-enumerable
+  ;;
+  ;; The types in the intersection
+  intersection-ctype-types
+)
+
+(def-accessors (negation-ctype) %svref
+  nil                                   ; 'negation-ctype
+  nil                                   ; ctype-class-info           
+  nil                                   ; ctype-enumerable
+  ;; The type of what we're not:
+  negation-ctype-type
+  )
+  
+
+
 
 ; It'd be nice to integrate "foreign" types into the type system