Mercurial > urweb

comparison src/mono.sml @ 1220:526575a9537a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Insert policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 10:57:52 -0400
parents 648e6b087dfb
children 00e628854005
comparison
equal deleted inserted replaced
1219:3224faec752d 1220:526575a9537a
121 | ESleep of exp 121 | ESleep of exp
122 | ESpawn of exp 122 | ESpawn of exp
123 123
124 withtype exp = exp' located 124 withtype exp = exp' located
125 125
126 datatype policy = PolClient of exp 126 datatype policy =
127 PolClient of exp
128 | PolInsert of exp
127 129
128 datatype decl' = 130 datatype decl' =
129 DDatatype of (string * int * (string * int * typ option) list) list 131 DDatatype of (string * int * (string * int * typ option) list) list
130 | DVal of string * int * typ * exp * string 132 | DVal of string * int * typ * exp * string
131 | DValRec of (string * int * typ * exp * string) list 133 | DValRec of (string * int * typ * exp * string) list