Commit d01951ec authored by pfdietz's avatar pfdietz

More subtypep tests.

parent 81b6d96a
......@@ -192,5 +192,9 @@
append (check-all-not-subtypep type nil))
nil)
\ No newline at end of file
(deftest subtypep.nil.2
(loop for (type) in *subtype-table*
for class = (find-class type nil)
unless (or (not class) (member type '(nil extended-char)))
append (check-all-not-subtypep class nil))
nil)
......@@ -161,7 +161,14 @@
0)
;;; All class names in CL denote classes that are subtypep
;;; equivalent to themselves
(deftest all-classes-are-type-equivalent-to-their-names
(loop for sym being the external-symbols of "COMMON-LISP"
for class = (find-class sym nil)
when class
append (check-equivalence sym class))
nil)
;;; Check that all class names in CL that name standard-classes or
;;; structure-classes are subtypes of standard-object and structure-object,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment