From cc442ef0ec596e9e6921da688498f233f9e88d36 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 12 Aug 2014 17:24:07 -0400 Subject: [PATCH] Fix TR type for current-check-around --- .../typed-racket-more/typed/rackunit/main.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/rackunit/main.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/rackunit/main.rkt index cf4d83958b..f74fce0f64 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/rackunit/main.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/rackunit/main.rkt @@ -171,7 +171,12 @@ (require/typed/provide rackunit [current-check-handler - (Parameter (Any -> Any))] + (Parameter (-> (U (Rec flat + (U Boolean Complex Char + Null Symbol String + Keyword (Pairof flat flat))) + exn) + Any))] [current-check-around (Parameter ((Thunk Any) -> Any))])