|
|
|---|
|
|
|
|---|
Upcase any list of characters (even non-standard ones).
;; Convert the CHARS from upper to lower case, leaving non-upper-case-letters ;; unchanged. (defund chars-upcase-gen (chars acc) (declare (xargs :guard (and (character-listp chars) (character-listp acc)))) (if (endp chars) (reverse acc) (chars-upcase-gen (rest chars) (cons (char-upcase-gen (first chars)) acc))))