Mercurial > urweb
comparison src/compiler.sig @ 1540:659a2f71f5e5
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 |
comparison
equal
deleted
inserted
replaced
1539:dde3bd82cb3d | 1540:659a2f71f5e5 |
---|---|
62 } | 62 } |
63 val compile : string -> bool | 63 val compile : string -> bool |
64 val compiler : string -> unit | 64 val compiler : string -> unit |
65 val compileC : {cname : string, oname : string, ename : string, libs : string, | 65 val compileC : {cname : string, oname : string, ename : string, libs : string, |
66 profile : bool, debug : bool, link : string list} -> bool | 66 profile : bool, debug : bool, link : string list} -> bool |
67 | |
68 val beforeC : (unit -> unit) ref | |
69 (* This function is called before beginning C compilation. | |
70 * The current use is for MLton to compact its heap here, to avoid hogging | |
71 * space after all the interesting ML code is done. *) | |
67 | 72 |
68 type ('src, 'dst) phase | 73 type ('src, 'dst) phase |
69 type ('src, 'dst) transform | 74 type ('src, 'dst) transform |
70 | 75 |
71 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform | 76 val transform : ('src, 'dst) phase -> string -> ('src, 'dst) transform |