summaryrefslogtreecommitdiff
path: root/src/cjrize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-04 14:03:39 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-04 14:03:39 -0400
commitdfe722a61e5c81cdfa6ed844933a14783cd9bd9c (patch)
treef845ffce49085952ab6313d30ed7d977dc2ab8d6 /src/cjrize.sml
parentabb3bffd224cb7bdbbbc1461643a8e58fb03ed8f (diff)
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
Diffstat (limited to 'src/cjrize.sml')
-rw-r--r--src/cjrize.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml
index 27287d6e..998ae38e 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -520,7 +520,7 @@ fun cifyDecl ((d, loc), sm) =
val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
val (t, sm) = cifyTyp (t, sm)
in
- (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndClient), sm)
+ (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndPullAndPush), sm)
end
| L.DTable (s, xts) =>