Example2

;; ------------------------------------------------------------------------------------------
;; 1
#lang racket/base
(define (f)
  (define z
    (let ([x 10]
          [y 10])
    (+ x y)))
  z)
; ==>
(module test2 racket/base
  (#%module-begin
   (define-values (f)
     (lambda ()
       (let-values (((z)
                     (let-values (((x) (quote 10)) ((y) (quote 10))) (#%app + x y)))) z)))))

;; ------------------------------------------------------------------------------------------
;; 2
#lang racket/base
(define (f)
  (define z
    (let ()
      (define x 10)
      (define y 10)
      (+ x y)))
  z)
; ==>
(module test2 racket/base
  (#%module-begin
   (define-values (f)
     (lambda ()
       (let-values (((z)
                     (let-values ()
                       (let-values (((x) (quote 10))) (let-values (((y) (quote 10))) (#%app + x y)))))) z)))))

;; ------------------------------------------------------------------------------------------
;; 3
#lang racket/base
(require racket/block)
(define (f)
  (define z
    (block
     (define x 10)
     (define y 10)
     (+ x y)))
  z)
; ==>
(module test2 racket/base
  (#%module-begin
   (#%require racket/block)
   (define-values (f)
     (lambda ()
       (let-values (((z)
                     (let-values (((x) (quote 10))) (let-values (((y) (quote 10))) (#%app + x y))))) z)))))