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

Improve type for dump-memory-stats.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2016-11-28 12:01:07 -05:00
parent 1c3a0a1f34
commit 6a57af77b7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3058,7 +3058,7 @@
(-> -Void)
(-> (Un (-val 'minor) (-val 'major) (-val 'incremental)) -Void))]
[current-memory-use (-> -Nat)]
[dump-memory-stats (-> Univ)]
[dump-memory-stats (->* '() Univ Univ)]
;; Section 17.2 (Unsafe Data Extraction)
[unsafe-car (-poly (a b)