diff options
author | 2009-02-14 14:07:56 -0500 | |
---|---|---|
committer | 2009-02-14 14:07:56 -0500 | |
commit | a89a3e41b94c294e1f08d369f2558e12b532e430 (patch) | |
tree | d009d124587d5ea580081e4d2fccfb6ac9c21d69 /src/compiler.sml | |
parent | f9fc82e21b19e56f2f43f0e26d421c6364a1bf51 (diff) |
Start of RPCification
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 52181401..aecefbcf 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -446,12 +446,19 @@ val shake = { val toShake1 = transform shake "shake1" o toCore_untangle +val rpcify = { + func = Rpcify.frob, + print = CorePrint.p_file CoreEnv.empty +} + +val toRpcify = transform rpcify "rpcify" 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 toRpcify val reduce = { func = Reduce.reduce, |