From 34df17ddb4f71f8c7b7b1e16444f18e946e68408 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 20 Jun 2008 15:27:46 -0400 Subject: [PATCH] Use the X from cgen/list to create the empty cmap. This allows (vector) to have type (Vectorof (U)) original commit: 0366745cbf3e8308b9700305c7e187aa260119ba --- collects/typed-scheme/private/base-env.ss | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 07999859..22644307 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -196,7 +196,7 @@ (min (->* (list N) N N)) [values (make-Poly '(a) (-> (-v a) (-v a)))] [vector-ref - (make-Poly (list 'a) ((make-Vector (-v a)) N . -> . (-v a)))] + (make-Poly (list 'a) ((make-Vector (-v a)) -Integer . -> . (-v a)))] [build-vector (-poly (a) (-Integer (-Integer . -> . a) . -> . (make-Vector a)))] [build-list (-poly (a) (-Integer (-Integer . -> . a) . -> . (-lst a)))] [reverse (make-Poly '(a) (-> (make-lst (-v a)) (make-lst (-v a))))] @@ -323,7 +323,7 @@ [match:error ((list) Univ . ->* . (Un))] - [vector-set! (-poly (a) (-> (make-Vector a) N a -Void))] + [vector-set! (-poly (a) (-> (make-Vector a) -Integer a -Void))] [vector->list (-poly (a) (-> (make-Vector a) (-lst a)))] [list->vector (-poly (a) (-> (-lst a) (make-Vector a)))] @@ -353,13 +353,13 @@ [make-vector (-poly (a) (cl-> - [(N) (make-Vector N)] - [(N a) (make-Vector a)]))] + [(-Integer) (make-Vector -Integer)] + [(-Integer a) (make-Vector a)]))] [file-exists? (-Pathlike . -> . B)] [string->symbol (-String . -> . Sym)] [symbol->string (Sym . -> . -String)] - [vector-length (-poly (a) ((make-Vector a) . -> . N))] + [vector-length (-poly (a) ((make-Vector a) . -> . -Integer))] [call-with-input-file (-poly (a) (cl->