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) |
3297 |
|
|
3298 |
|
;;; sbcl subtypep bug |
3299 |
|
(deftest misc.198 |
3300 |
|
(let ((t1 'cons) |
3301 |
|
(t2 '(or |
3302 |
|
(not |
3303 |
|
(cons (or (cons t ratio) (cons short-float t)) |
3304 |
|
(cons (cons (eql -7418623) (integer -9 53)) |
3305 |
|
(cons cons t)))) |
3306 |
|
(not |
3307 |
|
(cons (cons t (eql -265039)) |
3308 |
|
(cons (cons t cons) t)))))) |
3309 |
|
(if (equal (multiple-value-list (subtypep* t1 t2)) '(nil t)) |
3310 |
|
(not (subtypep `(not ,t2) `(not ,t1))) |
3311 |
|
t)) |
3312 |
|
t) |
3313 |
|
|