anchor.diff:  		 (ignore-info (find-ignore-info entry env))
   		 (dynamic-extent-p (find-dynamic-extent-info entry env)))
   	     (make-instance (if (typep entry 'global-function-entry)
  -				'global-location-info
  -				'lexical-location-info)
  +				'global-function-location-info
  +				'lexical-function-location-info)
   			    :location (location entry)
   			    :type type
   			    :inline-info inline-info
  +			    :ast (ast entry)
  +			    :lambda-list (lambda-list entry)
   			    :ignore-info ignore-info
   			    :dynamic-extent-p dynamic-extent-p))))))
   
  
positive.code: (defclass location-info (info)
    ((%location :initarg :location :reader location)
     (%type :initarg :type :reader type)
     (%inline-info :initarg :inline-info :reader inline-info)
     (%ignore-info :initarg :ignore-info :reader ignore-info)
     (%dynamic-extent-p :initarg :dynamic-extent-p :reader dynamic-extent-p)))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Class SPECIAL-LOCATION-INFO.
  
negative.code: 
  (defclass function-entry
      (base-entry named-entry function-space location-entry)
    (;; The AST is present if the function was declared INLINE when it
     ;; was defined.  Otherwise, the value of this slot is NIL.
     (%ast :initform nil :initarg :ast :accessor ast)
     ;; When the AST i present (i.e., non-NIL), this slot is valid and
     ;; contains a list of LEXICAL-ASTs, one for each required
     ;; parameter.
     (%parameters :initform nil :initarg :parameters :accessor parameters)
     (%lambda-list :initform :none :initarg :lambda-list :accessor lambda-list)))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  