318 |
collect (list int-type real-type))) |
collect (list int-type real-type))) |
319 |
nil) |
nil) |
320 |
|
|
321 |
|
(deftest subtypep.integer.real.8 |
322 |
|
(check-equivalence |
323 |
|
'(and (integer 4) (real * 10)) |
324 |
|
'(integer 4 10)) |
325 |
|
nil) |
326 |
|
|
327 |
|
(deftest subtypep.integer.real.9 |
328 |
|
(check-equivalence |
329 |
|
'(and (integer * 10) (real 4)) |
330 |
|
'(integer 4 10)) |
331 |
|
nil) |
332 |
|
|
333 |
|
(deftest subtypep.integer.real.10 |
334 |
|
(check-equivalence |
335 |
|
'(and (integer 4) (real * (10))) |
336 |
|
'(integer 4 9)) |
337 |
|
nil) |
338 |
|
|
339 |
|
(deftest subtypep.integer.real.11 |
340 |
|
(check-equivalence |
341 |
|
'(and (integer * 10) (real (4))) |
342 |
|
'(integer 5 10)) |
343 |
|
nil) |
344 |
|
|
345 |
|
|
346 |
;;; Between integer and rational types |
;;; Between integer and rational types |
347 |
|
|