Fix TR type for current-check-around

2014-08-12 17:24:07 -04:00 · 2014-08-12 17:24:07 -04:00 · cc442ef0ec
commit cc442ef0ec
parent a266d623aa
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))])