diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp index 4cacdeb7013903ede4490b29c7d1f063d451e568..f885e49ef8b3b11fd990812c3d14c7d742579e5c 100644 --- a/ansi-tests/subtypep-cons.lsp +++ b/ansi-tests/subtypep-cons.lsp @@ -299,3 +299,16 @@ (not (cons integer cons))))) (subtypep-and-contrapositive-are-consistent 'cons t2)) t) + +(deftest subtypep.cons.35 + (notnot-mv (subtypep '(cons nil t) 'float)) + t t) + +(deftest subtypep.cons.36 + (notnot-mv (subtypep '(cons t nil) 'symbol)) + t t) + +(deftest subtypep.cons.37 + (notnot-mv (subtypep '(cons nil nil) 'real)) + t t) +