Mercurial > urweb

comparison 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
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