From 6a57af77b71c44d9299bf6e8d3792498f4b621c8 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 28 Nov 2016 12:01:07 -0500 Subject: [PATCH] Improve type for `dump-memory-stats`. --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index a96d5e80..4fff1698 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -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)