334 |
(subtypep* `(not ,type2) `(not ,type1)))) |
(subtypep* `(not ,type2) `(not ,type1)))) |
335 |
nil nil) |
nil nil) |
336 |
|
|
337 |
;;; From SBCL |
;;; From sbcl 0.9.5.31 |
338 |
|
|
339 |
(deftest subtypep.cons.41 |
(deftest subtypep.cons.41 |
340 |
(let ((type1 '(cons t (complex (real -10 -4)))) |
(let ((type1 '(cons t (complex (real -10 -4)))) |
348 |
nil)))) |
nil)))) |
349 |
nil) |
nil) |
350 |
|
|
351 |
|
(deftest subtypep.cons.42 |
352 |
|
(let ((t1 '(cons (cons (cons (real -744833699 -744833699) cons) (integer -234496 215373)) |
353 |
|
integer)) |
354 |
|
(t2 '(cons (cons (cons integer integer) (integer -234496 215373)) t))) |
355 |
|
(values (subtypep `(not ,t2) `(not ,t1)))) |
356 |
|
nil) |
357 |
|
|
358 |
|
|
359 |
|
|