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

Fixed types for the unsafe versions of vector-length.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-07-01 18:30:22 -04:00
parent f469e0d8bf
commit 843621398b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -810,8 +810,8 @@
;; unsafe
[unsafe-vector-length (-poly (a) ((-vec a) . -> . -NonnegativeFixnum))]
[unsafe-vector*-length (-poly (a) ((-vec a) . -> . -NonnegativeFixnum))]
[unsafe-vector-length ((make-VectorTop) . -> . -NonnegativeFixnum)]
[unsafe-vector*-length ((make-VectorTop) . -> . -NonnegativeFixnum)]
[unsafe-car (-poly (a b)
(cl->*
(->acc (list (-pair a b)) a (list -car))