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

Fix to make-vector's type.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-18 20:23:56 -04:00
parent 051b480934
commit 1e2c50ec24
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-indexing-abs.rkt
View File

@ -135,7 +135,7 @@
[build-vector (-poly (a) (index-type (index-type . -> . a) . -> . (-vec a)))]
[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 index-type)]
[make-vector (-poly (a) (cl-> [(index-type) (-vec -Nat)]
[(index-type a) (-vec a)]))]
[peek-char
@ -154,4 +154,4 @@
[(Sym -String index-type (-lst Univ)) (Un)])]
))