Example1

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

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

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