Mercurial > urweb

comparison src/compiler.sig @ 1276:5b5c0b552f59

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Another run of Specialize, using ReduceLocal on datatype parameters
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Jun 2010 09:42:37 -0400
parents 56bd4a4f6e66
children b4480a56cab7
comparison
equal deleted inserted replaced
1275:74150edf1134 1276:5b5c0b552f59
132 val toUnpoly : (string, Core.file) transform 132 val toUnpoly : (string, Core.file) transform
133 val toSpecialize : (string, Core.file) transform 133 val toSpecialize : (string, Core.file) transform
134 val toShake4 : (string, Core.file) transform 134 val toShake4 : (string, Core.file) transform
135 val toEspecialize2 : (string, Core.file) transform 135 val toEspecialize2 : (string, Core.file) transform
136 val toShake4' : (string, Core.file) transform 136 val toShake4' : (string, Core.file) transform
137 val toSpecialize2 : (string, Core.file) transform
137 val toUnpoly2 : (string, Core.file) transform 138 val toUnpoly2 : (string, Core.file) transform
138 val toShake4'' : (string, Core.file) transform 139 val toShake4'' : (string, Core.file) transform
139 val toEspecialize3 : (string, Core.file) transform 140 val toEspecialize3 : (string, Core.file) transform
140 val toReduce2 : (string, Core.file) transform 141 val toReduce2 : (string, Core.file) transform
141 val toShake5 : (string, Core.file) transform 142 val toShake5 : (string, Core.file) transform