Mercurial > urweb

comparison src/cjr.sml @ 1348:8a169fc0838b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change tasks to support parametric code; add clientLeaves
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 14:17:45 -0500
parents b4480a56cab7
children 87156c44824f
comparison
equal deleted inserted replaced
1347:b106ca8200b1 1348:8a169fc0838b
101 | ESetval of { seq : exp, count : exp } 101 | ESetval of { seq : exp, count : exp }
102 | EUnurlify of exp * typ * bool 102 | EUnurlify of exp * typ * bool
103 103
104 withtype exp = exp' located 104 withtype exp = exp' located
105 105
106 datatype task = Initialize 106 datatype task = Initialize | ClientLeaves
107 107
108 datatype decl' = 108 datatype decl' =
109 DStruct of int * (string * typ) list 109 DStruct of int * (string * typ) list
110 | DDatatype of (datatype_kind * string * int * (string * int * typ option) list) list 110 | DDatatype of (datatype_kind * string * int * (string * int * typ option) list) list
111 | DDatatypeForward of datatype_kind * string * int 111 | DDatatypeForward of datatype_kind * string * int
121 121
122 | DJavaScript of string 122 | DJavaScript of string
123 | DCookie of string 123 | DCookie of string
124 | DStyle of string 124 | DStyle of string
125 125
126 | DTask of task * exp 126 | DTask of task * string (* first arg name *) * string * exp
127 | DOnError of int 127 | DOnError of int
128 128
129 withtype decl = decl' located 129 withtype decl = decl' located
130 130
131 datatype sidedness = 131 datatype sidedness =