suzanne.soy/typed-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 
original commit: 843621398b1086f492f6b9130a7a93a65c2fe4f3
This commit is contained in:
Vincent St-Amour 2010-07-01 18:30:22 -04:00
parent 93d8f8839c
commit e431a658e6
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))