19 |
|
|
20 |
(deftest string.4 |
(deftest string.4 |
21 |
(let ((s (string #\a))) |
(let ((s (string #\a))) |
22 |
(values (stringp s) s)) |
(values (notnot (stringp s)) s)) |
23 |
t "a") |
t "a") |
24 |
|
|
25 |
(deftest string.5 |
(deftest string.5 |
26 |
(let ((s (string ""))) |
(let ((s (string ""))) |
27 |
(values (stringp s) s)) |
(values (notnot (stringp s)) s)) |
28 |
t "") |
t "") |
29 |
|
|
30 |
(deftest string.6 |
(deftest string.6 |
31 |
(let ((s (string '|FOO|))) |
(let ((s (string '|FOO|))) |
32 |
(values (stringp s) s)) |
(values (notnot (stringp s)) s)) |
33 |
t "FOO") |
t "FOO") |
34 |
|
|
35 |
(deftest string.7 |
(deftest string.7 |
122 |
t) |
t) |
123 |
|
|
124 |
(deftest simple-string-p.2 |
(deftest simple-string-p.2 |
125 |
(not (not (simple-string-p "ancd"))) |
(notnot (simple-string-p "ancd")) |
126 |
t) |
t) |
127 |
|
|
128 |
(deftest simple-string-p.3 |
(deftest simple-string-p.3 |
136 |
nil) |
nil) |
137 |
|
|
138 |
(deftest simple-string-p.5 |
(deftest simple-string-p.5 |
139 |
(not (not (simple-string-p (make-array |
(notnot (simple-string-p (make-array |
140 |
4 :element-type 'base-char |
4 :element-type 'base-char |
141 |
:initial-contents '(#\a #\a #\a #\b))))) |
:initial-contents '(#\a #\a #\a #\b)))) |
142 |
t) |
t) |
143 |
|
|
144 |
(deftest simple-string-p.6 |
(deftest simple-string-p.6 |
145 |
(not (not (simple-string-p (make-array |
(notnot (simple-string-p (make-array |
146 |
4 :element-type 'standard-char |
4 :element-type 'standard-char |
147 |
:initial-contents '(#\a #\a #\a #\b))))) |
:initial-contents '(#\a #\a #\a #\b)))) |
148 |
t) |
t) |
149 |
|
|
150 |
(deftest simple-string-p.7 |
(deftest simple-string-p.7 |
166 |
t) |
t) |
167 |
|
|
168 |
(deftest stringp.2 |
(deftest stringp.2 |
169 |
(not (not (stringp "abcd"))) |
(notnot (stringp "abcd")) |
170 |
t) |
t) |
171 |
|
|
172 |
(deftest stringp.3 |
(deftest stringp.3 |
173 |
(not (not (stringp (make-array 4 :element-type 'character |
(notnot (stringp (make-array 4 :element-type 'character |
174 |
:initial-contents '(#\a #\b #\c #\d))))) |
:initial-contents '(#\a #\b #\c #\d)))) |
175 |
t) |
t) |
176 |
|
|
177 |
(deftest stringp.4 |
(deftest stringp.4 |
178 |
(not (not (stringp (make-array 4 :element-type 'base-char |
(notnot (stringp (make-array 4 :element-type 'base-char |
179 |
:initial-contents '(#\a #\b #\c #\d))))) |
:initial-contents '(#\a #\b #\c #\d)))) |
180 |
t) |
t) |
181 |
|
|
182 |
(deftest stringp.5 |
(deftest stringp.5 |
183 |
(not (not (stringp (make-array 4 :element-type 'standard-char |
(notnot (stringp (make-array 4 :element-type 'standard-char |
184 |
:initial-contents '(#\a #\b #\c #\d))))) |
:initial-contents '(#\a #\b #\c #\d)))) |
185 |
t) |
t) |
186 |
|
|
187 |
(deftest stringp.6 |
(deftest stringp.6 |
198 |
(s2 (make-array 4 :element-type 'character |
(s2 (make-array 4 :element-type 'character |
199 |
:displaced-to s |
:displaced-to s |
200 |
:displaced-index-offset 2))) |
:displaced-index-offset 2))) |
201 |
(not (not (stringp s2)))) |
(notnot (stringp s2))) |
202 |
t) |
t) |