diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-09 16:54:42 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-09 16:54:42 -0500 |
commit | 6d1ea82d46cb6f34b45d6e5abab29cacf006f1fb (patch) | |
tree | 48a83b81a63f0a0fddbda35a618ef1602b59627c /src/compiler.sml | |
parent | b1e02a9df5f341b5e1298085df0aef70f11ae424 (diff) |
Defunctionalization gets CommentBlog working
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 9 |
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, |