Fix TR type for current-check-around

original commit: cc442ef0ec596e9e6921da688498f233f9e88d36
2014-08-12 17:24:07 -04:00 · 2014-08-12 17:24:07 -04:00 · 6d612c4627
commit 6d612c4627
parent 8b0f2f573a
1 changed files with 6 additions and 1 deletions
--- 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))])