From fd8b153493d8b04acb28be9966a3f56d23e3dc94 Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Fri, 14 Feb 2003 05:04:19 +0000 Subject: [PATCH] More tests of CONS types. --- ansi-tests/subtypep.lsp | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/ansi-tests/subtypep.lsp b/ansi-tests/subtypep.lsp index fd250c54..77b5f9a3 100644 --- a/ansi-tests/subtypep.lsp +++ b/ansi-tests/subtypep.lsp @@ -348,6 +348,18 @@ collect t1) nil) +(deftest subtypep.cons.3 + (check-equivalence '(and (cons symbol *) (cons * symbol)) + '(cons symbol symbol)) + nil) + +(deftest subtypep.cons.4 + (check-equivalence '(and (cons (integer 0 10) *) + (cons (integer 5 15) (integer 10 20)) + (cons * (integer 15 25))) + '(cons (integer 5 10) (integer 15 20))) + nil) + ;;; SUBTYPEP on MEMBER types (deftest subtypep.member.1 -- GitLab