String-upcase
In a given string, turn lower-case characters into upper-case
For a string x, (string-upcase x) is the result of
applying char-upcase to each character in x.
The guard for string-upcase states that its argument is a
string.
String-upcase is a Common Lisp function. See any Common Lisp
documentation for more information. Note that the value returned may depend
on the host Lisp; see soundness, specifically Example 1 in the Section,
“Examples of divergence among Lisp implementations”.
Function: string-upcase
(defun string-upcase (x)
(declare (xargs :guard (stringp x)))
(coerce (string-upcase1 (coerce x 'list))
'string))Subtopics
- Upcase-string
- Convert a string to upper case.
- String-upcase-gen
- Upcase any string (even ones with non-standard characters).
