From d01951ec674017a11c817a8bea72379891be00fd Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Sat, 1 Mar 2003 12:21:34 +0000 Subject: [PATCH] More subtypep tests. --- ansi-tests/subtypep.lsp | 8 ++++++-- ansi-tests/types-and-class.lsp | 9 ++++++++- 2 files changed, 14 insertions(+), 3 deletions(-) diff --git a/ansi-tests/subtypep.lsp b/ansi-tests/subtypep.lsp index 740db508..e46221b9 100644 --- a/ansi-tests/subtypep.lsp +++ b/ansi-tests/subtypep.lsp @@ -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) diff --git a/ansi-tests/types-and-class.lsp b/ansi-tests/types-and-class.lsp index 8918ce1d..6f458e75 100644 --- a/ansi-tests/types-and-class.lsp +++ b/ansi-tests/types-and-class.lsp @@ -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, -- GitLab