diff --git a/ansi-tests/subtypep.lsp b/ansi-tests/subtypep.lsp index fd250c54c1fb90aabdaba9c5a22500da80ea9082..77b5f9a330701e06cc34d94433e7f89c4220068b 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