Mercurial > urweb
comparison src/compiler.sig @ 488:5521bb0b4014
Get preliminary ThreadedBlog working
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 11 Nov 2008 15:12:24 -0500 |
parents | 685b41e85634 |
children | 8875ff2e85dc |
comparison
equal
deleted
inserted
replaced
487:33d5bd69da00 | 488:5521bb0b4014 |
---|---|
88 val toExplify : (string, Expl.file) transform | 88 val toExplify : (string, Expl.file) transform |
89 val toCorify : (string, Core.file) transform | 89 val toCorify : (string, Core.file) transform |
90 val toEspecialize : (string, Core.file) transform | 90 val toEspecialize : (string, Core.file) transform |
91 val toCore_untangle : (string, Core.file) transform | 91 val toCore_untangle : (string, Core.file) transform |
92 val toShake1 : (string, Core.file) transform | 92 val toShake1 : (string, Core.file) transform |
93 val toDefunc : (string, Core.file) transform | 93 val toDefunc : (string, Core.file) transform |
94 val toShake1' : (string, Core.file) transform | |
94 val toTag : (string, Core.file) transform | 95 val toTag : (string, Core.file) transform |
95 val toReduce : (string, Core.file) transform | 96 val toReduce : (string, Core.file) transform |
96 val toUnpoly : (string, Core.file) transform | 97 val toUnpoly : (string, Core.file) transform |
97 val toSpecialize : (string, Core.file) transform | 98 val toSpecialize : (string, Core.file) transform |
98 val toShake2 : (string, Core.file) transform | 99 val toShake2 : (string, Core.file) transform |