Parent Directory | Revision Log | Patch
revision 1.61 by pfdietz, Wed Nov 26 03:07:58 2003 UTC | revision 1.62 by pfdietz, Thu Nov 27 00:52:52 2003 UTC | |
---|---|---|
# | Line 3294 | Line 3294 |
3294 | (if (%f5 0 0 0) (%f5 a) 0)))) | (if (%f5 0 0 0) (%f5 a) 0)))) |
3295 | 1 2) | 1 2) |
3296 | 1) | 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) | ||
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |