diff options
author | Ziv Scully <ziv@mit.edu> | 2015-11-19 01:59:00 -0500 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-11-19 01:59:00 -0500 |
commit | bfcd84434ee997b474935aa13ae7bc1f3801d795 (patch) | |
tree | 77c947df67cba402ee17c655d8557bd1a29dfae8 /src/compiler.sml | |
parent | 588831a34eb1747b5468581169f6e68116ecbd62 (diff) |
Support nested queries but disable UrFlow for now.
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 814c48d3..d91d02aa 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -1372,19 +1372,21 @@ val toMono_shake = transform mono_shake "mono_shake1" o toMono_reduce 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 |