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