From 192c1fa995f44163d42e46f2466bdd05e74a98a8 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 21 Jun 2010 16:01:40 -0400 Subject: [PATCH] Fixed the types of flvector operations. --- collects/typed-scheme/private/base-env-numeric.rkt | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index 7d6aa00aed..dd708b0b9c 100644 --- a/collects/typed-scheme/private/base-env-numeric.rkt +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -318,13 +318,14 @@ [flvector? (make-pred-ty -FlVector)] [flvector (->* (list) -Flonum -FlVector)] -[make-flvector (-> -Nat -Flonum -FlVector)] +[make-flvector (cl->* (-> -Integer -FlVector) + (-> -Integer -Flonum -FlVector))] [flvector-length (-> -FlVector -Nat)] -[flvector-ref (-> -FlVector -Nat -Flonum)] -[flvector-set! (-> -FlVector -Nat -Flonum -Void)] +[flvector-ref (-> -FlVector -Integer -Flonum)] +[flvector-set! (-> -FlVector -Integer -Flonum -Void)] ;; unsafe flvector ops [unsafe-flvector-length (-> -FlVector -Nat)] -[unsafe-flvector-ref (-> -FlVector -Nat -Flonum)] -[unsafe-flvector-set! (-> -FlVector -Nat -Flonum -Void)] +[unsafe-flvector-ref (-> -FlVector -Integer -Flonum)] +[unsafe-flvector-set! (-> -FlVector -Integer -Flonum -Void)]