comparison src/compiler.sig @ 1186:a4ac900d3085

Remove unpoly1
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Mar 2010 15:39:16 -0400
parents 9d3ccb8b39ac
children 5eac14322548
comparison
equal deleted inserted replaced
1185:338be96f8533 1186:a4ac900d3085
88 val shake : (Core.file, Core.file) phase 88 val shake : (Core.file, Core.file) phase
89 val rpcify : (Core.file, Core.file) phase 89 val rpcify : (Core.file, Core.file) phase
90 val tag : (Core.file, Core.file) phase 90 val tag : (Core.file, Core.file) phase
91 val reduce : (Core.file, Core.file) phase 91 val reduce : (Core.file, Core.file) phase
92 val unpoly : (Core.file, Core.file) phase 92 val unpoly : (Core.file, Core.file) phase
93 val especialize : (Core.file, Core.file) phase
93 val specialize : (Core.file, Core.file) phase 94 val specialize : (Core.file, Core.file) phase
94 val marshalcheck : (Core.file, Core.file) phase 95 val marshalcheck : (Core.file, Core.file) phase
95 val effectize : (Core.file, Core.file) phase 96 val effectize : (Core.file, Core.file) phase
96 val css : (Core.file, Css.report) phase 97 val css : (Core.file, Css.report) phase
97 val monoize : (Core.file, Mono.file) phase 98 val monoize : (Core.file, Mono.file) phase
119 val toCore_untangle : (string, Core.file) transform 120 val toCore_untangle : (string, Core.file) transform
120 val toShake1 : (string, Core.file) transform 121 val toShake1 : (string, Core.file) transform
121 val toRpcify : (string, Core.file) transform 122 val toRpcify : (string, Core.file) transform
122 val toCore_untangle2 : (string, Core.file) transform 123 val toCore_untangle2 : (string, Core.file) transform
123 val toShake2 : (string, Core.file) transform 124 val toShake2 : (string, Core.file) transform
124 val toUnpoly1 : (string, Core.file) transform
125 val toEspecialize1 : (string, Core.file) transform 125 val toEspecialize1 : (string, Core.file) transform
126 val toCore_untangle3 : (string, Core.file) transform 126 val toCore_untangle3 : (string, Core.file) transform
127 val toShake3 : (string, Core.file) transform 127 val toShake3 : (string, Core.file) transform
128 val toTag : (string, Core.file) transform 128 val toTag : (string, Core.file) transform
129 val toReduce : (string, Core.file) transform 129 val toReduce : (string, Core.file) transform
130 val toUnpoly2 : (string, Core.file) transform 130 val toShakey : (string, Core.file) transform
131 val toUnpoly : (string, Core.file) transform
131 val toSpecialize : (string, Core.file) transform 132 val toSpecialize : (string, Core.file) transform
132 val toShake4 : (string, Core.file) transform 133 val toShake4 : (string, Core.file) transform
133 val toEspecialize2 : (string, Core.file) transform 134 val toEspecialize2 : (string, Core.file) transform
134 val toReduce2 : (string, Core.file) transform 135 val toReduce2 : (string, Core.file) transform
135 val toShake5 : (string, Core.file) transform 136 val toShake5 : (string, Core.file) transform