Mercurial > urweb

diff src/compiler.sig @ 502:8875ff2e85dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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