diff --git a/ansi-tests/subtypep.lsp b/ansi-tests/subtypep.lsp index 8cb67de8a2fbf7f8297da0fc676cb40a258006ef..c70b61667f11b9e61f240a4a2f3767fabc1ca08f 100644 --- a/ansi-tests/subtypep.lsp +++ b/ansi-tests/subtypep.lsp @@ -18,6 +18,7 @@ (deftest simple-base-string-is-sequence (subtypep* 'simple-base-string 'sequence) t t) + (deftest subtype.env.1 (mapcar #'notnot (multiple-value-list (subtypep 'bit 'integer nil))) @@ -129,3 +130,17 @@ (or symbol (integer 11 25))) '(integer 11 25)) nil) + +(deftest subtypep.and.1 + (loop + for typelist in *disjoint-types-list2* + append (loop for type in typelist + append (check-equivalence `(and ,type ,type) type))) + nil) + +(deftest subtypep.or.1 + (loop + for typelist in *disjoint-types-list2* + append (loop for type in typelist + append (check-equivalence `(or ,type ,type) type))) + nil)