127 |
for result = (check-disjointness tp1 tp2) |
for result = (check-disjointness tp1 tp2) |
128 |
append result)) |
append result)) |
129 |
nil) |
nil) |
130 |
|
|
131 |
|
(deftest types-7c |
132 |
|
(loop for e on *disjoint-types-list2* |
133 |
|
for list1 = (first e) |
134 |
|
append |
135 |
|
(loop for tp1 in list1 append |
136 |
|
(loop for list2 in (rest e) append |
137 |
|
(loop for tp2 in list2 append |
138 |
|
(check-disjointness tp1 tp2))))) |
139 |
|
nil) |
140 |
|
|
141 |
(deftest types-8 |
(deftest types-8 |
142 |
(loop |
(loop |
222 |
(check-disjointness '(integer 0 (10)) '(integer 10 (20))) |
(check-disjointness '(integer 0 (10)) '(integer 10 (20))) |
223 |
nil) |
nil) |
224 |
|
|
225 |
|
(deftest keyword-and-null-are-disjoint |
226 |
|
(check-disjointness 'keyword 'null) |
227 |
|
nil) |
228 |
|
|
229 |
|
(deftest keyword-and-boolean-are-disjoint |
230 |
|
(check-disjointness 'keyword 'boolean) |
231 |
|
nil) |
232 |
|
|
233 |
|
|
234 |
|
|
235 |
|
|
236 |
|
|
237 |
|
|
238 |
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
239 |
;;; deftype |
;;; deftype |