36 |
(integer -10000000000000000000000000000000000 |
(integer -10000000000000000000000000000000000 |
37 |
10000000000000000000000000000000000) |
10000000000000000000000000000000000) |
38 |
float |
float |
39 |
|
short-float |
40 |
single-float |
single-float |
41 |
double-float |
double-float |
42 |
complex |
complex |
73 |
(%foo)) |
(%foo)) |
74 |
t) |
t) |
75 |
|
|
76 |
|
(deftest upgraded-array-element-type.7 |
77 |
|
(let ((upgraded-types (mapcar #'upgraded-array-element-type |
78 |
|
*upgraded-array-types-to-check*))) |
79 |
|
(loop for type in *upgraded-array-types-to-check* |
80 |
|
for upgraded-type in upgraded-types |
81 |
|
append |
82 |
|
(loop for type2 in *upgraded-array-types-to-check* |
83 |
|
for upgraded-type2 in upgraded-types |
84 |
|
when (and (subtypep type type2) |
85 |
|
(equal (subtypep* upgraded-type upgraded-type) |
86 |
|
'(nil t))) |
87 |
|
collect (list type type2)))) |
88 |
|
nil) |
89 |
|
|
90 |
;;; Tests of upgrading NIL (it should be type equivalent to NIL) |
;;; Tests of upgrading NIL (it should be type equivalent to NIL) |
91 |
|
|
92 |
(deftest upgraded-array-element-type.nil.1 |
(deftest upgraded-array-element-type.nil.1 |