From e472f946fc2316959e8480e2371233fd275b1da2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 15 Aug 2011 11:26:10 -0400
Subject: Compiler frees as much memory as possible before passing control to C
 compiler

---
 src/compiler.sig | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/compiler.sig')

diff --git a/src/compiler.sig b/src/compiler.sig
index 587b3a94..62b57856 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -65,6 +65,11 @@ signature COMPILER = sig
     val compileC : {cname : string, oname : string, ename : string, libs : string,
                     profile : bool, debug : bool, link : string list} -> bool
 
+    val beforeC : (unit -> unit) ref
+    (* This function is called before beginning C compilation.
+     * The current use is for MLton to compact its heap here, to avoid hogging
+     * space after all the interesting ML code is done. *)
+
     type ('src, 'dst) phase
     type ('src, 'dst) transform
 
-- 
cgit v1.2.3