From e431a658e68feb13f03e9a9e730d982ef7654a33 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 1 Jul 2010 18:30:22 -0400 Subject: [PATCH] Fixed types for the unsafe versions of vector-length. original commit: 843621398b1086f492f6b9130a7a93a65c2fe4f3 --- collects/typed-scheme/private/base-env.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index 27cfc600..fcd52e0f 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -810,8 +810,8 @@ ;; unsafe -[unsafe-vector-length (-poly (a) ((-vec a) . -> . -NonnegativeFixnum))] -[unsafe-vector*-length (-poly (a) ((-vec a) . -> . -NonnegativeFixnum))] +[unsafe-vector-length ((make-VectorTop) . -> . -NonnegativeFixnum)] +[unsafe-vector*-length ((make-VectorTop) . -> . -NonnegativeFixnum)] [unsafe-car (-poly (a b) (cl->* (->acc (list (-pair a b)) a (list -car))