diff src/compiler.sml @ 2294:f8903af753ff

Support nested queries but disable UrFlow for now.
author Ziv Scully <ziv@mit.edu>
date Thu, 19 Nov 2015 01:59:00 -0500
parents 2b1af5dc6dee
children 6fb9232ade99
line wrap: on
line diff
--- a/src/compiler.sml	Wed Nov 18 14:48:24 2015 -0500
+++ b/src/compiler.sml	Thu Nov 19 01:59:00 2015 -0500
@@ -1372,19 +1372,21 @@
 
 val toMono_opt2 = transform mono_opt "mono_opt2" o toMono_shake
 
+(*
 val iflow = {
     func = (fn file => (if !doIflow then Iflow.check file else (); file)),
     print = MonoPrint.p_file MonoEnv.empty
 }
 
 val toIflow = transform iflow "iflow" o toMono_opt2
+*)
 
 val namejs = {
     func = NameJS.rewrite,
     print = MonoPrint.p_file MonoEnv.empty
 }
 
-val toNamejs = transform namejs "namejs" o toIflow
+val toNamejs = transform namejs "namejs" o toMono_opt2
 
 val toNamejs_untangle = transform untangle "namejs_untangle" o toNamejs