Mercurial > urweb
diff src/compiler.sml @ 484:685b41e85634
Defunctionalization gets CommentBlog working
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 09 Nov 2008 16:54:42 -0500 |
parents | 9117a7bf229c |
children | 5521bb0b4014 |
line wrap: on
line diff
--- a/src/compiler.sml Sun Nov 09 12:41:34 2008 -0500 +++ b/src/compiler.sml Sun Nov 09 16:54:42 2008 -0500 @@ -439,12 +439,19 @@ val toShake1 = transform shake "shake1" o toCore_untangle +val defunc = { + func = Defunc.defunc, + print = CorePrint.p_file CoreEnv.empty +} + +val toDefunc = transform defunc "defunc" o toShake1 + val tag = { func = Tag.tag, print = CorePrint.p_file CoreEnv.empty } -val toTag = transform tag "tag" o toShake1 +val toTag = transform tag "tag" o toDefunc val reduce = { func = Reduce.reduce,