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))])