diff --git a/collects/handin-server/checker.ss b/collects/handin-server/checker.ss index a80d3ff831..8d5d1fc9f2 100644 --- a/collects/handin-server/checker.ss +++ b/collects/handin-server/checker.ss @@ -651,6 +651,9 @@ (define (procedure/arity? proc arity) (and (procedure? proc) (procedure-arity-includes? proc arity))) +(define (get-namespace evaluator) + (call-in-sandbox-context evaluator (lambda () (current-namespace)))) + (provide !defined) (define-syntax-rule (!defined id ...) ;; expected to be used only with identifiers