Mercurial > urweb

comparison src/compiler.sig @ 313:e0ed0d4dabc9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Termination checking
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Sep 2008 11:46:33 -0400
parents 0236d9412ad2
children e21d0dddda09
comparison
equal deleted inserted replaced
312:f387d12193ba 313:e0ed0d4dabc9
54 val parseUrs : (string, Source.sgn_item list) phase 54 val parseUrs : (string, Source.sgn_item list) phase
55 val parseUrp : (string, job) phase 55 val parseUrp : (string, job) phase
56 56
57 val parse : (job, Source.file) phase 57 val parse : (job, Source.file) phase
58 val elaborate : (Source.file, Elab.file) phase 58 val elaborate : (Source.file, Elab.file) phase
59 val termination : (Elab.file, Elab.file) phase
59 val explify : (Elab.file, Expl.file) phase 60 val explify : (Elab.file, Expl.file) phase
60 val corify : (Expl.file, Core.file) phase 61 val corify : (Expl.file, Core.file) phase
61 val shake : (Core.file, Core.file) phase 62 val shake : (Core.file, Core.file) phase
62 val tag : (Core.file, Core.file) phase 63 val tag : (Core.file, Core.file) phase
63 val reduce : (Core.file, Core.file) phase 64 val reduce : (Core.file, Core.file) phase
72 val sqlify : (Mono.file, Cjr.file) phase 73 val sqlify : (Mono.file, Cjr.file) phase
73 74
74 val toParseJob : (string, job) transform 75 val toParseJob : (string, job) transform
75 val toParse : (string, Source.file) transform 76 val toParse : (string, Source.file) transform
76 val toElaborate : (string, Elab.file) transform 77 val toElaborate : (string, Elab.file) transform
78 val toTermination : (string, Elab.file) transform
77 val toExplify : (string, Expl.file) transform 79 val toExplify : (string, Expl.file) transform
78 val toCorify : (string, Core.file) transform 80 val toCorify : (string, Core.file) transform
79 val toShake1 : (string, Core.file) transform 81 val toShake1 : (string, Core.file) transform
80 val toTag : (string, Core.file) transform 82 val toTag : (string, Core.file) transform
81 val toReduce : (string, Core.file) transform 83 val toReduce : (string, Core.file) transform