From a0dd36d3721acc580461be8c968f6bdafc83827b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 19 Jan 2014 13:08:01 -0500
Subject: New compiler option: -stop

---
 src/compiler.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/compiler.sig')

diff --git a/src/compiler.sig b/src/compiler.sig
index fdb1311f..fa131cf4 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -202,4 +202,7 @@ signature COMPILER = sig
 
     val moduleOf : string -> string
 
+    val setStop : string -> unit
+    (* Stop compilation after this phase. *)
+
 end
-- 
cgit v1.2.3