comparison 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
comparison
equal deleted inserted replaced
909:1d3f60e74ec7 910:8e540df3294d
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 = (fn x => (MonoOpt.removeServerCalls := false; MonoOpt.optimize x)), 808 func = MonoOpt.optimize,
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 mono_opt' = { 844 val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp
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
850 845
851 val fuse = { 846 val fuse = {
852 func = Fuse.fuse, 847 func = Fuse.fuse,
853 print = MonoPrint.p_file MonoEnv.empty 848 print = MonoPrint.p_file MonoEnv.empty
854 } 849 }