Mercurial > urweb

comparison src/compiler.sig @ 443:bd9ee9aeca2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 16:58:54 -0400
parents 5de838fb0950
children 85819353a84f
comparison
equal deleted inserted replaced
442:9095a95a1bf9 443:bd9ee9aeca2f
59 val parse : (job, Source.file) phase 59 val parse : (job, Source.file) phase
60 val elaborate : (Source.file, Elab.file) phase 60 val elaborate : (Source.file, Elab.file) phase
61 val termination : (Elab.file, Elab.file) phase 61 val termination : (Elab.file, Elab.file) phase
62 val explify : (Elab.file, Expl.file) phase 62 val explify : (Elab.file, Expl.file) phase
63 val corify : (Expl.file, Core.file) phase 63 val corify : (Expl.file, Core.file) phase
64 val especialize : (Core.file, Core.file) phase
64 val shake : (Core.file, Core.file) phase 65 val shake : (Core.file, Core.file) phase
65 val tag : (Core.file, Core.file) phase 66 val tag : (Core.file, Core.file) phase
66 val reduce : (Core.file, Core.file) phase 67 val reduce : (Core.file, Core.file) phase
67 val unpoly : (Core.file, Core.file) phase 68 val unpoly : (Core.file, Core.file) phase
68 val specialize : (Core.file, Core.file) phase 69 val specialize : (Core.file, Core.file) phase
80 val toParse : (string, Source.file) transform 81 val toParse : (string, Source.file) transform
81 val toElaborate : (string, Elab.file) transform 82 val toElaborate : (string, Elab.file) transform
82 val toTermination : (string, Elab.file) transform 83 val toTermination : (string, Elab.file) transform
83 val toExplify : (string, Expl.file) transform 84 val toExplify : (string, Expl.file) transform
84 val toCorify : (string, Core.file) transform 85 val toCorify : (string, Core.file) transform
86 val toEspecialize : (string, Core.file) transform
85 val toShake1 : (string, Core.file) transform 87 val toShake1 : (string, Core.file) transform
86 val toTag : (string, Core.file) transform 88 val toTag : (string, Core.file) transform
87 val toReduce : (string, Core.file) transform 89 val toReduce : (string, Core.file) transform
88 val toUnpoly : (string, Core.file) transform 90 val toUnpoly : (string, Core.file) transform
89 val toSpecialize : (string, Core.file) transform 91 val toSpecialize : (string, Core.file) transform