From b2f68b7c28647542f83fd1a63dace1c1a1ff2d90 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 24 Mar 2007 10:39:32 +0000 Subject: [PATCH] two missing exports svn: r5819 --- collects/handin-server/sandbox.ss | 22 +++------------------- 1 file changed, 3 insertions(+), 19 deletions(-) diff --git a/collects/handin-server/sandbox.ss b/collects/handin-server/sandbox.ss index 6a1abcd073..ae625f956e 100644 --- a/collects/handin-server/sandbox.ss +++ b/collects/handin-server/sandbox.ss @@ -13,7 +13,9 @@ sandbox-output get-output get-uncovered-expressions - make-evaluator) + make-evaluator + call-with-limits + with-limits) (define mred? (with-handlers ([void (lambda (_) #f)]) @@ -159,24 +161,6 @@ (get-module-code (car todo)))) list)))) (cons path r)))]))) - ;; (define (module-spec->paths mod) - ;; (let loop ([todo (list (simplify-path* (resolve-module-path mod #f)))] - ;; [r '()]) - ;; (cond - ;; [(null? todo) r] - ;; [(member (car todo) r) (loop (cdr todo) r)] - ;; [else - ;; (let ([path (car todo)]) - ;; (loop (map (lambda (i) - ;; (simplify-path* (resolve-module-path-index i path))) - ;; (filter module-path-index? - ;; (apply append - ;; (call-with-values - ;; (lambda () - ;; (module-compiled-imports - ;; (get-module-code (car todo)))) - ;; list)))) - ;; (cons path r)))]))) ;; Execution ----------------------------------------------------------------