summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-03-10 16:38:38 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-03-10 16:38:38 -0400
commit4bc363c5ec2724b9d310e17181ca87517c98aa68 (patch)
treec0dff25071f38e045374e6d001ef7356af04e5db /src
parentb8e7b835e7cde4cf374138467da8b16e93a65eb9 (diff)
BatchG demo
Diffstat (limited to 'src')
-rw-r--r--src/rpcify.sml21
1 files changed, 14 insertions, 7 deletions
diff --git a/src/rpcify.sml b/src/rpcify.sml
index 7e731f63..13d42390 100644
--- a/src/rpcify.sml
+++ b/src/rpcify.sml
@@ -71,13 +71,16 @@ type state = {
fun frob file =
let
- fun sideish (basis, ssids) =
- U.Exp.exists {kind = fn _ => false,
- con = fn _ => false,
- exp = fn ENamed n => IS.member (ssids, n)
- | EFfi ("Basis", x) => SS.member (basis, x)
- | EFfiApp ("Basis", x, _) => SS.member (basis, x)
- | _ => false}
+ fun sideish (basis, ssids) e =
+ case #1 e of
+ ERecord _ => false
+ | _ =>
+ U.Exp.exists {kind = fn _ => false,
+ con = fn _ => false,
+ exp = fn ENamed n => IS.member (ssids, n)
+ | EFfi ("Basis", x) => SS.member (basis, x)
+ | EFfiApp ("Basis", x, _) => SS.member (basis, x)
+ | _ => false} e
fun whichIds basis =
let
@@ -331,6 +334,10 @@ fun frob file =
CorePrint.p_exp CoreEnv.empty (e, loc))];
raise Fail "Rpcify: Undetected transaction function [2]")
| SOME x => x
+
+ val () = Print.prefaces "Double true"
+ [("trans1", CorePrint.p_exp CoreEnv.empty trans1),
+ ("e", CorePrint.p_exp CoreEnv.empty e)]
val n' = #maxName st