-(defun maybe-specifier-for-reparse (type)
- (when (unknown-type-p type)
- (let* ((spec (unknown-type-specifier type))
- (name (if (consp spec)
- (car spec)
- spec)))
- (when (info :type :kind name)
- spec))))
-
-;;; Evil macro.
-(defmacro maybe-reparse-specifier! (type)
- (assert (symbolp type))
- (with-unique-names (spec)
- `(let ((,spec (maybe-specifier-for-reparse ,type)))
- (when ,spec
- (setf ,type (specifier-type ,spec))
- t))))
-