Mercurial > urweb

comparison src/compiler.sig @ 448:85819353a84f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First Unnest tests working
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 15:58:55 -0400
parents bd9ee9aeca2f
children 9163f8014f9b
comparison
equal deleted inserted replaced
447:b77863cd0be2 448:85819353a84f
56 val parseUrs : (string, Source.sgn_item list) phase 56 val parseUrs : (string, Source.sgn_item list) phase
57 val parseUrp : (string, job) phase 57 val parseUrp : (string, job) phase
58 58
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 unnest : (Elab.file, Elab.file) phase
61 val termination : (Elab.file, Elab.file) phase 62 val termination : (Elab.file, Elab.file) phase
62 val explify : (Elab.file, Expl.file) phase 63 val explify : (Elab.file, Expl.file) phase
63 val corify : (Expl.file, Core.file) phase 64 val corify : (Expl.file, Core.file) phase
64 val especialize : (Core.file, Core.file) phase 65 val especialize : (Core.file, Core.file) phase
65 val shake : (Core.file, Core.file) phase 66 val shake : (Core.file, Core.file) phase
78 val sqlify : (Mono.file, Cjr.file) phase 79 val sqlify : (Mono.file, Cjr.file) phase
79 80
80 val toParseJob : (string, job) transform 81 val toParseJob : (string, job) transform
81 val toParse : (string, Source.file) transform 82 val toParse : (string, Source.file) transform
82 val toElaborate : (string, Elab.file) transform 83 val toElaborate : (string, Elab.file) transform
84 val toUnnest : (string, Elab.file) transform
83 val toTermination : (string, Elab.file) transform 85 val toTermination : (string, Elab.file) transform
84 val toExplify : (string, Expl.file) transform 86 val toExplify : (string, Expl.file) transform
85 val toCorify : (string, Core.file) transform 87 val toCorify : (string, Core.file) transform
86 val toEspecialize : (string, Core.file) transform 88 val toEspecialize : (string, Core.file) transform
87 val toShake1 : (string, Core.file) transform 89 val toShake1 : (string, Core.file) transform