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

Make TR test infrastructure support being run from different directories.

Browse Source 
original commit: cdb77cd4f030677b0dd400ca5febdf087a378a6a
This commit is contained in:
Eric Dobson 2014-03-14 22:15:19 -07:00
parent 4012a728f4
commit fd2f8bb33d
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/main.rkt
View File

@ -117,19 +117,21 @@
(define-values (path p b) (split-path p*))
(define f
(let ([dir (path->string path)])
(cond [(equal? dir "fail/")
(cond [(regexp-match? #rx"fail/$" dir )
(lambda (p thnk)
(define-values (pred info) (exn-pred p))
(parameterize ([error-display-handler void])
(with-check-info
(['predicates info])
(check-exn pred thnk))))]
[(equal? dir "succeed/")
[(regexp-match? #rx"succeed/$" dir)
(lambda (p thnk) (check-not-exn thnk))]
[(equal? dir "optimizer/tests/")
[(regexp-match? #rx"optimizer/tests/$" dir)
(lambda (p* thnk) (test-opt p))]
[(equal? dir "optimizer/missed-optimizations/")
(lambda (p* thnk) (test-missed-optimization p))])))
[(regexp-match? #rx"optimizer/missed-optimizations/$" dir)
(lambda (p* thnk) (test-missed-optimization p))]
[else
(error 'just-one "Unknown test kind for test: ~a" p*)])))
(test-suite
(path->string p)
(f