Mercurial > urweb
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 } |