From e78788ce0ea2eca81c4d9c1c970dd3de1dd07e53 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 6 Jun 2008 17:19:53 +0000 Subject: [PATCH] Run tests in new namespaces. svn: r10180 original commit: d9134861c45c593f50b6add3fe95ef00f27d457a --- collects/tests/typed-scheme/main.ss | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-scheme/main.ss b/collects/tests/typed-scheme/main.ss index 9a52fa48..d7dfca88 100644 --- a/collects/tests/typed-scheme/main.ss +++ b/collects/tests/typed-scheme/main.ss @@ -58,10 +58,12 @@ tests))) (define succ-tests (mk-tests "succeed" - (lambda (p) (dynamic-require `(file ,(path->string p)) #f)) + (lambda (p) (parameterize ([current-namespace (make-base-empty-namespace)]) + (dynamic-require `(file ,(path->string p)) #f))) (lambda (p thnk) (check-not-exn thnk)))) (define fail-tests (mk-tests "fail" - (lambda (p) (dynamic-require `(file ,(path->string p)) #f)) + (lambda (p) (parameterize ([current-namespace (make-base-empty-namespace)]) + (dynamic-require `(file ,(path->string p)) #f))) (lambda (p thnk) (define-values (pred info) (exn-pred p)) (with-check-info