55 |
(deftest upgraded-array-element-type.4 |
(deftest upgraded-array-element-type.4 |
56 |
(loop for type in *upgraded-array-types-to-check* |
(loop for type in *upgraded-array-types-to-check* |
57 |
for upgraded-type = (upgraded-array-element-type type) |
for upgraded-type = (upgraded-array-element-type type) |
58 |
always (empirical-subtypep type upgraded-type)) |
unless (empirical-subtypep type upgraded-type) |
59 |
t) |
collect (list type upgraded-type)) |
60 |
|
nil) |
61 |
|
|
62 |
;; Include an environment (NIL, denoting the default null lexical |
;; Include an environment (NIL, denoting the default null lexical |
63 |
;; environment) |
;; environment) |
65 |
(deftest upgraded-array-element-type.5 |
(deftest upgraded-array-element-type.5 |
66 |
(loop for type in *upgraded-array-types-to-check* |
(loop for type in *upgraded-array-types-to-check* |
67 |
for upgraded-type = (upgraded-array-element-type type nil) |
for upgraded-type = (upgraded-array-element-type type nil) |
68 |
always (empirical-subtypep type upgraded-type)) |
unless (empirical-subtypep type upgraded-type) |
69 |
t) |
collect (list type upgraded-type)) |
70 |
|
nil) |
71 |
|
|
72 |
(deftest upgraded-array-element-type.6 |
(deftest upgraded-array-element-type.6 |
73 |
(macrolet |
(macrolet |