From 23a735ee2ff321b69746f2cdacb01fbc0c874b5e Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Fri, 22 May 2009 19:43:31 +0000
Subject: [PATCH] Add contract for make-pred-ty

svn: r14934
---
 collects/typed-scheme/types/abbrev.ss | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/collects/typed-scheme/types/abbrev.ss b/collects/typed-scheme/types/abbrev.ss
index 4178ea1a49..d95a254bbe 100644
--- a/collects/typed-scheme/types/abbrev.ss
+++ b/collects/typed-scheme/types/abbrev.ss
@@ -250,7 +250,9 @@
   (make-LNotTypeFilter t p i))
 
 
-(define make-pred-ty
+(d/c make-pred-ty
+  (case-> (c:-> Type/c Type/c)
+          (c:-> (listof Type/c) Type/c Type/c Type/c))
   (case-lambda 
     [(in out t)
      (->* in out : (-LFS (list (-filter t)) (list (-not-filter t))))]