Improve type of count and vector-count.

2010-05-22 18:07:50 -04:00 · 2010-05-22 18:07:50 -04:00 · 601e693b01
commit 601e693b01
parent e6d85175f3
1 changed files with 2 additions and 2 deletions
--- a/collects/typed-scheme/private/base-env.rkt
+++ b/collects/typed-scheme/private/base-env.rkt
@ -647,7 +647,7 @@
                    (-lst a))
                   ((-lst b) b) 
                   . ->... . 
-                   -Integer))]
+                   -Nat))]
 [filter-map (-polydots (c a b)
                       ((list
                         ((list a) (b b) . ->... . (-opt c))
@ -752,7 +752,7 @@
                           (-vec a))
                          ((-vec b) b)
                          . ->... . 
-                          -Integer))]
+                          -Nat))]
 [vector-filter (-poly (a b) (cl->*
                             ((make-pred-ty (list a) Univ b)
                              (-vec a)