From f27aac552fde4580850493dbde9fbb3d4a989e5a Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 28 Jun 2010 11:18:04 -0400 Subject: [PATCH] Fixed build-vector's type. --- collects/typed-scheme/private/base-env-indexing-abs.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env-indexing-abs.rkt b/collects/typed-scheme/private/base-env-indexing-abs.rkt index f54b1c344b..a133aa1266 100644 --- a/collects/typed-scheme/private/base-env-indexing-abs.rkt +++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt @@ -132,7 +132,7 @@ [vector-ref (-poly (a) ((-vec a) index-type . -> . a))] [unsafe-vector-ref (-poly (a) ((-vec a) index-type . -> . a))] [unsafe-vector*-ref (-poly (a) ((-vec a) index-type . -> . a))] - [build-vector (-poly (a) (index-type (index-type . -> . a) . -> . (-vec a)))] + [build-vector (-poly (a) (index-type (-Nat . -> . a) . -> . (-vec a)))] [vector-set! (-poly (a) (-> (-vec a) index-type a -Void))] [unsafe-vector-set! (-poly (a) (-> (-vec a) index-type a -Void))] [unsafe-vector*-set! (-poly (a) (-> (-vec a) index-type a -Void))]