+\f
+;;;; function names and documentation
+
+;;;; the ANSI interface to function names (and to other stuff too)
+;;; Note: this function gets called by the compiler (as of 1.0.17.x,
+;;; in MAYBE-INLINE-SYNTACTIC-CLOSURE), and so although ANSI says
+;;; we're allowed to return NIL here freely, it seems plausible that
+;;; small changes to the circumstances under which this function
+;;; returns non-NIL might have subtle consequences on the compiler.
+;;; So it might be desirable to have the compiler not rely on this
+;;; function, eventually.
+(defun function-lambda-expression (fun)
+ "Return (VALUES DEFINING-LAMBDA-EXPRESSION CLOSURE-P NAME), where
+ DEFINING-LAMBDA-EXPRESSION is NIL if unknown, or a suitable argument
+ to COMPILE otherwise, CLOSURE-P is non-NIL if the function's definition
+ might have been enclosed in some non-null lexical environment, and
+ NAME is some name (for debugging only) or NIL if there is no name."
+ (declare (type function fun))
+ (etypecase fun
+ #!+sb-eval
+ (sb!eval:interpreted-function
+ (let ((name (sb!eval:interpreted-function-name fun))
+ (lambda-list (sb!eval:interpreted-function-lambda-list fun))
+ (body (sb!eval:interpreted-function-body fun)))
+ (values `(lambda ,lambda-list ,@body)
+ t name)))
+ (function
+ (let* ((fun (%simple-fun-self (%fun-fun fun)))
+ (name (%fun-name fun))
+ (code (sb!di::fun-code-header fun))
+ (info (sb!kernel:%code-debug-info code)))
+ (if info
+ (let ((source (sb!c::debug-info-source info)))
+ (cond ((and (sb!c::debug-source-form source)
+ (eq (sb!c::debug-source-function source) fun))
+ (values (sb!c::debug-source-form source)
+ nil
+ name))
+ ((legal-fun-name-p name)
+ (let ((exp (fun-name-inline-expansion name)))
+ (values exp (not exp) name)))
+ (t
+ (values nil t name))))
+ (values nil t name))))))
+
+;;;; Generalizing over SIMPLE-FUN, CLOSURE, and FUNCALLABLE-INSTANCEs
+
+;;; Underlying SIMPLE-FUN
+(defun %fun-fun (function)
+ (declare (function function))
+ (typecase function
+ (simple-fun
+ function)
+ (closure
+ (%closure-fun function))
+ (funcallable-instance
+ (%fun-fun (funcallable-instance-fun function)))))
+
+(defun %fun-lambda-list (function)
+ (typecase function
+ #!+sb-eval
+ (sb!eval:interpreted-function
+ (sb!eval:interpreted-function-debug-lambda-list function))
+ (t
+ (%simple-fun-arglist (%fun-fun function)))))
+
+(defun (setf %fun-lambda-list) (new-value function)
+ (typecase function
+ #!+sb-eval
+ (sb!eval:interpreted-function
+ (setf (sb!eval:interpreted-function-debug-lambda-list function) new-value))
+ ;; FIXME: Eliding general funcallable-instances for now.
+ ((or simple-fun closure)
+ (setf (%simple-fun-arglist (%fun-fun function)) new-value)))
+ new-value)
+
+(defun %fun-type (function)
+ (%simple-fun-type (%fun-fun function)))