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

Make type of make-vector more precise.

Browse Source 
Before that, ((inst make-vector Natural) 10) would return a (Vectorof
Integer) which is bad.

Thanks to Alexander Knauth for the suggestion!

original commit: aab724de351556b7def913c67797077df719fa54
This commit is contained in:
Vincent St-Amour 2014-06-18 18:26:05 -07:00
parent 1649aab8e3
commit d6a5634246
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-indexing-abs.rkt
View File

@ -258,7 +258,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 -Integer a))]
[make-vector (-poly (a) (cl-> [(index-type) (-vec (Un -Zero a))]
[(index-type a) (-vec a)]))]
;; flvector ops