Mercurial > urweb

comparison src/compiler.sig @ 484:685b41e85634

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Defunctionalization gets CommentBlog working
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 16:54:42 -0500
parents 9163f8014f9b
children 5521bb0b4014
comparison
equal deleted inserted replaced
483:a0f47540d8ad 484:685b41e85634
63 val explify : (Elab.file, Expl.file) phase 63 val explify : (Elab.file, Expl.file) phase
64 val corify : (Expl.file, Core.file) phase 64 val corify : (Expl.file, Core.file) phase
65 val especialize : (Core.file, Core.file) phase 65 val especialize : (Core.file, Core.file) phase
66 val core_untangle : (Core.file, Core.file) phase 66 val core_untangle : (Core.file, Core.file) phase
67 val shake : (Core.file, Core.file) phase 67 val shake : (Core.file, Core.file) phase
68 val defunc : (Core.file, Core.file) phase
68 val tag : (Core.file, Core.file) phase 69 val tag : (Core.file, Core.file) phase
69 val reduce : (Core.file, Core.file) phase 70 val reduce : (Core.file, Core.file) phase
70 val unpoly : (Core.file, Core.file) phase 71 val unpoly : (Core.file, Core.file) phase
71 val specialize : (Core.file, Core.file) phase 72 val specialize : (Core.file, Core.file) phase
72 val monoize : (Core.file, Mono.file) phase 73 val monoize : (Core.file, Mono.file) phase
87 val toExplify : (string, Expl.file) transform 88 val toExplify : (string, Expl.file) transform
88 val toCorify : (string, Core.file) transform 89 val toCorify : (string, Core.file) transform
89 val toEspecialize : (string, Core.file) transform 90 val toEspecialize : (string, Core.file) transform
90 val toCore_untangle : (string, Core.file) transform 91 val toCore_untangle : (string, Core.file) transform
91 val toShake1 : (string, Core.file) transform 92 val toShake1 : (string, Core.file) transform
93 val toDefunc : (string, Core.file) transform
92 val toTag : (string, Core.file) transform 94 val toTag : (string, Core.file) transform
93 val toReduce : (string, Core.file) transform 95 val toReduce : (string, Core.file) transform
94 val toUnpoly : (string, Core.file) transform 96 val toUnpoly : (string, Core.file) transform
95 val toSpecialize : (string, Core.file) transform 97 val toSpecialize : (string, Core.file) transform
96 val toShake2 : (string, Core.file) transform 98 val toShake2 : (string, Core.file) transform