From 3a0485de2b37ef830e03abab17ef35c78af6af21 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 22 May 2010 18:07:50 -0400 Subject: [PATCH] Improve type of count and vector-count. original commit: 601e693b01e3091612c3690d834becd0a83d69fb --- collects/typed-scheme/private/base-env.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index ae94e311..f3fe6081 100644 --- 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)