From 8794d5d424903dc9c2a7bf701e8e839ac538faba Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Fri, 12 Aug 2005 03:23:51 +0000 Subject: [PATCH] Another gcl random failure --- ansi-tests/subtypep-cons.lsp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp index 44b99b54..9a1695aa 100644 --- a/ansi-tests/subtypep-cons.lsp +++ b/ansi-tests/subtypep-cons.lsp @@ -319,3 +319,9 @@ (t2 `(not (cons t (complex (integer * -500)))))) (subtypep-and-contrapositive-are-consistent t1 t2)) t) + +;;; From GCL + +(deftest subtypep.cons.39 + (values (subtypep t '(and (not (cons cons (cons cons t))) (not (cons t cons))))) + nil) -- GitLab