comparison src/compiler.sig @ 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
98 val monoize : (Core.file, Mono.file) phase 98 val monoize : (Core.file, Mono.file) phase
99 val mono_opt : (Mono.file, Mono.file) phase 99 val mono_opt : (Mono.file, Mono.file) phase
100 val untangle : (Mono.file, Mono.file) phase 100 val untangle : (Mono.file, Mono.file) phase
101 val mono_reduce : (Mono.file, Mono.file) phase 101 val mono_reduce : (Mono.file, Mono.file) phase
102 val mono_shake : (Mono.file, Mono.file) phase 102 val mono_shake : (Mono.file, Mono.file) phase
103 val iflow : (Mono.file, Mono.file) phase
103 val jscomp : (Mono.file, Mono.file) phase 104 val jscomp : (Mono.file, Mono.file) phase
104 val fuse : (Mono.file, Mono.file) phase 105 val fuse : (Mono.file, Mono.file) phase
105 val pathcheck : (Mono.file, Mono.file) phase 106 val pathcheck : (Mono.file, Mono.file) phase
106 val cjrize : (Mono.file, Cjr.file) phase 107 val cjrize : (Mono.file, Cjr.file) phase
107 val scriptcheck : (Cjr.file, Cjr.file) phase 108 val scriptcheck : (Cjr.file, Cjr.file) phase
141 val toMono_opt1 : (string, Mono.file) transform 142 val toMono_opt1 : (string, Mono.file) transform
142 val toUntangle : (string, Mono.file) transform 143 val toUntangle : (string, Mono.file) transform
143 val toMono_reduce : (string, Mono.file) transform 144 val toMono_reduce : (string, Mono.file) transform
144 val toMono_shake : (string, Mono.file) transform 145 val toMono_shake : (string, Mono.file) transform
145 val toMono_opt2 : (string, Mono.file) transform 146 val toMono_opt2 : (string, Mono.file) transform
147 val toIflow : (string, Mono.file) transform
146 val toJscomp : (string, Mono.file) transform 148 val toJscomp : (string, Mono.file) transform
147 val toMono_opt3 : (string, Mono.file) transform 149 val toMono_opt3 : (string, Mono.file) transform
148 val toFuse : (string, Mono.file) transform 150 val toFuse : (string, Mono.file) transform
149 val toUntangle2 : (string, Mono.file) transform 151 val toUntangle2 : (string, Mono.file) transform
150 val toMono_reduce2 : (string, Mono.file) transform 152 val toMono_reduce2 : (string, Mono.file) transform