From bb3ad320bf6df1517d7705792d3f7723e33feac5 Mon Sep 17 00:00:00 2001 From: Spencer Florence Date: Tue, 13 Jan 2015 23:53:36 -0500 Subject: [PATCH] removed unneeded namespace bleeding --- cover.rkt | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/cover.rkt b/cover.rkt index 6f64447..9f16a58 100644 --- a/cover.rkt +++ b/cover.rkt @@ -105,13 +105,8 @@ ;; -> Void ;; clear coverage map (define (clear-coverage!) - ;(dict-clear! coverage) - (set! ns (make-empty-namespace)) - (namespace-attach-module (current-namespace) ''#%builtin ns) - (namespace-attach-module (current-namespace) ''#%kernel ns) - (namespace-attach-module (current-namespace) 'racket/base ns) + (set! ns (make-base-namespace)) (parameterize ([current-namespace ns]) - (namespace-require 'racket/base) (namespace-require `(file ,(path->string cov))) (namespace-require `(file ,(path->string strace))) (namespace-require 'rackunit))