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

Updated make-vector's type for fixnums.

Browse Source 
original commit: 06b636b2e31e32fed83d1a58293e1b8f36f8381a
This commit is contained in:
Vincent St-Amour 2010-06-28 20:03:20 -04:00
parent b7d9ed75e2
commit f89158a144
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/base-env-indexing-abs.rkt
View File

@ -137,7 +137,7 @@
[unsafe-vector-set! (-poly (a) (-> (-vec a) index-type a -Void))]
[unsafe-vector*-set! (-poly (a) (-> (-vec a) index-type a -Void))]
[vector-copy! (-poly (a) ((-vec a) index-type (-vec a) [index-type index-type] . ->opt . -Void))]
[make-vector (-poly (a) (cl-> [(index-type) (-vec (Un -Nat a))]
[make-vector (-poly (a) (cl-> [(index-type) (-vec (Un -NonnegativeFixnum a))]
[(index-type a) (-vec a)]))]
[bytes-ref (-> -Bytes index-type -NonnegativeFixnum)]