suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add flvector-copy to TR base env.

Browse Source
This commit is contained in:
Ray Racine 2012-08-07 17:19:05 -04:00 committed by Vincent St-Amour
parent 11006d3b5e
commit 2ff1927f6c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/base-env/base-env-indexing-abs.rkt
View File

@ -275,6 +275,9 @@
[flvector-set! (cl->* (-> -FlVector -NonNegFixnum -Flonum -Void) [flvector-set! (cl->* (-> -FlVector -NonNegFixnum -Flonum -Void)
(-> -FlVector -Fixnum -Flonum -Void) (-> -FlVector -Fixnum -Flonum -Void)
(-> -FlVector index-type -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-length (-> -FlVector -NonNegFixnum)]
[unsafe-flvector-ref (cl->* (-> -FlVector -NonNegFixnum -Flonum) [unsafe-flvector-ref (cl->* (-> -FlVector -NonNegFixnum -Flonum)