From 5d2a0392dd896819d8a526f0a37651a0b9152bb3 Mon Sep 17 00:00:00 2001 From: Alexis King Date: Wed, 7 Jan 2015 13:32:48 -0800 Subject: [PATCH] Reimplement the test-case macro to typecheck properly --- typed-racket-more/typed/rackunit/main.rkt | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/typed-racket-more/typed/rackunit/main.rkt b/typed-racket-more/typed/rackunit/main.rkt index f74fce0f..9f948a86 100644 --- a/typed-racket-more/typed/rackunit/main.rkt +++ b/typed-racket-more/typed/rackunit/main.rkt @@ -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)