392 |
(subtypep* '(long-float 0.0l0 10.0l0) '(long-float 0.0l0 (10.0l0))) |
(subtypep* '(long-float 0.0l0 10.0l0) '(long-float 0.0l0 (10.0l0))) |
393 |
nil t) |
nil t) |
394 |
|
|
395 |
|
(deftest subtypep.float.24 |
396 |
|
(check-equivalence '(and (short-float 0.0s0 2.0s0) |
397 |
|
(short-float 1.0s0 3.0s0)) |
398 |
|
'(short-float 1.0s0 2.0s0)) |
399 |
|
nil) |
400 |
|
|
401 |
|
(deftest subtypep.float.25 |
402 |
|
(check-equivalence '(and (single-float 0.0f0 2.0f0) |
403 |
|
(single-float 1.0f0 3.0f0)) |
404 |
|
'(single-float 1.0f0 2.0f0)) |
405 |
|
nil) |
406 |
|
|
407 |
|
(deftest subtypep.float.26 |
408 |
|
(check-equivalence '(and (double-float 0.0d0 2.0d0) |
409 |
|
(double-float 1.0d0 3.0d0)) |
410 |
|
'(double-float 1.0d0 2.0d0)) |
411 |
|
nil) |
412 |
|
|
413 |
|
(deftest subtypep.float.27 |
414 |
|
(check-equivalence '(and (long-float 0.0l0 2.0l0) |
415 |
|
(long-float 1.0l0 3.0l0)) |
416 |
|
'(long-float 1.0l0 2.0l0)) |
417 |
|
nil) |
418 |
|
|
419 |
|
|
420 |
|
|
421 |
|
|
422 |
;;; SUBTYPEP on CONS types |
;;; SUBTYPEP on CONS types |
423 |
|
|
554 |
(t (check-disjointness t1 t2))))) |
(t (check-disjointness t1 t2))))) |
555 |
nil) |
nil) |
556 |
|
|
557 |
|
(deftest subtypep.member.19 |
558 |
|
(let ((i1 (1+ most-positive-fixnum)) |
559 |
|
(i2 (1+ most-positive-fixnum))) |
560 |
|
(check-equivalence `(member 0 ,i1) `(member 0 ,i2))) |
561 |
|
nil) |
562 |
|
|
563 |
;;; Tests of EQL types |
;;; Tests of EQL types |
564 |
|
|
565 |
(deftest subtypep.eql.1 |
(deftest subtypep.eql.1 |
584 |
(t (check-disjointness t1 t2))))) |
(t (check-disjointness t1 t2))))) |
585 |
nil) |
nil) |
586 |
|
|
587 |
|
(deftest subtypep.eql.3 |
588 |
|
(let ((i1 (1+ most-positive-fixnum)) |
589 |
|
(i2 (1+ most-positive-fixnum))) |
590 |
|
(check-equivalence `(eql ,i1) `(eql ,i2))) |
591 |
|
nil) |
592 |
|
|
593 |
|
|
594 |
|
|