560 |
(check-equivalence `(member 0 ,i1) `(member 0 ,i2))) |
(check-equivalence `(member 0 ,i1) `(member 0 ,i2))) |
561 |
nil) |
nil) |
562 |
|
|
563 |
|
(deftest subtypep.member.20 |
564 |
|
(check-equivalence '(and (member a b c d) (member e d b f g)) |
565 |
|
'(member b d)) |
566 |
|
nil) |
567 |
|
|
568 |
|
(deftest subtypep.member.21 |
569 |
|
(check-equivalence '(and (member a b c d) (member e d f g)) |
570 |
|
'(eql d)) |
571 |
|
nil) |
572 |
|
|
573 |
|
(deftest subtypep.member.22 |
574 |
|
(check-equivalence '(and (member a b c d) (member e f g)) |
575 |
|
nil) |
576 |
|
nil) |
577 |
|
|
578 |
|
(deftest subtypep.member.23 |
579 |
|
(check-equivalence '(or (member a b c) (member z b w)) |
580 |
|
'(member z a b w c)) |
581 |
|
nil) |
582 |
|
|
583 |
|
(deftest subtypep.member.24 |
584 |
|
(check-equivalence '(or (member a b c) (eql d)) |
585 |
|
'(member d c b a)) |
586 |
|
nil) |
587 |
|
|
588 |
|
(deftest subtypep.member.25 |
589 |
|
(check-equivalence 'boolean '(member nil t)) |
590 |
|
nil) |
591 |
|
|
592 |
|
(deftest subtypep.member.26 |
593 |
|
(check-equivalence '(or (eql a) (eql b)) |
594 |
|
'(member a b)) |
595 |
|
nil) |
596 |
|
|
597 |
|
|
598 |
;;; Tests of EQL types |
;;; Tests of EQL types |
599 |
|
|
600 |
(deftest subtypep.eql.1 |
(deftest subtypep.eql.1 |
625 |
(check-equivalence `(eql ,i1) `(eql ,i2))) |
(check-equivalence `(eql ,i1) `(eql ,i2))) |
626 |
nil) |
nil) |
627 |
|
|
628 |
|
(deftest subtypep.eql.4 |
629 |
|
(check-equivalence '(and (eql a) (eql b)) nil) |
630 |
|
nil) |