Mercurial > urweb

comparison src/compiler.sig @ 1062:3bc726a822fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Shake bug fix; pattern reduction in ReduceLocal
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Dec 2009 11:45:19 -0500
parents 36efaf119b85
children d069b193ed6b
comparison
equal deleted inserted replaced
1061:e8a35d710ab9 1062:3bc726a822fb
113 val toCore_untangle : (string, Core.file) transform 113 val toCore_untangle : (string, Core.file) transform
114 val toShake1 : (string, Core.file) transform 114 val toShake1 : (string, Core.file) transform
115 val toRpcify : (string, Core.file) transform 115 val toRpcify : (string, Core.file) transform
116 val toCore_untangle2 : (string, Core.file) transform 116 val toCore_untangle2 : (string, Core.file) transform
117 val toShake2 : (string, Core.file) transform 117 val toShake2 : (string, Core.file) transform
118 val toEspecialize1 : (string, Core.file) transform
119 val toCore_untangle3 : (string, Core.file) transform
120 val toShake3 : (string, Core.file) transform
118 val toTag : (string, Core.file) transform 121 val toTag : (string, Core.file) transform
119 val toReduce : (string, Core.file) transform 122 val toReduce : (string, Core.file) transform
120 val toUnpoly : (string, Core.file) transform 123 val toUnpoly : (string, Core.file) transform
121 val toSpecialize : (string, Core.file) transform 124 val toSpecialize : (string, Core.file) transform
122 val toShake3 : (string, Core.file) transform 125 val toShake4 : (string, Core.file) transform
123 val toEspecialize : (string, Core.file) transform 126 val toEspecialize2 : (string, Core.file) transform
124 val toReduce2 : (string, Core.file) transform 127 val toReduce2 : (string, Core.file) transform
125 val toShake4 : (string, Core.file) transform 128 val toShake5 : (string, Core.file) transform
126 val toMarshalcheck : (string, Core.file) transform 129 val toMarshalcheck : (string, Core.file) transform
127 val toEffectize : (string, Core.file) transform 130 val toEffectize : (string, Core.file) transform
128 val toMonoize : (string, Mono.file) transform 131 val toMonoize : (string, Mono.file) transform
129 val toMono_opt1 : (string, Mono.file) transform 132 val toMono_opt1 : (string, Mono.file) transform
130 val toUntangle : (string, Mono.file) transform 133 val toUntangle : (string, Mono.file) transform