More cleanups

1 files changed, 10 insertions, 0 deletions

diff --git a/src/interp/i-spec1.boot b/src/interp/i-spec1.boot
index c3c0179a..16405b14 100644
--- a/src/interp/i-spec1.boot
+++ b/src/interp/i-spec1.boot
@@ -844,6 +844,16 @@ checkForFreeVariables(v,locals) ==
           ["getSimpleArrayEntry","envArg",positionInVec(0,#($freeVariables))]
         ["SETF",newvar,checkForFreeVariables(form,locals)]
       error "Non-simple variable bindings are not currently supported"
+    op in '(LET LET_* %Bind) =>
+      vars := [first init for init in first args]
+      inits := [checkInit(init,locals) for init in first args] where
+                  checkInit([var,init],locals) ==
+                     init := checkForFreeVariables(init,locals)
+                     $boundVariables := [var,:$boundVariables]
+                     [var,init]
+      body := checkForFreeVariables(rest args,locals)
+      $boundVariables := setDifference($boundVariables,vars)
+      [op,inits,:body]
     op = "PROG" =>
       error "Non-simple variable bindings are not currently supported"
     [op,:[checkForFreeVariables(a,locals) for a in args]]