diff --git a/collects/typed-scheme/base-env/base-env-indexing-abs.rkt b/collects/typed-scheme/base-env/base-env-indexing-abs.rkt index b960a25f..9812977f 100644 --- a/collects/typed-scheme/base-env/base-env-indexing-abs.rkt +++ b/collects/typed-scheme/base-env/base-env-indexing-abs.rkt @@ -275,12 +275,20 @@ (-> index-type -Flonum -FlVector))] [flvector-length (-> -FlVector -NonNegFixnum)] - [flvector-ref (-> -FlVector index-type -Flonum)] - [flvector-set! (-> -FlVector index-type -Flonum -Void)] + [flvector-ref (cl->* (-> -FlVector -NonNegFixnum -Flonum) + (-> -FlVector -Fixnum -Flonum) + (-> -FlVector index-type -Flonum))] + [flvector-set! (cl->* (-> -FlVector -NonNegFixnum -Flonum -Void) + (-> -FlVector -Fixnum -Flonum -Void) + (-> -FlVector index-type -Flonum -Void))] [unsafe-flvector-length (-> -FlVector -NonNegFixnum)] - [unsafe-flvector-ref (-> -FlVector index-type -Flonum)] - [unsafe-flvector-set! (-> -FlVector index-type -Flonum -Void)] + [unsafe-flvector-ref (cl->* (-> -FlVector -NonNegFixnum -Flonum) + (-> -FlVector -Fixnum -Flonum) + (-> -FlVector index-type -Flonum))] + [unsafe-flvector-set! (cl->* (-> -FlVector -NonNegFixnum -Flonum -Void) + (-> -FlVector -Fixnum -Flonum -Void) + (-> -FlVector index-type -Flonum -Void))] [bytes-ref (-> -Bytes index-type -Byte)]