Improve type of count and vector-count.

original commit: 601e693b01e3091612c3690d834becd0a83d69fb
2010-05-22 18:07:50 -04:00 · 2010-05-22 18:07:50 -04:00 · 3a0485de2b
commit 3a0485de2b
parent 3257de4bff
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)