Mercurial > urweb

comparison src/compiler.sig @ 515:4929cf86bc03

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stop using redundant Defunc pass
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 Nov 2008 10:46:45 -0500
parents 65d8541c130b
children 1901db85acb4
comparison
equal deleted inserted replaced
514:0fc08d1750e1 515:4929cf86bc03
64 val explify : (Elab.file, Expl.file) phase 64 val explify : (Elab.file, Expl.file) phase
65 val corify : (Expl.file, Core.file) phase 65 val corify : (Expl.file, Core.file) phase
66 val especialize : (Core.file, Core.file) phase 66 val especialize : (Core.file, Core.file) phase
67 val core_untangle : (Core.file, Core.file) phase 67 val core_untangle : (Core.file, Core.file) phase
68 val shake : (Core.file, Core.file) phase 68 val shake : (Core.file, Core.file) phase
69 val defunc : (Core.file, Core.file) phase
70 val tag : (Core.file, Core.file) phase 69 val tag : (Core.file, Core.file) phase
71 val reduce : (Core.file, Core.file) phase 70 val reduce : (Core.file, Core.file) phase
72 val unpoly : (Core.file, Core.file) phase 71 val unpoly : (Core.file, Core.file) phase
73 val specialize : (Core.file, Core.file) phase 72 val specialize : (Core.file, Core.file) phase
74 val monoize : (Core.file, Mono.file) phase 73 val monoize : (Core.file, Mono.file) phase
90 val toExplify : (string, Expl.file) transform 89 val toExplify : (string, Expl.file) transform
91 val toCorify : (string, Core.file) transform 90 val toCorify : (string, Core.file) transform
92 val toEspecialize : (string, Core.file) transform 91 val toEspecialize : (string, Core.file) transform
93 val toCore_untangle : (string, Core.file) transform 92 val toCore_untangle : (string, Core.file) transform
94 val toShake1 : (string, Core.file) transform 93 val toShake1 : (string, Core.file) transform
95 val toDefunc : (string, Core.file) transform
96 val toShake1' : (string, Core.file) transform
97 val toTag : (string, Core.file) transform 94 val toTag : (string, Core.file) transform
98 val toReduce : (string, Core.file) transform 95 val toReduce : (string, Core.file) transform
99 val toUnpoly : (string, Core.file) transform 96 val toUnpoly : (string, Core.file) transform
100 val toSpecialize : (string, Core.file) transform 97 val toSpecialize : (string, Core.file) transform
101 val toShake2 : (string, Core.file) transform 98 val toShake2 : (string, Core.file) transform