From 9a06f49bce64603650b0b9f4beb5abfb5be8b782 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 14 Jul 2010 18:25:51 -0400 Subject: [PATCH] Added type for collect-garbage. original commit: abee5a4db7633ccbc3daff77d5ab80594756bea3 --- collects/typed-scheme/private/base-env.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index fcd52e0f..b29f1856 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -622,6 +622,8 @@ [exit (-> (Un))] +[collect-garbage (-> -Void)] + [module->namespace (-> (-mu x (-lst (Un -Symbol -String -Nat x (-val #f)))) -Namespace)] [current-namespace (-Param -Namespace -Namespace)]