suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Run tests in new namespaces.

Browse Source 
svn: r10180
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-06 17:19:53 +00:00
parent 26d4346984
commit d9134861c4
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-scheme/main.ss
View File

@ -58,10 +58,12 @@
tests))) tests)))
(define succ-tests (mk-tests "succeed" (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)))) (lambda (p thnk) (check-not-exn thnk))))
(define fail-tests (mk-tests "fail" (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) (lambda (p thnk)
(define-values (pred info) (exn-pred p)) (define-values (pred info) (exn-pred p))
(with-check-info (with-check-info