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

Add type annotation for (vector-set-performance-stats) (#480)

Browse Source
This commit is contained in:
WarGrey Gyoudmon Ju 2017-01-05 03:47:25 +08:00 committed by Sam Tobin-Hochstadt
parent 565f7ec233
commit fdb79d9a34
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -3026,7 +3026,9 @@
[current-command-line-arguments (-Param (-vec -String) (-vec -String))]
[current-thread-initial-stack-size (-Param -PosInt -PosInt)]
;vector-set-performance-stats! TODO complicated
[vector-set-performance-stats! (cl->* [-> (-vec -Int) -Void]
[-> (-vec -Int) -False -Void]
[-> (-vec (Un -Boolean -Int)) -Thread -Void])]
;; Section 15.9 (racket/cmdline)
[parse-command-line