Mercurial > urweb

diff src/compiler.sig @ 1540:659a2f71f5e5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compiler frees as much memory as possible before passing control to C compiler
author Adam Chlipala <adam@chlipala.net>
date Mon, 15 Aug 2011 11:26:10 -0400
parents 2f5fd248588d
children 154cfe2eb366
line wrap: on
line diff
--- a/src/compiler.sig	Mon Aug 15 10:22:09 2011 -0400
+++ b/src/compiler.sig	Mon Aug 15 11:26:10 2011 -0400
@@ -65,6 +65,11 @@
     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