diff options
author | 2009-03-08 20:34:21 -0400 | |
---|---|---|
committer | 2009-03-08 20:34:21 -0400 | |
commit | 2b9a7afa2abf672396d5ee38d9301f88b9a06dff (patch) | |
tree | 8c31380919fec41eaf59c882a30eec7106838f6c /src/compiler.sml | |
parent | d8d9309a0242408460488de0c44029d74c7b3113 (diff) |
Conversion of functions to CPS, to facilitate ServerCall
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index a01dbe2b..d74da2a6 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -453,12 +453,15 @@ val rpcify = { val toRpcify = transform rpcify "rpcify" o toShake1 +val toCore_untangle2 = transform core_untangle "core_untangle2" o toRpcify +val toShake2 = transform shake "shake2" o toCore_untangle2 + val tag = { func = Tag.tag, print = CorePrint.p_file CoreEnv.empty } -val toTag = transform tag "tag" o toRpcify +val toTag = transform tag "tag" o toCore_untangle2 val reduce = { func = Reduce.reduce, @@ -481,14 +484,14 @@ val specialize = { val toSpecialize = transform specialize "specialize" o toUnpoly -val toShake2 = transform shake "shake2" o toSpecialize +val toShake3 = transform shake "shake3" o toSpecialize val monoize = { func = Monoize.monoize CoreEnv.empty, print = MonoPrint.p_file MonoEnv.empty } -val toMonoize = transform monoize "monoize" o toShake2 +val toMonoize = transform monoize "monoize" o toShake3 val mono_opt = { func = MonoOpt.optimize, |