From dfe722a61e5c81cdfa6ed844933a14783cd9bd9c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 4 Apr 2009 14:03:39 -0400
Subject: _Really_ implement embedded closure GC; extend Scriptcheck to figure
 out when client IDs must be assigned

---
 src/cjr.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/cjr.sml')

diff --git a/src/cjr.sml b/src/cjr.sml
index 41bb6a4c..78c2e63b 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -115,7 +115,8 @@ withtype decl = decl' located
 
 datatype sidedness =
          ServerOnly
-       | ServerAndClient
+       | ServerAndPull
+       | ServerAndPullAndPush
 
 type file = decl list * (Core.export_kind * string * int * typ list * typ * sidedness) list
 
-- 
cgit v1.2.3