diff src/compiler.sml @ 910:8e540df3294d

grid1 compiles but gets stuck in JS
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 13:57:56 -0400
parents 7a4b026e45dd
children 782f0b4eea67
line wrap: on
line diff
--- a/src/compiler.sml	Sat Aug 22 16:32:31 2009 -0400
+++ b/src/compiler.sml	Tue Aug 25 13:57:56 2009 -0400
@@ -805,7 +805,7 @@
 val toMonoize = transform monoize "monoize" o toEffectize
 
 val mono_opt = {
-    func = (fn x => (MonoOpt.removeServerCalls := false; MonoOpt.optimize x)),
+    func = MonoOpt.optimize,
     print = MonoPrint.p_file MonoEnv.empty
 }
 
@@ -841,12 +841,7 @@
 
 val toJscomp = transform jscomp "jscomp" o toMono_opt2
 
-val mono_opt' = {
-    func = (fn x => (MonoOpt.removeServerCalls := true; MonoOpt.optimize x)),
-    print = MonoPrint.p_file MonoEnv.empty
-}
-
-val toMono_opt3 = transform mono_opt' "mono_opt3" o toJscomp
+val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp
 
 val fuse = {
     func = Fuse.fuse,