Mercurial > urweb

comparison src/compiler.sig @ 454:9163f8014f9b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nested save compiles
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 21:24:43 -0400
parents 85819353a84f
children 685b41e85634
comparison
equal deleted inserted replaced
453:787d4931fb07 454:9163f8014f9b
61 val unnest : (Elab.file, Elab.file) phase 61 val unnest : (Elab.file, Elab.file) phase
62 val termination : (Elab.file, Elab.file) phase 62 val termination : (Elab.file, Elab.file) phase
63 val explify : (Elab.file, Expl.file) phase 63 val explify : (Elab.file, Expl.file) phase
64 val corify : (Expl.file, Core.file) phase 64 val corify : (Expl.file, Core.file) phase
65 val especialize : (Core.file, Core.file) phase 65 val especialize : (Core.file, Core.file) phase
66 val core_untangle : (Core.file, Core.file) phase
66 val shake : (Core.file, Core.file) phase 67 val shake : (Core.file, Core.file) phase
67 val tag : (Core.file, Core.file) phase 68 val tag : (Core.file, Core.file) phase
68 val reduce : (Core.file, Core.file) phase 69 val reduce : (Core.file, Core.file) phase
69 val unpoly : (Core.file, Core.file) phase 70 val unpoly : (Core.file, Core.file) phase
70 val specialize : (Core.file, Core.file) phase 71 val specialize : (Core.file, Core.file) phase
84 val toUnnest : (string, Elab.file) transform 85 val toUnnest : (string, Elab.file) transform
85 val toTermination : (string, Elab.file) transform 86 val toTermination : (string, Elab.file) transform
86 val toExplify : (string, Expl.file) transform 87 val toExplify : (string, Expl.file) transform
87 val toCorify : (string, Core.file) transform 88 val toCorify : (string, Core.file) transform
88 val toEspecialize : (string, Core.file) transform 89 val toEspecialize : (string, Core.file) transform
90 val toCore_untangle : (string, Core.file) transform
89 val toShake1 : (string, Core.file) transform 91 val toShake1 : (string, Core.file) transform
90 val toTag : (string, Core.file) transform 92 val toTag : (string, Core.file) transform
91 val toReduce : (string, Core.file) transform 93 val toReduce : (string, Core.file) transform
92 val toUnpoly : (string, Core.file) transform 94 val toUnpoly : (string, Core.file) transform
93 val toSpecialize : (string, Core.file) transform 95 val toSpecialize : (string, Core.file) transform