Mercurial > urweb

comparison src/compiler.sig @ 607:0dd40b6bfdf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of RPCification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 14 Feb 2009 14:07:56 -0500
parents 7c3c21eb5b4c
children 4a125bbc602d
comparison
equal deleted inserted replaced
606:5145181b02fa 607:0dd40b6bfdf3
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 rpcify : (Core.file, Core.file) phase
69 val tag : (Core.file, Core.file) phase 70 val tag : (Core.file, Core.file) phase
70 val reduce : (Core.file, Core.file) phase 71 val reduce : (Core.file, Core.file) phase
71 val unpoly : (Core.file, Core.file) phase 72 val unpoly : (Core.file, Core.file) phase
72 val specialize : (Core.file, Core.file) phase 73 val specialize : (Core.file, Core.file) phase
73 val monoize : (Core.file, Mono.file) phase 74 val monoize : (Core.file, Mono.file) phase
90 val toExplify : (string, Expl.file) transform 91 val toExplify : (string, Expl.file) transform
91 val toCorify : (string, Core.file) transform 92 val toCorify : (string, Core.file) transform
92 val toEspecialize : (string, Core.file) transform 93 val toEspecialize : (string, Core.file) transform
93 val toCore_untangle : (string, Core.file) transform 94 val toCore_untangle : (string, Core.file) transform
94 val toShake1 : (string, Core.file) transform 95 val toShake1 : (string, Core.file) transform
96 val toRpcify : (string, Core.file) transform
95 val toTag : (string, Core.file) transform 97 val toTag : (string, Core.file) transform
96 val toReduce : (string, Core.file) transform 98 val toReduce : (string, Core.file) transform
97 val toUnpoly : (string, Core.file) transform 99 val toUnpoly : (string, Core.file) transform
98 val toSpecialize : (string, Core.file) transform 100 val toSpecialize : (string, Core.file) transform
99 val toShake2 : (string, Core.file) transform 101 val toShake2 : (string, Core.file) transform