8 |
(deftest make-string.1 |
(deftest make-string.1 |
9 |
(let ((s (make-string 10))) |
(let ((s (make-string 10))) |
10 |
(and (stringp s) |
(and (stringp s) |
11 |
;; (string-all-the-same s) |
#+:ansi-tests-strict-initial-element |
12 |
|
(string-all-the-same s) |
13 |
(eqlt (length s) 10) |
(eqlt (length s) 10) |
14 |
)) |
)) |
15 |
t) |
t) |
53 |
(let ((s (make-string 10 :element-type 'character))) |
(let ((s (make-string 10 :element-type 'character))) |
54 |
(and (stringp s) |
(and (stringp s) |
55 |
(eqlt (length s) 10) |
(eqlt (length s) 10) |
56 |
#| (string-all-the-same s) |# |
#+:ansi-tests-strict-initial-element |
57 |
|
(string-all-the-same s) |
58 |
)) |
)) |
59 |
t) |
t) |
60 |
|
|
62 |
(let ((s (make-string 10 :element-type 'standard-char))) |
(let ((s (make-string 10 :element-type 'standard-char))) |
63 |
(and (stringp s) |
(and (stringp s) |
64 |
(eqlt (length s) 10) |
(eqlt (length s) 10) |
65 |
#| (string-all-the-same s) |# |
#+:ansi-tests-strict-initial-element |
66 |
|
(string-all-the-same s) |
67 |
)) |
)) |
68 |
t) |
t) |
69 |
|
|
71 |
(let ((s (make-string 10 :element-type 'base-char))) |
(let ((s (make-string 10 :element-type 'base-char))) |
72 |
(and (stringp s) |
(and (stringp s) |
73 |
(eqlt (length s) 10) |
(eqlt (length s) 10) |
74 |
#| (string-all-the-same s) |# |
#+:ansi-tests-strict-initial-element |
75 |
|
(string-all-the-same s) |
76 |
)) |
)) |
77 |
t) |
t) |
78 |
|
|