Mercurial > urweb
diff src/compiler.sml @ 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 |
line wrap: on
line diff
--- a/src/compiler.sml Tue Nov 11 11:49:51 2008 -0500 +++ b/src/compiler.sml Tue Nov 11 15:12:24 2008 -0500 @@ -446,12 +446,15 @@ val toDefunc = transform defunc "defunc" o toShake1 +val toCore_untangle' = transform core_untangle "core_untangle'" o toDefunc +val toShake1' = transform shake "shake1'" o toCore_untangle' + val tag = { func = Tag.tag, print = CorePrint.p_file CoreEnv.empty } -val toTag = transform tag "tag" o toDefunc +val toTag = transform tag "tag" o toShake1' val reduce = { func = Reduce.reduce,