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,