sicp-ex-5.43

  
  
 ;; we just need use scan-out-defines here change lambda-body to 
 ;; equivalent expression. 
 (define (compile-lambda-body exp proc-entry ct-env) 
   (let ((formals (lambda-parameters exp))) 
     (append-instruction-sequences 
       (make-instruction-sequence '(env proc argl) '(env) 
         `(,proc-entry 
           (assign env (op compiled-procedure-env) (reg proc)) 
           (assign env 
                   (op extend-environment) 
                   (const ,formals) 
                   (reg argl) 
                   (reg env)))) 
       (compile-sequence 
         (scan-out-defines (lambda-body exp)) 
         'val 'return 
         (extend-ct-env ct-env formals)))))