Mercurial > urweb

diff src/compiler.sml @ 506:65d8541c130b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fusing writes with recursive function calls
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Nov 2008 10:05:44 -0500
parents 8875ff2e85dc
children 4929cf86bc03
line wrap: on
line diff
--- a/src/compiler.sml	Sun Nov 23 11:47:28 2008 -0500
+++ b/src/compiler.sml	Tue Nov 25 10:05:44 2008 -0500
@@ -523,12 +523,23 @@
 
 val toMono_opt2 = transform mono_opt "mono_opt2" o toMono_shake
 
+val fuse = {
+    func = Fuse.fuse,
+    print = MonoPrint.p_file MonoEnv.empty
+}
+
+val toFuse = transform fuse "fuse" o toMono_opt2
+
+val toUntangle2 = transform untangle "untangle2" o toFuse
+
+val toMono_shake2 = transform mono_shake "mono_shake2" o toUntangle2
+
 val pathcheck = {
     func = (fn file => (PathCheck.check file; file)),
     print = MonoPrint.p_file MonoEnv.empty
 }
 
-val toPathcheck = transform pathcheck "pathcheck" o toMono_opt2
+val toPathcheck = transform pathcheck "pathcheck" o toMono_shake2
 
 val cjrize = {
     func = Cjrize.cjrize,