Mercurial > urweb

diff src/compiler.sml @ 1235:a7b773f1d053

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Command-line use of Iflow
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Apr 2010 11:34:59 -0400
parents 5eac14322548
children d5ecceb7d1a1
line wrap: on
line diff
--- a/src/compiler.sml	Tue Apr 13 11:15:43 2010 -0400
+++ b/src/compiler.sml	Tue Apr 13 11:34:59 2010 -0400
@@ -75,6 +75,7 @@
 }
 
 val debug = ref false
+val doIflow = ref false
 
 fun transform (ph : ('src, 'dst) phase) name = {
     func = fn input => let
@@ -1072,7 +1073,7 @@
 val toMono_opt2 = transform mono_opt "mono_opt2" o toMono_shake
 
 val iflow = {
-    func = (fn file => (Iflow.check file; file)),
+    func = (fn file => (if !doIflow then Iflow.check file else (); file)),
     print = MonoPrint.p_file MonoEnv.empty
 }