212 |
0) |
0) |
213 |
|# |
|# |
214 |
|
|
215 |
(deftest types-5 |
(deftest simple-base-string-is-sequence |
216 |
(subtypep* 'simple-base-string 'sequence) |
(subtypep* 'simple-base-string 'sequence) |
217 |
t t) |
t t) |
218 |
|
|
|
|
|
219 |
(deftest types-6 |
(deftest types-6 |
220 |
(types-6-body) |
(types-6-body) |
221 |
0) |
0) |
270 |
(types-9a-body) |
(types-9a-body) |
271 |
0) |
0) |
272 |
|
|
273 |
|
;;; |
274 |
|
;;; Check that disjointness of types in *disjoint-types-list* |
275 |
|
;;; is respected by all the elements of *universe* |
276 |
|
;;; |
277 |
|
(deftest universe-elements-in-at-most-one-disjoint-type |
278 |
|
(loop for e in *universe* |
279 |
|
for types = (remove-if-not #'(lambda (x) (typep e x)) |
280 |
|
*disjoint-types-list*) |
281 |
|
when (> (length types) 1) |
282 |
|
collect (list e types)) |
283 |
|
nil) |
284 |
|
|
285 |
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
286 |
;;; deftype |
;;; deftype |
287 |
|
|