132 |
nil) |
nil) |
133 |
|
|
134 |
(deftest subtypep.and.1 |
(deftest subtypep.and.1 |
135 |
(loop |
(loop for type in *types-list3* |
136 |
for typelist in *disjoint-types-list2* |
append (check-equivalence `(and ,type ,type) type)) |
|
append (loop for type in typelist |
|
|
append (check-equivalence `(and ,type ,type) type))) |
|
137 |
nil) |
nil) |
138 |
|
|
139 |
(deftest subtypep.or.1 |
(deftest subtypep.or.1 |
140 |
(loop |
(loop for type in *types-list3* |
141 |
for typelist in *disjoint-types-list2* |
append (check-equivalence `(or ,type ,type) type)) |
|
append (loop for type in typelist |
|
|
append (check-equivalence `(or ,type ,type) type))) |
|
142 |
nil) |
nil) |
143 |
|
|
144 |
(deftest subtypep.and.2 |
(deftest subtypep.and.2 |
148 |
(deftest subtypep.or.2 |
(deftest subtypep.or.2 |
149 |
(check-equivalence nil '(or)) |
(check-equivalence nil '(or)) |
150 |
nil) |
nil) |
151 |
|
|
152 |
|
(deftest subtypep.and.3 |
153 |
|
(loop for type in *types-list3* |
154 |
|
append (check-equivalence `(and ,type) type)) |
155 |
|
nil) |
156 |
|
|
157 |
|
(deftest subtypep.or.3 |
158 |
|
(loop for type in *types-list3* |
159 |
|
append (check-equivalence `(or ,type) type)) |
160 |
|
nil) |
161 |
|
|
162 |
|
(deftest subtypep.and.4 |
163 |
|
(let* ((n (length *types-list3*)) |
164 |
|
(a (make-array n :initial-contents *types-list3*))) |
165 |
|
(trim-list |
166 |
|
(loop for i below 1000 |
167 |
|
for tp1 = (aref a (random n)) |
168 |
|
for tp2 = (aref a (random n)) |
169 |
|
append (check-equivalence `(and ,tp1 ,tp2) |
170 |
|
`(and ,tp2 ,tp1))) |
171 |
|
100)) |
172 |
|
nil) |
173 |
|
|
174 |
|
(deftest subtypep.or.4 |
175 |
|
(let* ((n (length *types-list3*)) |
176 |
|
(a (make-array n :initial-contents *types-list3*))) |
177 |
|
(trim-list |
178 |
|
(loop for i below 1000 |
179 |
|
for tp1 = (aref a (random n)) |
180 |
|
for tp2 = (aref a (random n)) |
181 |
|
append (check-equivalence `(or ,tp1 ,tp2) |
182 |
|
`(or ,tp2 ,tp1))) |
183 |
|
100)) |
184 |
|
nil) |
185 |
|
|