From 1fe70704a2cbe4462f9bd1b116db9f356d06b4ea Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 30 Jun 2010 14:34:13 -0400 Subject: [PATCH] Updated build-list and build-vector's types for fixnums. --- collects/typed-scheme/private/base-env-indexing-abs.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/base-env-indexing-abs.rkt b/collects/typed-scheme/private/base-env-indexing-abs.rkt index 62b7a07195..37c1a6941e 100644 --- a/collects/typed-scheme/private/base-env-indexing-abs.rkt +++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt @@ -20,7 +20,7 @@ (define-syntax-rule (indexing index-type) (make-env - [build-list (-poly (a) (index-type (-Nat . -> . a) . -> . (-lst a)))] + [build-list (-poly (a) (index-type (-NonnegativeFixnum . -> . a) . -> . (-lst a)))] [make-list (-poly (a) (index-type a . -> . (-lst a)))] [string-ref (-> -String index-type -Char)] @@ -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 (-Nat . -> . a) . -> . (-vec a)))] + [build-vector (-poly (a) (index-type (-NonnegativeFixnum . -> . 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))]