Defunctionalization gets CommentBlog working

1 files changed, 8 insertions, 1 deletions

diff --git a/src/compiler.sml b/src/compiler.sml
index 9705cfaf..93a03169 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -439,12 +439,19 @@ val shake = {
 
 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,