sandbox doc and API tweaks

svn: r7972 original commit: 5a6f8aede320c90a8209942d10f382760d40f10b
2007-12-12 18:39:15 +00:00 · 2007-12-12 18:39:15 +00:00 · c82a619504
commit c82a619504
parent 2ae2c75f25
1 changed files with 3 additions and 3 deletions
--- a/collects/mzlib/sandbox.ss
+++ b/collects/mzlib/sandbox.ss
@ -26,13 +26,13 @@
               [lang (or lang '(begin))])
           (keyword-apply
            make-evaluator
-            '(#:allow-read)
-            (list (extract-requires lang reqs))
+            '(#:allow-read #:requires)
+            (list (extract-requires lang reqs)
+                  (if beg-req? null reqs))
            (case lang
              [(r5rs beginner beginner-abbr intermediate intermediate-lambda advanced)
               (list 'special lang)]
              [else lang])
-            (if beg-req? null reqs)
            (append
             (if beg-req? (cdr reqs) null)
             progs)))))]