From 2ff1927f6c1a0da46a7fd633cf62961e2ba06b75 Mon Sep 17 00:00:00 2001 From: Ray Racine Date: Tue, 7 Aug 2012 17:19:05 -0400 Subject: [PATCH] Add flvector-copy to TR base env. --- collects/typed-racket/base-env/base-env-indexing-abs.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-racket/base-env/base-env-indexing-abs.rkt b/collects/typed-racket/base-env/base-env-indexing-abs.rkt index 5b9d911e43..76610aeaf6 100644 --- a/collects/typed-racket/base-env/base-env-indexing-abs.rkt +++ b/collects/typed-racket/base-env/base-env-indexing-abs.rkt @@ -275,6 +275,9 @@ [flvector-set! (cl->* (-> -FlVector -NonNegFixnum -Flonum -Void) (-> -FlVector -Fixnum -Flonum -Void) (-> -FlVector index-type -Flonum -Void))] + [flvector-copy (cl->* (-> -FlVector -FlVector) + (-> -FlVector index-type -FlVector) + (-> -FlVector index-type index-type -FlVector))] [unsafe-flvector-length (-> -FlVector -NonNegFixnum)] [unsafe-flvector-ref (cl->* (-> -FlVector -NonNegFixnum -Flonum)