Mercurial > urweb

comparison src/compiler.sml @ 905:7a4b026e45dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
904:6d9538ce94d8 905:7a4b026e45dd
803 } 803 }
804 804
805 val toMonoize = transform monoize "monoize" o toEffectize 805 val toMonoize = transform monoize "monoize" o toEffectize
806 806
807 val mono_opt = { 807 val mono_opt = {
808 func = MonoOpt.optimize, 808 func = (fn x => (MonoOpt.removeServerCalls := false; MonoOpt.optimize x)),
809 print = MonoPrint.p_file MonoEnv.empty 809 print = MonoPrint.p_file MonoEnv.empty
810 } 810 }
811 811
812 val toMono_opt1 = transform mono_opt "mono_opt1" o toMonoize 812 val toMono_opt1 = transform mono_opt "mono_opt1" o toMonoize
813 813
839 print = MonoPrint.p_file MonoEnv.empty 839 print = MonoPrint.p_file MonoEnv.empty
840 } 840 }
841 841
842 val toJscomp = transform jscomp "jscomp" o toMono_opt2 842 val toJscomp = transform jscomp "jscomp" o toMono_opt2
843 843
844 val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp 844 val mono_opt' = {
845 func = (fn x => (MonoOpt.removeServerCalls := true; MonoOpt.optimize x)),
846 print = MonoPrint.p_file MonoEnv.empty
847 }
848
849 val toMono_opt3 = transform mono_opt' "mono_opt3" o toJscomp
845 850
846 val fuse = { 851 val fuse = {
847 func = Fuse.fuse, 852 func = Fuse.fuse,
848 print = MonoPrint.p_file MonoEnv.empty 853 print = MonoPrint.p_file MonoEnv.empty
849 } 854 }