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))))))