Add contract for make-pred-ty

svn: r14934
2009-05-22 19:43:31 +00:00 · 2009-05-22 19:43:31 +00:00 · 23a735ee2f
commit 23a735ee2f
parent 7237ad6046
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))))]