85 |
(string-downcase (make-array '(0) :element-type nil)) |
(string-downcase (make-array '(0) :element-type nil)) |
86 |
"") |
"") |
87 |
|
|
88 |
|
(deftest string-downcase.12 |
89 |
|
(loop for type in '(standard-char base-char character) |
90 |
|
for s = (make-array '(10) :element-type type |
91 |
|
:fill-pointer 5 |
92 |
|
:initial-contents "aB0cDefGHi") |
93 |
|
collect (list s (string-downcase s))) |
94 |
|
(("aB0cD" "ab0cd") ("aB0cD" "ab0cd") ("aB0cD" "ab0cd"))) |
95 |
|
|
96 |
|
|
97 |
|
(deftest string-downcase.13 |
98 |
|
(loop for type in '(standard-char base-char character) |
99 |
|
for s0 = (make-array '(10) :element-type type |
100 |
|
:initial-contents "zZaB0cDefG") |
101 |
|
for s = (make-array '(5) :element-type type |
102 |
|
:displaced-to s0 |
103 |
|
:displaced-index-offset 2) |
104 |
|
collect (list s (string-downcase s))) |
105 |
|
(("aB0cD" "ab0cd") ("aB0cD" "ab0cd") ("aB0cD" "ab0cd"))) |
106 |
|
|
107 |
|
(deftest string-downcase.14 |
108 |
|
(loop for type in '(standard-char base-char character) |
109 |
|
for s = (make-array '(5) :element-type type |
110 |
|
:adjustable t |
111 |
|
:initial-contents "aB0cD") |
112 |
|
collect (list s (string-downcase s))) |
113 |
|
(("aB0cD" "ab0cd") ("aB0cD" "ab0cd") ("aB0cD" "ab0cd"))) |
114 |
|
|
115 |
|
;;; Order of evaluation tests |
116 |
|
|
117 |
(deftest string-downcase.order.1 |
(deftest string-downcase.order.1 |
118 |
(let ((i 0) a b c (s (copy-seq "ABCDEF"))) |
(let ((i 0) a b c (s (copy-seq "ABCDEF"))) |
119 |
(values |
(values |