comparison src/compiler.sig @ 2056:a9159911c3ba

New phase: Dbmodecheck
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Aug 2014 13:07:56 -0400
parents 0652f295e0fa
children ef766ef6e242
comparison
equal deleted inserted replaced
2055:7c2229aa22fc 2056:a9159911c3ba
170 val toMono_opt2 : (string, Mono.file) transform 170 val toMono_opt2 : (string, Mono.file) transform
171 val toIflow : (string, Mono.file) transform 171 val toIflow : (string, Mono.file) transform
172 val toNamejs : (string, Mono.file) transform 172 val toNamejs : (string, Mono.file) transform
173 val toNamejs_untangle : (string, Mono.file) transform 173 val toNamejs_untangle : (string, Mono.file) transform
174 val toScriptcheck : (string, Mono.file) transform 174 val toScriptcheck : (string, Mono.file) transform
175 val toDbmodecheck : (string, Mono.file) transform
175 val toJscomp : (string, Mono.file) transform 176 val toJscomp : (string, Mono.file) transform
176 val toMono_opt3 : (string, Mono.file) transform 177 val toMono_opt3 : (string, Mono.file) transform
177 val toFuse : (string, Mono.file) transform 178 val toFuse : (string, Mono.file) transform
178 val toUntangle2 : (string, Mono.file) transform 179 val toUntangle2 : (string, Mono.file) transform
179 val toMono_reduce2 : (string, Mono.file) transform 180 val toMono_reduce2 : (string, Mono.file) transform