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

Reimplement the test-case macro to typecheck properly

Browse Source
This commit is contained in:
Alexis King 2015-01-07 13:32:48 -08:00 committed by Sam Tobin-Hochstadt
parent 864b0ad5fc
commit 5d2a0392dd
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
typed-racket-more/typed/rackunit/main.rkt
View File

@ -93,11 +93,12 @@
[t:check-around check-around]
[t:current-check-handler current-check-handler]
[t:current-check-around current-check-around])
(define-rewriter t:test-case test-case
[t:current-test-case-around current-test-case-around]
[t:check-around check-around]
[t:current-check-handler current-check-handler]
[t:current-check-around current-check-around])
(define-syntax-rule (test-case name expr ...)
(parameterize
([current-test-name (ann name String)])
(test-begin expr ...)))
(provide test-begin test-case)
(require/opaque-type TestCase test-case? rackunit)