Changeset 477

Timestamp:

Feb 6, 2004, 11:32:05 AM (21 years ago)

Author:

Gary Byers

Message:

Slot type predicates use CTYPEP, to (kind of) deal with (FUNCTION ...)
types.

File:

• trunk/ccl/level-1/l1-typesys.lisp (modified) (2 diffs)

trunk/ccl/level-1/l1-typesys.lisp

@@ -3966 +3966 @@
               (handler-case
                   (let* ((ctype (specifier-type type)))
-                    #'(lambda (value) (%%typep value ctype)))
+                    #'(lambda (value)
+                        (multiple-value-bind (win sure) (ctypep value ctype)
+                          (or (not sure) win))))
                 (parse-unknown-type (c)
                   (declare (ignore c))
@@ -3975 +3977 @@
                           (setf (slot-value spec 'type-predicate)
                                 #'(lambda (value) (%%typep value nowctype))))
-                        (%%typep value nowctype)))))))))
-
+                        (multiple-value-bind (win sure)
+                            (ctypep value nowctype)
+                          (or (not sure) win))))))))))
+