From 61d747dc969215c2cddbdceb0c658f13df61797a Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 14 Nov 2008 05:02:28 +0000 Subject: [PATCH] hack around namespace-variable-value problem svn: r12441 --- collects/handin-server/checker.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/handin-server/checker.ss b/collects/handin-server/checker.ss index 8bc5685e17..b6acefa943 100644 --- a/collects/handin-server/checker.ss +++ b/collects/handin-server/checker.ss @@ -660,8 +660,8 @@ (lambda (_) (error* "bound to a syntax, expecting a value: ~e" (->disp 'id)))]) - (namespace-variable-value `id #t #f - (get-namespace (submission-eval)))) + (parameterize ([current-namespace (get-namespace (submission-eval))]) + (namespace-variable-value `id))) ...)) (provide !syntax) @@ -671,8 +671,8 @@ [exn:fail:contract:variable? (lambda (_) (error* "missing binding: ~e" (->disp 'id)))]) - (namespace-variable-value `id #t #f - (get-namespace (submission-eval))) + (parameterize ([current-namespace (get-namespace (submission-eval))]) + (namespace-variable-value `id)) (error* "bound to a value, expecting a syntax: ~e" (->disp 'id))) ...))