From 028aeadc4b8a6fad99c95e28cf4774e368aa3a07 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 20 Jun 2008 15:47:56 -0400 Subject: [PATCH] Revert last change. original commit: a6ea8d79543ba3db69a859700dde9c78d583dd8b --- 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 22644307..07999859 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)) -Integer . -> . (-v a)))] + (make-Poly (list 'a) ((make-Vector (-v a)) N . -> . (-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) -Integer a -Void))] + [vector-set! (-poly (a) (-> (make-Vector a) N 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-> - [(-Integer) (make-Vector -Integer)] - [(-Integer a) (make-Vector a)]))] + [(N) (make-Vector N)] + [(N a) (make-Vector a)]))] [file-exists? (-Pathlike . -> . B)] [string->symbol (-String . -> . Sym)] [symbol->string (Sym . -> . -String)] - [vector-length (-poly (a) ((make-Vector a) . -> . -Integer))] + [vector-length (-poly (a) ((make-Vector a) . -> . N))] [call-with-input-file (-poly (a) (cl->