From 8dfb2370e75cb81380d88675c43afcc161d9621a 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 original commit: fe68168e3d1c5139f74b9b4861151948b06ff4bb --- 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 d7531716..f8db0eaf 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)]