From da505a626ec76e266089ecf80338d3106de49b8c Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Sat, 29 Nov 2003 01:57:00 +0000 Subject: [PATCH] Some more random test failures. --- ansi-tests/subtypep-cons.lsp | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp index 82e3bb15..4cacdeb7 100644 --- a/ansi-tests/subtypep-cons.lsp +++ b/ansi-tests/subtypep-cons.lsp @@ -280,3 +280,22 @@ (cons (cons t cons) t)))))) (subtypep-and-contrapositive-are-consistent 'cons t2)) t) + +(deftest subtypep.cons.32 + (let ((t2 '(cons t + (or (not (cons integer (eql 0))) + (not (cons (or float (eql 0)) cons)))))) + (subtypep-and-contrapositive-are-consistent 'cons t2)) + t) + +(deftest subtypep.cons.33 + (let ((t2 '(or (not (cons (cons t cons) (cons t (cons unsigned-byte t)))) + (not (cons (cons integer t) (cons t (cons cons t))))))) + (subtypep-and-contrapositive-are-consistent 'cons t2)) + t) + +(deftest subtypep.cons.34 + (let ((t2 '(or (not (cons (or (eql 0) ratio) (not cons))) + (not (cons integer cons))))) + (subtypep-and-contrapositive-are-consistent 'cons t2)) + t) -- GitLab