Formal->longname
- Signature
(formal->longname x) → longname
- Arguments
- x — Guard (formal-p x).
- Returns
- longname — Type (stringp longname).
Definitions and Theorems
Function: formal->longname
(defun formal->longname (x)
(declare (xargs :guard (formal-p x)))
(let ((__function__ 'formal->longname))
(declare (ignorable __function__))
(b* (((formal x) x)
(longname (cdr (assoc :longname x.opts)))
((when (and (stringp longname)
(not (equal longname ""))))
longname)
((when longname)
(raise "In ~x0, :longname must be ~s1, but found: ~x2"
x.name
(if (stringp longname)
"nonempty"
"a string")
longname)
""))
(str::downcase-string (symbol-name x.name)))))
