Mercurial > urweb
diff src/compiler.sig @ 502:8875ff2e85dc
Profiling support
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 20 Nov 2008 12:16:30 -0500 |
parents | 5521bb0b4014 |
children | 65d8541c130b |
line wrap: on
line diff
--- a/src/compiler.sig Thu Nov 20 11:34:36 2008 -0500 +++ b/src/compiler.sig Thu Nov 20 12:16:30 2008 -0500 @@ -35,10 +35,11 @@ sources : string list, exe : string, sql : string option, - debug : bool + debug : bool, + profile : bool } val compile : string -> unit - val compileC : {cname : string, oname : string, ename : string, libs : string} -> unit + val compileC : {cname : string, oname : string, ename : string, libs : string, profile : bool} -> unit type ('src, 'dst) phase type ('src, 'dst) transform