Add contract for make-pred-ty

svn: r14934 original commit: 23a735ee2ff321b69746f2cdacb01fbc0c874b5e
2009-05-22 19:43:31 +00:00 · 2009-05-22 19:43:31 +00:00 · 85ceb35511
commit 85ceb35511
parent 44e0580370
1 changed files with 3 additions and 1 deletions
--- 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))))]