From c82a6195049e77b6df1778c6eef1c7c1b6eacd5e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 12 Dec 2007 18:39:15 +0000 Subject: [PATCH] sandbox doc and API tweaks svn: r7972 original commit: 5a6f8aede320c90a8209942d10f382760d40f10b --- collects/mzlib/sandbox.ss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/mzlib/sandbox.ss b/collects/mzlib/sandbox.ss index 1d3299d..0ddc451 100644 --- 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)))))]