;;; also delete the FUNCTIONAL from *FREE-FUNCTIONS* to eliminate the
;;; possibility that new references might be converted to it.
(defun finalize-xep-definition (fun)
;;; also delete the FUNCTIONAL from *FREE-FUNCTIONS* to eliminate the
;;; possibility that new references might be converted to it.
(defun finalize-xep-definition (fun)
(defined-ftype (definition-type leaf)))
(setf (leaf-type leaf) defined-ftype)
(when (leaf-has-source-name-p leaf)
(defined-ftype (definition-type leaf)))
(setf (leaf-type leaf) defined-ftype)
(when (leaf-has-source-name-p leaf)