Made make-vector's type more convenient.
original commit: 61545c4e75795adbdd951ed94fb6274a1a7b9709
This commit is contained in:
parent
8869cd4d22
commit
0f27106fdd
|
@ -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 -Nat)]
|
||||
[make-vector (-poly (a) (cl-> [(index-type) (-vec (Un -Nat a))]
|
||||
[(index-type a) (-vec a)]))]
|
||||
|
||||
[peek-char
|
||||
|
|
Loading…
Reference in New Issue
Block a user