Mercurial > urweb
diff src/compiler.sml @ 905:7a4b026e45dd
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 09 Aug 2009 16:13:27 -0400 |
| parents | d1d0b18afd3d |
| children | 8e540df3294d |
line wrap: on
line diff
--- a/src/compiler.sml Thu Aug 06 15:23:04 2009 -0400 +++ b/src/compiler.sml Sun Aug 09 16:13:27 2009 -0400 @@ -805,7 +805,7 @@ val toMonoize = transform monoize "monoize" o toEffectize val mono_opt = { - func = MonoOpt.optimize, + func = (fn x => (MonoOpt.removeServerCalls := false; MonoOpt.optimize x)), print = MonoPrint.p_file MonoEnv.empty } @@ -841,7 +841,12 @@ val toJscomp = transform jscomp "jscomp" o toMono_opt2 -val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp +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 fuse = { func = Fuse.fuse,