From 00db0b278cd72ba238c4dd3bd6e22bad338bcdda Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Wed, 26 Nov 2003 03:07:58 +0000 Subject: [PATCH] Randomly generated subtypep bug. --- ansi-tests/misc.lsp | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/ansi-tests/misc.lsp b/ansi-tests/misc.lsp index a7762e22..3728e983 100644 --- a/ansi-tests/misc.lsp +++ b/ansi-tests/misc.lsp @@ -3294,3 +3294,20 @@ (if (%f5 0 0 0) (%f5 a) 0)))) 1 2) 1) + +;;; sbcl subtypep bug +(deftest misc.198 + (let ((t1 'cons) + (t2 '(or + (not + (cons (or (cons t ratio) (cons short-float t)) + (cons (cons (eql -7418623) (integer -9 53)) + (cons cons t)))) + (not + (cons (cons t (eql -265039)) + (cons (cons t cons) t)))))) + (if (equal (multiple-value-list (subtypep* t1 t2)) '(nil t)) + (not (subtypep `(not ,t2) `(not ,t1))) + t)) + t) + -- GitLab