comparison src/compiler.sig @ 916:b873feb3eb52

dragList almost kinda works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Sep 2009 10:18:19 -0400
parents d1d0b18afd3d
children 2831be2daf2e
comparison
equal deleted inserted replaced
915:5e8b6fa5b48f 916:b873feb3eb52
134 val toMono_opt3 : (string, Mono.file) transform 134 val toMono_opt3 : (string, Mono.file) transform
135 val toFuse : (string, Mono.file) transform 135 val toFuse : (string, Mono.file) transform
136 val toUntangle2 : (string, Mono.file) transform 136 val toUntangle2 : (string, Mono.file) transform
137 val toMono_reduce2 : (string, Mono.file) transform 137 val toMono_reduce2 : (string, Mono.file) transform
138 val toMono_shake2 : (string, Mono.file) transform 138 val toMono_shake2 : (string, Mono.file) transform
139 val toMono_opt4 : (string, Mono.file) transform
140 val toFuse2 : (string, Mono.file) transform
141 val toUntangle3 : (string, Mono.file) transform
142 val toMono_shake3 : (string, Mono.file) transform
139 val toPathcheck : (string, Mono.file) transform 143 val toPathcheck : (string, Mono.file) transform
140 val toCjrize : (string, Cjr.file) transform 144 val toCjrize : (string, Cjr.file) transform
141 val toScriptcheck : (string, Cjr.file) transform 145 val toScriptcheck : (string, Cjr.file) transform
142 val toPrepare : (string, Cjr.file) transform 146 val toPrepare : (string, Cjr.file) transform
143 val toChecknest : (string, Cjr.file) transform 147 val toChecknest : (string, Cjr.file) transform