From fb395a76d217b33b7d9160bb39db083a1d686a7c Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Tue, 25 Feb 2003 05:00:31 +0000 Subject: [PATCH] Add tests that (AND x x) and (OR x x) are type equivalent to x. --- ansi-tests/subtypep.lsp | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/ansi-tests/subtypep.lsp b/ansi-tests/subtypep.lsp index 8cb67de8..c70b6166 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) -- GitLab