Mercurial > urweb

diff src/compiler.sig @ 742:43553c93dd8c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reading blobs from the database
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 10:45:59 -0400
parents 5819fb63c93a
children 7f653298dd66
line wrap: on
line diff
--- a/src/compiler.sig	Sun Apr 26 09:02:17 2009 -0400
+++ b/src/compiler.sig	Sun Apr 26 10:45:59 2009 -0400
@@ -40,7 +40,8 @@
          timeout : int
     }
     val compile : string -> unit
-    val compileC : {cname : string, oname : string, ename : string, libs : string, profile : bool} -> unit
+    val compileC : {cname : string, oname : string, ename : string, libs : string,
+                    profile : bool, debug : bool} -> unit
 
     type ('src, 'dst) phase
     type ('src, 'dst) transform