Mercurial > urweb
diff src/compiler.sml @ 607:0dd40b6bfdf3
Start of RPCification
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 14 Feb 2009 14:07:56 -0500 |
parents | 7c3c21eb5b4c |
children | 47947d6e9750 |
line wrap: on
line diff
--- a/src/compiler.sml Tue Jan 27 09:53:51 2009 -0500 +++ b/src/compiler.sml Sat Feb 14 14:07:56 2009 -0500 @@ -446,12 +446,19 @@ 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,