From 0f27106fdd245d8ba666f126b3b94940c5e0c876 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 21 Jun 2010 12:24:03 -0400 Subject: [PATCH] Made make-vector's type more convenient. original commit: 61545c4e75795adbdd951ed94fb6274a1a7b9709 --- 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 e2e73e9b..75616876 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 -Nat)] + [make-vector (-poly (a) (cl-> [(index-type) (-vec (Un -Nat a))] [(index-type a) (-vec a)]))] [peek-char