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

refine the type of collect-garbage

Browse Source 
The `collect-garbage` function now accepts a mode argument.
This commit is contained in:
Matthew Flatt 2015-11-27 06:49:01 -07:00
parent 6a8c366210
commit c4f39433e1
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

@ -2971,7 +2971,9 @@
[will-try-execute (-> -Will-Executor ManyUniv)]
;; Section 16.4
[collect-garbage (-> -Void)]
[collect-garbage (cl->*
(-> -Void)
(-> (Un (-val 'minor) (-val 'major) (-val 'incremental)) -Void))]
[current-memory-use (-> -Nat)]
[dump-memory-stats (-> Univ)]