Mercurial > urweb

comparison src/compiler.sig @ 794:dc3fc3f3b834

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improving/reordering Unpoly and Especialize; pathmaps
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 08:13:54 -0400
parents efceae06df17
children 03e7f111fe99
comparison
equal deleted inserted replaced
793:3e5d1c6ae30c 794:dc3fc3f3b834
75 val elaborate : (Source.file, Elab.file) phase 75 val elaborate : (Source.file, Elab.file) phase
76 val unnest : (Elab.file, Elab.file) phase 76 val unnest : (Elab.file, Elab.file) phase
77 val termination : (Elab.file, Elab.file) phase 77 val termination : (Elab.file, Elab.file) phase
78 val explify : (Elab.file, Expl.file) phase 78 val explify : (Elab.file, Expl.file) phase
79 val corify : (Expl.file, Core.file) phase 79 val corify : (Expl.file, Core.file) phase
80 val especialize : (Core.file, Core.file) phase
81 val core_untangle : (Core.file, Core.file) phase 80 val core_untangle : (Core.file, Core.file) phase
82 val shake : (Core.file, Core.file) phase 81 val shake : (Core.file, Core.file) phase
83 val rpcify : (Core.file, Core.file) phase 82 val rpcify : (Core.file, Core.file) phase
84 val tag : (Core.file, Core.file) phase 83 val tag : (Core.file, Core.file) phase
85 val reduce : (Core.file, Core.file) phase 84 val reduce : (Core.file, Core.file) phase
105 val toElaborate : (string, Elab.file) transform 104 val toElaborate : (string, Elab.file) transform
106 val toUnnest : (string, Elab.file) transform 105 val toUnnest : (string, Elab.file) transform
107 val toTermination : (string, Elab.file) transform 106 val toTermination : (string, Elab.file) transform
108 val toExplify : (string, Expl.file) transform 107 val toExplify : (string, Expl.file) transform
109 val toCorify : (string, Core.file) transform 108 val toCorify : (string, Core.file) transform
110 val toEspecialize : (string, Core.file) transform
111 val toCore_untangle : (string, Core.file) transform 109 val toCore_untangle : (string, Core.file) transform
112 val toShake1 : (string, Core.file) transform 110 val toShake1 : (string, Core.file) transform
113 val toRpcify : (string, Core.file) transform 111 val toRpcify : (string, Core.file) transform
114 val toCore_untangle2 : (string, Core.file) transform 112 val toCore_untangle2 : (string, Core.file) transform
115 val toShake2 : (string, Core.file) transform 113 val toShake2 : (string, Core.file) transform
116 val toTag : (string, Core.file) transform 114 val toTag : (string, Core.file) transform
117 val toReduce : (string, Core.file) transform 115 val toReduce : (string, Core.file) transform
118 val toUnpoly : (string, Core.file) transform 116 val toUnpoly : (string, Core.file) transform
119 val toSpecialize : (string, Core.file) transform 117 val toSpecialize : (string, Core.file) transform
120 val toShake3 : (string, Core.file) transform 118 val toShake3 : (string, Core.file) transform
119 val toEspecialize : (string, Core.file) transform
120 val toShake4 : (string, Core.file) transform
121 val toMarshalcheck : (string, Core.file) transform 121 val toMarshalcheck : (string, Core.file) transform
122 val toEffectize : (string, Core.file) transform 122 val toEffectize : (string, Core.file) transform
123 val toMonoize : (string, Mono.file) transform 123 val toMonoize : (string, Mono.file) transform
124 val toMono_opt1 : (string, Mono.file) transform 124 val toMono_opt1 : (string, Mono.file) transform
125 val toUntangle : (string, Mono.file) transform 125 val toUntangle : (string, Mono.file) transform