212 |
'(cons single-float integer) |
'(cons single-float integer) |
213 |
'(or (cons single-float fixnum) (cons single-float bignum))) |
'(or (cons single-float fixnum) (cons single-float bignum))) |
214 |
nil) |
nil) |
215 |
|
|
216 |
|
;;; More test cases from SBCL, CMUCL, culled from random test failures |
217 |
|
|
218 |
|
(deftest subtype.cons.23 |
219 |
|
(let ((t1 '(cons t (cons (not long-float) symbol))) |
220 |
|
(t2 '(not (cons symbol (cons integer integer))))) |
221 |
|
(subtypep-and-contrapositive-are-consistent t1 t2)) |
222 |
|
t) |
223 |
|
|
224 |
|
(deftest subtype.cons.24 |
225 |
|
(let ((t1 '(cons (eql 3671) (cons short-float (eql -663423073525)))) |
226 |
|
(t2 '(not (cons t (cons (not complex) (cons integer t)))))) |
227 |
|
(subtypep-and-contrapositive-are-consistent t1 t2)) |
228 |
|
t) |
229 |
|
|
230 |
|
(deftest subtype.cons.25 |
231 |
|
(let ((t1 '(cons t (cons (not long-float) (integer 44745969 61634129)))) |
232 |
|
(t2 '(not (cons (eql -3) (cons short-float (cons t float)))))) |
233 |
|
(subtypep-and-contrapositive-are-consistent t1 t2)) |
234 |
|
t) |
235 |
|
|
236 |
|
(deftest subtype.cons.26 |
237 |
|
(let ((t1 '(cons integer (cons single-float (cons t t)))) |
238 |
|
(t2 '(cons t (cons (not complex) (not (eql 8)))))) |
239 |
|
(subtypep-and-contrapositive-are-consistent t1 t2)) |
240 |
|
t) |
241 |
|
|
242 |
|
(deftest subtype.cons.27 |
243 |
|
(let ((t1 '(cons (not (integer -27 30)) |
244 |
|
(cons rational (cons integer integer)))) |
245 |
|
(t2 '(not (cons integer (cons integer (eql 378132631)))))) |
246 |
|
(subtypep-and-contrapositive-are-consistent t1 t2)) |
247 |
|
t) |
248 |
|
|
249 |
|
(deftest subtype.cons.28 |
250 |
|
(let ((t1 '(cons (integer -1696888 -1460338) |
251 |
|
(cons single-float symbol))) |
252 |
|
(t2 '(not (cons (not (integer -14 20)) |
253 |
|
(cons (not integer) cons))))) |
254 |
|
(subtypep-and-contrapositive-are-consistent t1 t2)) |
255 |
|
t) |
256 |
|
|
257 |
|
|
258 |
|
|
259 |
|
|
260 |
|
|
261 |
|
|
262 |
|
|
263 |
|
|
264 |
|
|
265 |
|
|
266 |
|
|