From 0902fe2fa9376c5bbd7508a9985f9d652e73b5db Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 9 Jun 2014 23:33:22 -0700 Subject: [PATCH] Fix contract on tc-result. --- .../typed-racket-lib/typed-racket/types/tc-result.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/tc-result.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/tc-result.rkt index f87189eff8..3d6c9e404c 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/tc-result.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/tc-result.rkt @@ -152,7 +152,7 @@ (provide tc-result: tc-results: tc-any-results: tc-result1: Result1: Results: tc-results) (provide/cond-contract - [tc-result (Type/c Filter/c Object? -> tc-results?)] + [tc-result (Type/c FilterSet/c Object? . c:-> . tc-result?)] [combine-results ((c:listof tc-results?) . c:-> . tc-results?)] [tc-any-results ((c:or/c Filter/c NoFilter?) . c:-> . tc-any-results?)] [tc-result-t (tc-result? . c:-> . Type/c)]