From 46f2ef522f467f4dba34ee409ad2fa3b13323e87 Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Sun, 16 May 2004 11:11:36 +0000 Subject: [PATCH] Added three tests that abl fails. --- ansi-tests/subtypep-cons.lsp | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp index 4cacdeb7..f885e49e 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) + -- GitLab