Mercurial > urweb

comparison src/cjr.sml @ 1349:87156c44824f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Periodic tasks
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 15:17:09 -0500
parents 8a169fc0838b
children 0577be31a435
comparison
equal deleted inserted replaced
1348:8a169fc0838b 1349:87156c44824f
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 | ClientLeaves 106 datatype task = Initialize | ClientLeaves | Periodic of Int64.int
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