anchor.diff:                        :datum expr
                         ;; FIXME note that the CONTEXT (EVAL-CONTEXT)
                         ;; should be provided by any calling form
  -                      :context (list (quote defun*) name)
  -                      :lambda-list lambda)))
  +                      :context error-context
  +                      :lambda-list llist)))
              ))))))
   
   
  
positive.code: ;;     UNPARSE-NAMES-FTYPE
  
  
  (defun nparse-forms-declarations (forms &optional previous-decls)
    ;; assumption: any docstring has been removed from FORMS
    ;;
    ;; NB: Handle multiple DECLARE / FIXME handle with a provided callback fn
    ;;
    ;; NB: PREVIOUS-DECLS may be destructively modified, in this
    ;; implementation - thus, the "nparse" prefix on the function's name.
  
    (let ((frst (car forms)))
      (cond
        ((and (consp frst) (eq (car frst) 'declare))
         (nparse-forms-declarations (cdr forms)
                                    (nconc previous-decls
                                           (cdr frst))))
        (t
         ;; TBD If using any intermediate SIGNATURE object, a slot of that
         ;; object can be initialized here.
         (values forms previous-decls)))))
  
  
  (defun parse-named-forms-docs (forms)
  
negative.code:       (t
         (values forms nil)))))
  
  (defun parse-lambda-call-params (llist &optional error-context)
    ;; NB: This function's return value is used together with
    ;; the return value from PARSE-DECLARED-TYPES, for computing
    ;; an FTYPE declaration in UNPARSE-NAMED-FTYPE
  