comparison src/cjr.sml @ 1075:0657e5adc938

Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children 72670131dace
comparison
equal deleted inserted replaced
1074:d89f98f0b4bb 1075:0657e5adc938
98 | ESetval of { seq : exp, count : exp } 98 | ESetval of { seq : exp, count : exp }
99 | EUnurlify of exp * typ 99 | EUnurlify of exp * typ
100 100
101 withtype exp = exp' located 101 withtype exp = exp' located
102 102
103 datatype task = Initialize
104
103 datatype decl' = 105 datatype decl' =
104 DStruct of int * (string * typ) list 106 DStruct of int * (string * typ) list
105 | DDatatype of (datatype_kind * string * int * (string * int * typ option) list) list 107 | DDatatype of (datatype_kind * string * int * (string * int * typ option) list) list
106 | DDatatypeForward of datatype_kind * string * int 108 | DDatatypeForward of datatype_kind * string * int
107 | DVal of string * int * typ * exp 109 | DVal of string * int * typ * exp
116 118
117 | DJavaScript of string 119 | DJavaScript of string
118 | DCookie of string 120 | DCookie of string
119 | DStyle of string 121 | DStyle of string
120 122
121 | DInitializer of exp 123 | DTask of task * exp
122 124
123 withtype decl = decl' located 125 withtype decl = decl' located
124 126
125 datatype sidedness = 127 datatype sidedness =
126 ServerOnly 128 ServerOnly