From 1e2c50ec242c130df1a02e7bee6734d2806f8aa7 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 18 Jun 2010 20:23:56 -0400 Subject: [PATCH] Fix to make-vector's type. --- 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 e7c7564232..e2e73e9b55 100644 --- a/collects/typed-scheme/private/base-env-indexing-abs.rkt +++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt @@ -135,7 +135,7 @@ [build-vector (-poly (a) (index-type (index-type . -> . a) . -> . (-vec a)))] [vector-set! (-poly (a) (-> (-vec a) index-type a -Void))] [vector-copy! (-poly (a) ((-vec a) index-type (-vec a) [index-type index-type] . ->opt . -Void))] - [make-vector (-poly (a) (cl-> [(index-type) (-vec index-type)] + [make-vector (-poly (a) (cl-> [(index-type) (-vec -Nat)] [(index-type a) (-vec a)]))] [peek-char @@ -154,4 +154,4 @@ [(Sym -String index-type (-lst Univ)) (Un)])] )) - \ No newline at end of file +