Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
692:09df0c85f306 693:655bcc9b77e0
113 113
114 withtype decl = decl' located 114 withtype decl = decl' located
115 115
116 datatype sidedness = 116 datatype sidedness =
117 ServerOnly 117 ServerOnly
118 | ServerAndClient 118 | ServerAndPull
119 | ServerAndPullAndPush
119 120
120 type file = decl list * (Core.export_kind * string * int * typ list * typ * sidedness) list 121 type file = decl list * (Core.export_kind * string * int * typ list * typ * sidedness) list
121 122
122 end 123 end