8 |
;;; SUBTYPEP on MEMBER types |
;;; SUBTYPEP on MEMBER types |
9 |
|
|
10 |
(deftest subtypep.member.1 |
(deftest subtypep.member.1 |
11 |
(subtypep*-or-fail '(member a b c) '(member a b c d)) |
(check-all-subtypep '(member a b c) '(member a b c d)) |
12 |
t) |
nil) |
13 |
|
|
14 |
(deftest subtypep.member.2 |
(deftest subtypep.member.2 |
15 |
(subtypep*-not-or-fail '(member a b c) '(member a b)) |
(check-all-not-subtypep '(member a b c) '(member a b)) |
16 |
t) |
nil) |
17 |
|
|
18 |
(deftest subtypep.member.3 |
(deftest subtypep.member.3 |
19 |
(check-equivalence '(member) nil) |
(check-equivalence '(member) nil) |
20 |
nil) |
nil) |
21 |
|
|
22 |
(deftest subtypep.member.4 |
(deftest subtypep.member.4 |
23 |
(subtypep*-or-fail '(eql b) '(member a b c)) |
(check-all-subtypep '(eql b) '(member a b c)) |
24 |
t) |
nil) |
25 |
|
|
26 |
(deftest subtypep.member.5 |
(deftest subtypep.member.5 |
27 |
(subtypep*-or-fail '(member a b c d e) 'symbol) |
(check-all-subtypep '(member a b c d e) 'symbol) |
28 |
t) |
nil) |
29 |
|
|
30 |
(deftest subtypep.member.6 |
(deftest subtypep.member.6 |
31 |
(subtypep*-not-or-fail '(member a b 10 d e) 'symbol) |
(check-all-not-subtypep '(member a b 10 d e) 'symbol) |
32 |
t) |
nil) |
33 |
|
|
34 |
(deftest subtypep.member.7 |
(deftest subtypep.member.7 |
35 |
(subtypep*-or-fail 'null '(member a b nil c d e)) |
(check-all-subtypep 'null '(member a b nil c d e)) |
36 |
t) |
nil) |
37 |
|
|
38 |
(deftest subtypep.member.8 |
(deftest subtypep.member.8 |
39 |
(subtypep*-not-or-fail 'null '(member a b c d e)) |
(check-all-not-subtypep 'null '(member a b c d e)) |
40 |
t) |
nil) |
41 |
|
|
42 |
(deftest subtypep.member.9 |
(deftest subtypep.member.9 |
43 |
(let ((b1 (1+ most-positive-fixnum)) |
(let ((b1 (1+ most-positive-fixnum)) |
44 |
(b2 (1+ most-positive-fixnum))) |
(b2 (1+ most-positive-fixnum))) |
45 |
(subtypep*-or-fail `(member 10 ,b1 20) `(member 10 20 ,b2))) |
(check-all-subtypep `(member 10 ,b1 20) `(member 10 20 ,b2))) |
46 |
t) |
nil) |
47 |
|
|
48 |
(deftest subtypep.member.10 |
(deftest subtypep.member.10 |
49 |
(subtypep*-or-fail '(member :a :b :c) 'keyword) |
(check-all-subtypep '(member :a :b :c) 'keyword) |
50 |
t) |
nil) |
51 |
|
|
52 |
(deftest subtypep.member.11 |
(deftest subtypep.member.11 |
53 |
(let ((b1 (copy-list '(a))) |
(let ((b1 (copy-list '(a))) |
54 |
(b2 (copy-list '(a)))) |
(b2 (copy-list '(a)))) |
55 |
(subtypep*-not-or-fail `(member 10 ,b1 20) `(member 10 20 ,b2))) |
(check-all-not-subtypep `(member 10 ,b1 20) `(member 10 20 ,b2))) |
56 |
t) |
nil) |
57 |
|
|
58 |
(deftest subtypep.member.12 |
(deftest subtypep.member.12 |
59 |
(let ((b1 '(a))) |
(let ((b1 '(a))) |
60 |
(subtypep*-or-fail `(member 10 ,b1 20) `(member 10 20 ,b1))) |
(check-all-subtypep `(member 10 ,b1 20) `(member 10 20 ,b1))) |
61 |
t) |
nil) |
62 |
|
|
63 |
(deftest subtypep.member.13 |
(deftest subtypep.member.13 |
64 |
(subtypep*-or-fail '(member 10 20 30) '(integer 0 100)) |
(check-all-subtypep '(member 10 20 30) '(integer 0 100)) |
65 |
t) |
nil) |
66 |
|
|
67 |
(deftest subtypep.member.14 |
(deftest subtypep.member.14 |
68 |
(subtypep*-or-fail '(integer 3 6) '(member 0 1 2 3 4 5 6 7 8 100)) |
(check-all-subtypep '(integer 3 6) '(member 0 1 2 3 4 5 6 7 8 100)) |
69 |
t) |
nil) |
70 |
|
|
71 |
(deftest subtypep.member.15 |
(deftest subtypep.member.15 |
72 |
(subtypep*-not-or-fail '(integer 3 6) '(member 0 1 2 3 5 6 7 8)) |
(check-all-not-subtypep '(integer 3 6) '(member 0 1 2 3 5 6 7 8)) |
73 |
t) |
nil) |
74 |
|
|
75 |
(deftest subtypep.member.16 |
(deftest subtypep.member.16 |
76 |
(check-equivalence '(integer 2 5) '(member 2 5 4 3)) |
(check-equivalence '(integer 2 5) '(member 2 5 4 3)) |