From fe68168e3d1c5139f74b9b4861151948b06ff4bb Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 17 Mar 2010 16:51:04 +0000 Subject: [PATCH] these operations do not exist svn: r18558 --- collects/typed-scheme/private/base-env-numeric.ss | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/collects/typed-scheme/private/base-env-numeric.ss b/collects/typed-scheme/private/base-env-numeric.ss index d75317162d..f8db0eaf15 100644 --- a/collects/typed-scheme/private/base-env-numeric.ss +++ b/collects/typed-scheme/private/base-env-numeric.ss @@ -241,15 +241,13 @@ [flvector? (make-pred-ty -FlVector)] [flvector (->* (list) -Flonum -FlVector)] -[make-flvector (-> -Integer -Flonum -FlVector)] +[make-flvector (-> -Nat -Flonum -FlVector)] [flvector-length (-> -FlVector -Nat)] [flvector-ref (-> -FlVector -Nat -Flonum)] [flvector-set! (-> -FlVector -Nat -Flonum -Void)] ;; unsafe flvector ops -[unsafe-flvector (->* (list) -Flonum -FlVector)] -[unsafe-make-flvector (-> -Integer -Flonum -FlVector)] [unsafe-flvector-length (-> -FlVector -Nat)] [unsafe-flvector-ref (-> -FlVector -Nat -Flonum)] [unsafe-flvector-set! (-> -FlVector -Nat -Flonum -Void)]