diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-17 19:01:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-17 19:01:04 -0400 |
| commit | e5e468f67bf1442ad295681039ce31e17931ba5d (patch) | |
| tree | d0d80327ab5a8d6c922a25646ac1c48ee20a57b9 /src/compiler.sml | |
| parent | 86440d5a251741c3c1a279646b949c35eb25b4a2 (diff) | |
Grid changed to use Dlist.replace; filters stopped 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 bb1a6add..67ce962e 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -779,7 +779,14 @@ val toShake3 = transform shake "shake3" o toSpecialize val toEspecialize = transform especialize "especialize" o toShake3 -val toReduce2 = transform reduce "reduce2" o toEspecialize +val tailify = { + func = Tailify.frob, + print = CorePrint.p_file CoreEnv.empty +} + +val toTailify = transform tailify "tailify" o toEspecialize + +val toReduce2 = transform reduce "reduce2" o toTailify val toShake4 = transform shake "shake4" o toReduce2 |