let* added to the language

[sicp.git] / src / sicp / metacircular2.rkt

diff --git a/src/sicp/metacircular2.rkt b/src/sicp/metacircular2.rkt
index 7196c941ebe6bc3aad35d5de3faddac3064c70ba..7bc5f0209bd97e750cfea624a2fa1713033c5e41 100644 (file)
--- a/src/sicp/metacircular2.rkt
+++ b/src/sicp/metacircular2.rkt
@@ -172,6 +172,13 @@
                [`((,var ,val) ...) bindings])
     `((lambda ,var ,body) ,@val)))
 
+;; let*
+(define (let*->nested-lets lexpr)
+  (match lexpr
+    [`(let* (,first-binding ,rest-bindings ...) ,body)
+     `(let (,first-binding) ,(let*->nested-lets `(let* ,rest-bindings ,body)))]
+     [`(let* () ,body) body]))
+
 ;; eval
 (define (eval exp env)
   (match exp
@@ -186,6 +193,7 @@
     [`(begin ,exp ...) (eval-sequence exp env)]
     [`(cond ,clauses ...) (eval (cond->if clauses) env)]
     [`(let ,bindings ,body) (eval (let->combination exp) env)]
+    [`(let* ,bindings ,body) (eval (let*->nested-lets exp) env)]
     [(list f x ...) (apply (eval f env) (list-of-values x env))]
     [_ (error "unable to evaluate expression -- EVAL " exp)]))