From d6a5634246370e1dbf72c361244c18dab604c211 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 18 Jun 2014 18:26:05 -0700 Subject: [PATCH] Make type of make-vector more precise. Before that, ((inst make-vector Natural) 10) would return a (Vectorof Integer) which is bad. Thanks to Alexander Knauth for the suggestion! original commit: aab724de351556b7def913c67797077df719fa54 --- .../typed-racket/base-env/base-env-indexing-abs.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt index 766e9aa2..e5a76c63 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt @@ -258,7 +258,7 @@ [unsafe-vector-set! (-poly (a) (-> (-vec a) index-type a -Void))] [unsafe-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 (Un -Integer a))] + [make-vector (-poly (a) (cl-> [(index-type) (-vec (Un -Zero a))] [(index-type a) (-vec a)]))] ;; flvector ops