Mercurial > urweb

diff src/compiler.sig @ 1045:36efaf119b85

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Refactor compile functions; allow empty tag contents
author Adam Chlipala <adamc@hcoop.net>
date Wed, 25 Nov 2009 08:52:32 -0500
parents dfe34fad749d
children 3bc726a822fb
line wrap: on
line diff
--- a/src/compiler.sig	Wed Nov 25 08:38:12 2009 -0500
+++ b/src/compiler.sig	Wed Nov 25 08:52:32 2009 -0500
@@ -53,9 +53,10 @@
          protocol : string option,
          dbms : string option
     }
-    val compile : string -> unit
+    val compile : string -> bool
+    val compiler : string -> unit
     val compileC : {cname : string, oname : string, ename : string, libs : string,
-                    profile : bool, debug : bool, link : string list} -> unit
+                    profile : bool, debug : bool, link : string list} -> bool
 
     type ('src, 'dst) phase
     type ('src, 'dst) transform