comparison src/compiler.sml @ 1200:5eac14322548

Generated basic dummy Iflow conditions
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 14:37:19 -0400
parents a4ac900d3085
children a7b773f1d053
comparison
equal deleted inserted replaced
1199:c316ca3c9ec6 1200:5eac14322548
1069 1069
1070 val toMono_shake = transform mono_shake "mono_shake1" o toMono_reduce 1070 val toMono_shake = transform mono_shake "mono_shake1" o toMono_reduce
1071 1071
1072 val toMono_opt2 = transform mono_opt "mono_opt2" o toMono_shake 1072 val toMono_opt2 = transform mono_opt "mono_opt2" o toMono_shake
1073 1073
1074 val iflow = {
1075 func = (fn file => (Iflow.check file; file)),
1076 print = MonoPrint.p_file MonoEnv.empty
1077 }
1078
1079 val toIflow = transform iflow "iflow" o toMono_opt2
1080
1074 val jscomp = { 1081 val jscomp = {
1075 func = JsComp.process, 1082 func = JsComp.process,
1076 print = MonoPrint.p_file MonoEnv.empty 1083 print = MonoPrint.p_file MonoEnv.empty
1077 } 1084 }
1078 1085
1079 val toJscomp = transform jscomp "jscomp" o toMono_opt2 1086 val toJscomp = transform jscomp "jscomp" o toIflow
1080 1087
1081 val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp 1088 val toMono_opt3 = transform mono_opt "mono_opt3" o toJscomp
1082 1089
1083 val fuse = { 1090 val fuse = {
1084 func = Fuse.fuse, 1091 func = Fuse.fuse,