From 237506faede444994cafa9ff24dfc13c22f0f161 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 16 Jan 2007 06:18:04 +0000 Subject: [PATCH] fixed bug with evaluation of uncovered exprs svn: r5362 --- collects/handin-server/sandbox.ss | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/handin-server/sandbox.ss b/collects/handin-server/sandbox.ss index 06ed4c7483..df4284f882 100644 --- a/collects/handin-server/sandbox.ss +++ b/collects/handin-server/sandbox.ss @@ -129,7 +129,8 @@ `(begin ,language ,@body)] [else (error 'make-evaluator "Bad language specification: ~e" - language)])]) + language)])] + [ns (current-namespace)]) (when uncovered! (safe-eval '(require (lib "coverage.ss" "handin-server" "private")))) (safe-eval body) @@ -140,7 +141,8 @@ (current-namespace (module->namespace mod)))) (when uncovered! (uncovered! (filter (lambda (x) (eq? 'program (syntax-source x))) - (safe-eval '(get-uncovered-expressions))))))) + (parameterize ([current-namespace ns]) + (safe-eval '(get-uncovered-expressions)))))))) (define current-eventspace (mz/mr (make-parameter #f) current-eventspace)) (define make-eventspace (mz/mr void make-eventspace))