Fix contract for contracted TR tests

2015-01-21 13:53:53 -05:00 · 2015-01-21 13:53:53 -05:00 · 8e63b14f4c
commit 8e63b14f4c
parent 4ab7ba2578
1 changed files with 2 additions and 1 deletions
--- a/typed-racket-lib/typed-racket/typecheck/error-message.rkt
+++ b/typed-racket-lib/typed-racket/typecheck/error-message.rkt
@ -18,7 +18,8 @@
                             (-or/c Type/c string?)
                             -any)]
                       [type-mismatch
-                        (-->* ((-or/c Type/c string?) (-or/c Type/c string?))
+                        (-->* ((-or/c Type/c Filter? string?)
+                               (-or/c Type/c Filter? string?))
                              ((-or/c string? #f))
                              -any)])