28 |
base-char |
base-char |
29 |
character |
character |
30 |
t |
t |
31 |
|
,@(loop for i from 0 to 32 collect `(eql ,(ash 1 i))) |
32 |
|
,@(loop for i from 0 to 32 collect `(eql ,(1- (ash 1 i)))) |
33 |
|
(eql -1) |
34 |
,@(loop for i from 0 to 32 |
,@(loop for i from 0 to 32 |
35 |
collect `(integer 0 (,(ash 1 i)))) |
collect `(integer 0 (,(ash 1 i)))) |
36 |
symbol |
symbol |
90 |
collect (list type type2)))) |
collect (list type type2)))) |
91 |
nil) |
nil) |
92 |
|
|
93 |
|
;;; Tests that if Tx is a subtype of Ty, then UAET(Tx) is a subtype |
94 |
|
;;; of UAET(Ty) (see section 15.1.2.1, paragraph 3) |
95 |
|
|
96 |
|
(deftest upgraded-array-element-type.8 |
97 |
|
(let ((upgraded-types (mapcar #'upgraded-array-element-type |
98 |
|
*upgraded-array-types-to-check*))) |
99 |
|
(loop for type1 in *upgraded-array-types-to-check* |
100 |
|
for uaet1 in upgraded-types |
101 |
|
append |
102 |
|
(loop for type2 in *upgraded-array-types-to-check* |
103 |
|
for uaet2 in upgraded-types |
104 |
|
when (and (subtypep type1 type2) |
105 |
|
(not (empirical-subtypep uaet1 uaet2))) |
106 |
|
collect (list type1 type2)))) |
107 |
|
nil) |
108 |
|
|
109 |
;;; Tests of upgrading NIL (it should be type equivalent to NIL) |
;;; Tests of upgrading NIL (it should be type equivalent to NIL) |
110 |
|
|
111 |
(deftest upgraded-array-element-type.nil.1 |
(deftest upgraded-array-element-type.nil.1 |
114 |
when (typep e uaet-nil) |
when (typep e uaet-nil) |
115 |
collect e)) |
collect e)) |
116 |
nil) |
nil) |
|
|
|
117 |
|
|
118 |
;;; Error tests |
;;; Error tests |
119 |
|
|