173 |
collect (list e types)) |
collect (list e types)) |
174 |
nil) |
nil) |
175 |
|
|
176 |
|
;;; Union of a type with its complement is universal |
177 |
|
|
178 |
|
(deftest type-or-not-type-is-everything |
179 |
|
(loop for l in *disjoint-types-list2* |
180 |
|
append |
181 |
|
(loop |
182 |
|
for type in l |
183 |
|
append (check-subtypep t `(or ,type (not ,type)) t) |
184 |
|
append (check-subtypep t `(or (not ,type) ,type) t))) |
185 |
|
nil) |
186 |
|
|
187 |
|
|
188 |
(deftest integer-and-ratio-are-disjoint |
(deftest integer-and-ratio-are-disjoint |
189 |
(classes-are-disjoint 'integer 'ratio) |
(classes-are-disjoint 'integer 'ratio) |
279 |
collect (list sym fun)) |
collect (list sym fun)) |
280 |
nil) |
nil) |
281 |
|
|
|
|
|
282 |
;;; Canonical metaobjects are in the right classes |
;;; Canonical metaobjects are in the right classes |
283 |
|
|
284 |
(deftest structure-object-is-in-structure-class |
(deftest structure-object-is-in-structure-class |