Mercurial > urweb

diff src/compiler.sig @ 1961:0652f295e0fa

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New compiler option: -stop
author Adam Chlipala <adam@chlipala.net>
date Sun, 19 Jan 2014 13:08:01 -0500
parents 3683d1a8c1c8
children a9159911c3ba 606af2c9b828
line wrap: on
line diff
--- a/src/compiler.sig	Sat Jan 18 08:34:19 2014 -0500
+++ b/src/compiler.sig	Sun Jan 19 13:08:01 2014 -0500
@@ -202,4 +202,7 @@
 
     val moduleOf : string -> string
 
+    val setStop : string -> unit
+    (* Stop compilation after this phase. *)
+
 end