From c4f39433e11915d5cae1ad5e48fdfba4eebe4ea1 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 27 Nov 2015 06:49:01 -0700
Subject: [PATCH] refine the type of `collect-garbage`

The `collect-garbage` function now accepts a mode argument.
---
 typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 +++-
 1 file changed, 3 insertions(+), 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 83478480..06504fd7 100644
--- a/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -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)]