comparison src/compiler.sml @ 916:b873feb3eb52

dragList almost kinda works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Sep 2009 10:18:19 -0400
parents 782f0b4eea67
children 6646b95f1860
comparison
equal deleted inserted replaced
915:5e8b6fa5b48f 916:b873feb3eb52
852 852
853 val toUntangle2 = transform untangle "untangle2" o toFuse 853 val toUntangle2 = transform untangle "untangle2" o toFuse
854 854
855 val toMono_reduce2 = transform mono_reduce "mono_reduce2" o toUntangle2 855 val toMono_reduce2 = transform mono_reduce "mono_reduce2" o toUntangle2
856 val toMono_shake2 = transform mono_shake "mono_shake2" o toMono_reduce2 856 val toMono_shake2 = transform mono_shake "mono_shake2" o toMono_reduce2
857 val toMono_opt4 = transform mono_opt "mono_opt4" o toMono_shake2
858 val toFuse2 = transform fuse "shake2" o toMono_opt4
859 val toUntangle3 = transform untangle "untangle3" o toFuse2
860 val toMono_shake3 = transform mono_shake "mono_shake3" o toUntangle3
857 861
858 val pathcheck = { 862 val pathcheck = {
859 func = (fn file => (PathCheck.check file; file)), 863 func = (fn file => (PathCheck.check file; file)),
860 print = MonoPrint.p_file MonoEnv.empty 864 print = MonoPrint.p_file MonoEnv.empty
861 } 865 }
862 866
863 val toPathcheck = transform pathcheck "pathcheck" o toMono_shake2 867 val toPathcheck = transform pathcheck "pathcheck" o toMono_shake3
864 868
865 val cjrize = { 869 val cjrize = {
866 func = Cjrize.cjrize, 870 func = Cjrize.cjrize,
867 print = CjrPrint.p_file CjrEnv.empty 871 print = CjrPrint.p_file CjrEnv.empty
868 } 872 }