diff --git a/collects/handin-server/checker.ss b/collects/handin-server/checker.ss index 58cbbb2f7f..7067f79ef2 100644 --- a/collects/handin-server/checker.ss +++ b/collects/handin-server/checker.ss @@ -695,7 +695,7 @@ (provide !all-covered) (define (!all-covered) - (let ([uncovered ((submission-eval) #f 'uncovered-expressions)]) + (let ([uncovered (get-uncovered-expressions (submission-eval))]) (cond [(pair? uncovered) (let ([stx (car uncovered)]) (when stx diff --git a/collects/handin-server/doc.txt b/collects/handin-server/doc.txt index 4debb8844d..054c70c3d1 100644 --- a/collects/handin-server/doc.txt +++ b/collects/handin-server/doc.txt @@ -603,7 +603,8 @@ by this function. > get-uncovered-expressions A special value that, when passed to an evaluator created by - `make-evaluator', will return a list of uncovered syntax objects. + `make-evaluator' or applied on one, will return a list of uncovered + syntax objects. > namespace-specs A parameter that holds a list of values that specify how to create a diff --git a/collects/handin-server/sandbox.ss b/collects/handin-server/sandbox.ss index 059b422e1f..c2297fcd16 100644 --- a/collects/handin-server/sandbox.ss +++ b/collects/handin-server/sandbox.ss @@ -146,7 +146,7 @@ (define make-eventspace (mz/mr void make-eventspace)) (define run-in-bg (mz/mr thread queue-callback)) - (define get-uncovered-expressions "get-uncovered-expressions") + (define (get-uncovered-expressions eval) (eval get-uncovered-expressions)) (define (make-evaluator language teachpacks input-program) (let ([coverage-enabled (coverage-enabled)]