| author | Paul Dietz <dietz@dls.net> | 2003年03月01日 12:21:34 +0000 |
|---|---|---|
| committer | Paul Dietz <dietz@dls.net> | 2003年03月01日 12:21:34 +0000 |
| commit | 4fca31e3dfe9af230e4079b9a6e622fd2f51e17f (patch) | |
| tree | 077ad60b4ea5d396c141b3326bfa0c0db968c395 | |
| parent | dda771464ef9b748eb8a30dc1735c72b7ce00034 (diff) | |
| download | gcl-4fca31e3dfe9af230e4079b9a6e622fd2f51e17f.tar.gz | |
| -rw-r--r-- | gcl/ansi-tests/subtypep.lsp | 8 | ||||
| -rw-r--r-- | gcl/ansi-tests/types-and-class.lsp | 9 |
diff --git a/gcl/ansi-tests/subtypep.lsp b/gcl/ansi-tests/subtypep.lsp index 740db5083..e46221b9f 100644 --- a/gcl/ansi-tests/subtypep.lsp +++ b/gcl/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/gcl/ansi-tests/types-and-class.lsp b/gcl/ansi-tests/types-and-class.lsp index 8918ce1da..6f458e754 100644 --- a/gcl/ansi-tests/types-and-class.lsp +++ b/gcl/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, |