From 8e63b14f4c1bc08f4d28883840c8beedc17311cb Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 21 Jan 2015 13:53:53 -0500 Subject: [PATCH] Fix contract for contracted TR tests --- typed-racket-lib/typed-racket/typecheck/error-message.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/typecheck/error-message.rkt b/typed-racket-lib/typed-racket/typecheck/error-message.rkt index ee4f6a01..26755f18 100644 --- 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)])