diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 15:29:39 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 15:29:39 -0400 |
commit | 55d10dd587a94d356096c2dfc39306c14b55c7bf (patch) | |
tree | fa0fcff27c8418c9e6beccbce3c846678e71f07e /src/compiler.sml | |
parent | 6d021ead0f73c5a28080b50a1bd08b1ab72590c9 (diff) |
Effectness analysis
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 6a43d94e..5223abe9 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -505,12 +505,19 @@ val marshalcheck = { val toMarshalcheck = transform marshalcheck "marshalcheck" o toShake3 +val effectize = { + func = Effective.effectize, + print = CorePrint.p_file CoreEnv.empty +} + +val toEffectize = transform effectize "effectize" o toMarshalcheck + val monoize = { func = Monoize.monoize CoreEnv.empty, print = MonoPrint.p_file MonoEnv.empty } -val toMonoize = transform monoize "monoize" o toMarshalcheck +val toMonoize = transform monoize "monoize" o toEffectize val mono_opt = { func = MonoOpt.optimize, |