333 |
(subtypep* type1 type2) |
(subtypep* type1 type2) |
334 |
(subtypep* `(not ,type2) `(not ,type1)))) |
(subtypep* `(not ,type2) `(not ,type1)))) |
335 |
nil nil) |
nil nil) |
336 |
|
|
337 |
|
;;; From SBCL |
338 |
|
|
339 |
|
(deftest subtypep.cons.41 |
340 |
|
(let ((type1 '(cons t (complex (real -10 -4)))) |
341 |
|
(type2 '(not (cons t (complex (integer -200 -100)))))) |
342 |
|
(multiple-value-bind (sub1 success1) |
343 |
|
(subtypep* type1 type2) |
344 |
|
(multiple-value-bind (sub2 success2) |
345 |
|
(subtypep* `(not ,type2) `(not ,type1)) |
346 |
|
(if (and success1 success2 (not (eq sub1 sub2))) |
347 |
|
(values sub1 sub2) |
348 |
|
nil)))) |
349 |
|
nil) |
350 |
|
|