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

Fixed the types of flvector operations.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-21 16:01:40 -04:00
parent 5234809baf
commit 192c1fa995
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/typed-scheme/private/base-env-numeric.rkt
View File

@ -318,13 +318,14 @@
[flvector? (make-pred-ty -FlVector)]
[flvector (->* (list) -Flonum -FlVector)]
[make-flvector (-> -Nat -Flonum -FlVector)]
[make-flvector (cl->* (-> -Integer -FlVector)
(-> -Integer -Flonum -FlVector))]
[flvector-length (-> -FlVector -Nat)]
[flvector-ref (-> -FlVector -Nat -Flonum)]
[flvector-set! (-> -FlVector -Nat -Flonum -Void)]
[flvector-ref (-> -FlVector -Integer -Flonum)]
[flvector-set! (-> -FlVector -Integer -Flonum -Void)]
;; unsafe flvector ops
[unsafe-flvector-length (-> -FlVector -Nat)]
[unsafe-flvector-ref (-> -FlVector -Nat -Flonum)]
[unsafe-flvector-set! (-> -FlVector -Nat -Flonum -Void)]
[unsafe-flvector-ref (-> -FlVector -Integer -Flonum)]
[unsafe-flvector-set! (-> -FlVector -Integer -Flonum -Void)]