38 |
(type-error () :caught))) |
(type-error () :caught))) |
39 |
t) |
t) |
40 |
|
|
41 |
|
(deftest string.8 |
42 |
|
(subtypep* '(array nil (*)) 'string) |
43 |
|
t t) |
44 |
|
|
45 |
|
(deftest string.9 |
46 |
|
(subtypep* '(array nil 1) 'string) |
47 |
|
t t) |
48 |
|
|
49 |
|
(deftest string.10 |
50 |
|
(string (make-array '(0) :element-type nil)) |
51 |
|
"") |
52 |
|
|
53 |
|
(deftest string.11 |
54 |
|
(typep* "abcd" 'string) |
55 |
|
t) |
56 |
|
|
57 |
|
(deftest string.12 |
58 |
|
(typep* (make-array '(17) :element-type nil) 'string) |
59 |
|
t) |
60 |
|
|
61 |
|
(deftest string.13 |
62 |
|
(typep* (make-array '(0) :element-type nil) 'string) |
63 |
|
t) |
64 |
|
|
65 |
;;; Tests of base-string |
;;; Tests of base-string |
66 |
|
|
67 |
(deftest base-string.1 |
(deftest base-string.1 |
80 |
(subtypep* 'base-string 'sequence) |
(subtypep* 'base-string 'sequence) |
81 |
t t) |
t t) |
82 |
|
|
83 |
|
(deftest base-string.5 |
84 |
|
(subtypep* '(array nil (*)) 'base-string) |
85 |
|
nil t) |
86 |
|
|
87 |
|
(deftest base-string.6 |
88 |
|
(subtypep* 'string 'base-string) |
89 |
|
nil t) |
90 |
|
|
91 |
;;; Tests of simple-string |
;;; Tests of simple-string |
92 |
|
|
93 |
(deftest simple-string.1 |
(deftest simple-string.1 |
110 |
(subtypep* 'simple-string 'sequence) |
(subtypep* 'simple-string 'sequence) |
111 |
t t) |
t t) |
112 |
|
|
113 |
|
(deftest simple-string.6 |
114 |
|
(subtypep* 'simple-string '(simple-array * (*))) |
115 |
|
t t) |
116 |
|
|
117 |
|
(deftest simple-string.7 |
118 |
|
(subtypep* 'simple-string '(simple-array * 1)) |
119 |
|
t t) |
120 |
|
|
121 |
|
(deftest simple-string.8 |
122 |
|
(subtypep* 'simple-string '(simple-array character (*))) |
123 |
|
nil t) |
124 |
|
|
125 |
|
(deftest simple-string.9 |
126 |
|
(subtypep* 'simple-string '(simple-array base-char (*))) |
127 |
|
nil t) |
128 |
|
|
129 |
|
(deftest simple-string.10 |
130 |
|
(subtypep* 'simple-string 'simple-base-string) |
131 |
|
nil t) |
132 |
|
|
133 |
|
(deftest simple-string.11 |
134 |
|
(subtypep* '(simple-array nil (*)) 'simple-string) |
135 |
|
t t) |
136 |
|
|
137 |
|
(deftest simple-string.12 |
138 |
|
(typep* (make-array '(0) :element-type nil) 'simple-string) |
139 |
|
t) |
140 |
|
|
141 |
|
(deftest simple-string.13 |
142 |
|
(typep* (make-array '(12) :element-type nil) 'simple-string) |
143 |
|
t) |
144 |
|
|
145 |
;;; Tests for simple-base-string |
;;; Tests for simple-base-string |
146 |
|
|
147 |
(deftest simple-base-string.1 |
(deftest simple-base-string.1 |
176 |
(subtypep* 'simple-base-string 'simple-vector) |
(subtypep* 'simple-base-string 'simple-vector) |
177 |
nil t) |
nil t) |
178 |
|
|
179 |
|
(deftest simple-base-string.9 |
180 |
|
(subtypep* '(simple-array nil (*)) 'simple-base-string) |
181 |
|
nil t) |
182 |
|
|
183 |
|
(deftest simple-base-string.10 |
184 |
|
(typep* (make-array '(0) :element-type nil) 'simple-base-string) |
185 |
|
nil) |
186 |
|
|
187 |
|
(deftest simple-base-string.11 |
188 |
|
(typep* (make-array '(12) :element-type nil) 'simple-base-string) |
189 |
|
nil) |
190 |
|
|
191 |
;;; Tests for simple-string-p |
;;; Tests for simple-string-p |
192 |
|
|
193 |
(deftest simple-string-p.1 |
(deftest simple-string-p.1 |
198 |
t) |
t) |
199 |
|
|
200 |
(deftest simple-string-p.2 |
(deftest simple-string-p.2 |
201 |
(notnot (simple-string-p "ancd")) |
(notnot-mv (simple-string-p "ancd")) |
202 |
t) |
t) |
203 |
|
|
204 |
(deftest simple-string-p.3 |
(deftest simple-string-p.3 |
212 |
nil) |
nil) |
213 |
|
|
214 |
(deftest simple-string-p.5 |
(deftest simple-string-p.5 |
215 |
(notnot (simple-string-p (make-array |
(notnot-mv |
216 |
4 :element-type 'base-char |
(simple-string-p (make-array |
217 |
:initial-contents '(#\a #\a #\a #\b)))) |
4 :element-type 'base-char |
218 |
|
:initial-contents '(#\a #\a #\a #\b)))) |
219 |
t) |
t) |
220 |
|
|
221 |
(deftest simple-string-p.6 |
(deftest simple-string-p.6 |
222 |
(notnot (simple-string-p (make-array |
(notnot-mv |
223 |
4 :element-type 'standard-char |
(simple-string-p (make-array |
224 |
:initial-contents '(#\a #\a #\a #\b)))) |
4 :element-type 'standard-char |
225 |
|
:initial-contents '(#\a #\a #\a #\b)))) |
226 |
t) |
t) |
227 |
|
|
228 |
(deftest simple-string-p.7 |
(deftest simple-string-p.7 |
234 |
(simple-string-p s2)) |
(simple-string-p s2)) |
235 |
nil) |
nil) |
236 |
|
|
237 |
|
(deftest simple-string-p.8 |
238 |
|
(notnot-mv (simple-string-p (make-array '(0) :element-type nil))) |
239 |
|
t) |
240 |
|
|
241 |
|
(deftest simple-string-p.9 |
242 |
|
(notnot-mv (simple-string-p (make-array '(37) :element-type nil))) |
243 |
|
t) |
244 |
|
|
245 |
;;; Tests of stringp |
;;; Tests of stringp |
246 |
|
|
247 |
(deftest stringp.1 |
(deftest stringp.1 |
286 |
:displaced-index-offset 2))) |
:displaced-index-offset 2))) |
287 |
(notnot (stringp s2))) |
(notnot (stringp s2))) |
288 |
t) |
t) |
289 |
|
|
290 |
|
(deftest stringp.9 |
291 |
|
(notnot-mv (stringp (make-array '(0) :element-type nil))) |
292 |
|
t) |
293 |
|
|
294 |
|
(deftest stringp.10 |
295 |
|
(notnot-mv (stringp (make-array '(37) :element-type nil))) |
296 |
|
t) |