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