Mercurial > urweb

diff src/cjr.sml @ 693:655bcc9b77e0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 14:03:39 -0400
parents a3ddf05fb3e3
children 70cbdcf5989b
line wrap: on
line diff
--- a/src/cjr.sml	Sat Apr 04 12:54:39 2009 -0400
+++ b/src/cjr.sml	Sat Apr 04 14:03:39 2009 -0400
@@ -115,7 +115,8 @@
 
 datatype sidedness =
          ServerOnly
-       | ServerAndClient
+       | ServerAndPull
+       | ServerAndPullAndPush
 
 type file = decl list * (Core.export_kind * string * int * typ list * typ * sidedness) list