130 |
'bignum) |
'bignum) |
131 |
nil) |
nil) |
132 |
|
|
133 |
|
;;;;;;; |
134 |
|
|
135 |
(deftest subtypep.integer.1 |
(deftest subtypep.integer.1 |
136 |
(subtypep* '(integer 0 10) '(integer 0 20)) |
(subtypep* '(integer 0 10) '(integer 0 20)) |
137 |
t t) |
t t) |
140 |
(subtypep* '(integer 0 10) '(integer 0 (10))) |
(subtypep* '(integer 0 10) '(integer 0 (10))) |
141 |
nil t) |
nil t) |
142 |
|
|
143 |
|
(deftest subtypep.integer.3 |
144 |
|
(subtypep* '(integer 10 100) 'integer) |
145 |
|
t t) |
146 |
|
|
147 |
|
(deftest subtypep.integer.4 |
148 |
|
(subtypep* 'integer '(integer 10 100)) |
149 |
|
nil t) |
150 |
|
|
151 |
|
(deftest subtypep.integer.5 |
152 |
|
(subtypep* '(integer 10 *) 'integer) |
153 |
|
t t) |
154 |
|
|
155 |
|
(deftest subtypep.integer.6 |
156 |
|
(subtypep* 'integer '(integer 10 *)) |
157 |
|
nil t) |
158 |
|
|
159 |
|
(deftest subtypep.integer.7 |
160 |
|
(subtypep* '(integer 10) 'integer) |
161 |
|
t t) |
162 |
|
|
163 |
|
(deftest subtypep.integer.8 |
164 |
|
(subtypep* 'integer '(integer 10)) |
165 |
|
nil t) |
166 |
|
|
167 |
|
(deftest subtypep.integer.9 |
168 |
|
(subtypep* '(integer * 10) 'integer) |
169 |
|
t t) |
170 |
|
|
171 |
|
(deftest subtypep.integer.10 |
172 |
|
(subtypep* 'integer '(integer * 10)) |
173 |
|
nil t) |
174 |
|
|
175 |
|
(deftest subtypep.integer.11 |
176 |
|
(subtypep* '(integer 10) '(integer 5)) |
177 |
|
t t) |
178 |
|
|
179 |
|
(deftest subtypep.integer.12 |
180 |
|
(subtypep* '(integer 5) '(integer 10)) |
181 |
|
nil t) |
182 |
|
|
183 |
|
(deftest subtypep.integer.13 |
184 |
|
(subtypep* '(integer 10 *) '(integer 5)) |
185 |
|
t t) |
186 |
|
|
187 |
|
(deftest subtypep.integer.14 |
188 |
|
(subtypep* '(integer 5) '(integer 10 *)) |
189 |
|
nil t) |
190 |
|
|
191 |
|
(deftest subtypep.integer.15 |
192 |
|
(subtypep* '(integer 10) '(integer 5 *)) |
193 |
|
t t) |
194 |
|
|
195 |
|
(deftest subtypep.integer.16 |
196 |
|
(subtypep* '(integer 5 *) '(integer 10)) |
197 |
|
nil t) |
198 |
|
|
199 |
|
(deftest subtypep.integer.17 |
200 |
|
(subtypep* '(integer 10 *) '(integer 5 *)) |
201 |
|
t t) |
202 |
|
|
203 |
|
(deftest subtypep.integer.18 |
204 |
|
(subtypep* '(integer 5 *) '(integer 10 *)) |
205 |
|
nil t) |
206 |
|
|
207 |
|
(deftest subtypep.integer.19 |
208 |
|
(subtypep* '(integer * 5) '(integer * 10)) |
209 |
|
t t) |
210 |
|
|
211 |
|
(deftest subtypep.integer.20 |
212 |
|
(subtypep* '(integer * 10) '(integer * 5)) |
213 |
|
nil t) |
214 |
|
|
215 |
|
(deftest subtypep.integer.21 |
216 |
|
(subtypep* '(integer 10 *) '(integer * 10)) |
217 |
|
nil t) |
218 |
|
|
219 |
|
(deftest subtypep.integer.22 |
220 |
|
(subtypep* '(integer * 10) '(integer 10 *)) |
221 |
|
nil t) |
222 |
|
|
223 |
|
(deftest subtypep.integer.23 |
224 |
|
(check-equivalence '(integer (9)) '(integer 10)) |
225 |
|
nil) |
226 |
|
|
227 |
|
(deftest subtypep.integer.24 |
228 |
|
(check-equivalence '(integer * (11)) '(integer * 10)) |
229 |
|
nil) |
230 |
|
|
231 |
|
;;;;;;; |
232 |
|
|
233 |
(deftest subtypep.float.1 |
(deftest subtypep.float.1 |
234 |
(loop for tp in +float-types+ |
(loop for tp in +float-types+ |
235 |
append (check-subtypep tp 'float t t)) |
append (check-subtypep tp 'float t t)) |
348 |
collect t1) |
collect t1) |
349 |
nil) |
nil) |
350 |
|
|
351 |
|
;;; SUBTYPEP on MEMBER types |
352 |
|
|
353 |
|
(deftest subtypep.member.1 |
354 |
|
(subtypep*-or-fail '(member a b c) '(member a b c d)) |
355 |
|
t) |
356 |
|
|
357 |
|
(deftest subtypep.member.2 |
358 |
|
(subtypep*-not-or-fail '(member a b c) '(member a b)) |
359 |
|
t) |
360 |
|
|
361 |
|
(deftest subtypep.member.3 |
362 |
|
(check-equivalence '(member) nil) |
363 |
|
nil) |
364 |
|
|
365 |
|
(deftest subtypep.member.4 |
366 |
|
(subtypep*-or-fail '(eql b) '(member a b c)) |
367 |
|
t) |
368 |
|
|
369 |
|
(deftest subtypep.member.5 |
370 |
|
(subtypep*-or-fail '(member a b c d e) 'symbol) |
371 |
|
t) |
372 |
|
|
373 |
|
(deftest subtypep.member.6 |
374 |
|
(subtypep*-not-or-fail '(member a b 10 d e) 'symbol) |
375 |
|
t) |
376 |
|
|
377 |
|
(deftest subtypep.member.7 |
378 |
|
(subtypep*-or-fail 'null '(member a b nil c d e)) |
379 |
|
t) |
380 |
|
|
381 |
|
(deftest subtypep.member.8 |
382 |
|
(subtypep*-not-or-fail 'null '(member a b c d e)) |
383 |
|
t) |
384 |
|
|
385 |
|
(deftest subtypep.member.9 |
386 |
|
(let ((b1 (1+ most-positive-fixnum)) |
387 |
|
(b2 (1+ most-positive-fixnum))) |
388 |
|
(subtypep*-or-fail `(member 10 ,b1 20) `(member 10 20 ,b2))) |
389 |
|
t) |
390 |
|
|
391 |
|
(deftest subtypep.member.10 |
392 |
|
(subtypep*-or-fail '(member :a :b :c) 'keyword) |
393 |
|
t) |
394 |
|
|
395 |
|
(deftest subtypep.member.11 |
396 |
|
(let ((b1 (copy-list '(a))) |
397 |
|
(b2 (copy-list '(a)))) |
398 |
|
(subtypep*-not-or-fail `(member 10 ,b1 20) `(member 10 20 ,b2))) |
399 |
|
t) |
400 |
|
|
401 |
|
(deftest subtypep.member.12 |
402 |
|
(let ((b1 '(a))) |
403 |
|
(subtypep*-or-fail `(member 10 ,b1 20) `(member 10 20 ,b1))) |
404 |
|
t) |
405 |
|
|
406 |
|
(deftest subtypep.member.13 |
407 |
|
(subtypep*-or-fail '(member 10 20 30) '(integer 0 100)) |
408 |
|
t) |
409 |
|
|
410 |
|
(deftest subtypep.member.14 |
411 |
|
(subtypep*-or-fail '(integer 3 6) '(member 0 1 2 3 4 5 6 7 8 100)) |
412 |
|
t) |
413 |
|
|
414 |
|
(deftest subtypep.member.15 |
415 |
|
(subtypep*-not-or-fail '(integer 3 6) '(member 0 1 2 3 5 6 7 8)) |
416 |
|
t) |
417 |
|
|
418 |
|
(deftest subtypep.member.16 |
419 |
|
(check-equivalence '(integer 2 5) '(member 2 5 4 3)) |
420 |
|
nil) |