anchor.diff:  
   ;;;; LET/LET*
   
  -(defclass variable-binding-form (form binding-form-mixin implicit-progn-mixin)
  +(defclass variable-binding-form (form binding-form-mixin implicit-progn-with-declare-mixin)
     ())
   
   (defclass let-form (variable-binding-form)
  
positive.code:                         ;; declare form
                          (let ((declarations (rest form)))
                            (dolist* (dec declarations)
                              (setf env (parse-declaration dec env))))
                          ;; source code, all done
                          (done)))
                (string (if docstring
  
negative.code:                  (extend-env (car arguments)))))))
        (setf (arguments func) (nreverse arguments))
        ;; 2) parse the body
        (multiple-value-setf ((body func) nil (declares func)) (walk-implict-progn func (cddr form) env :declare t))
        ;; all done
        func)))
  
  