Mercurial > urweb

comparison src/mono.sml @ 1223:62af4cacd191

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 13:11:25 -0400
parents 00e628854005
children a2cd6664f57f
comparison
equal deleted inserted replaced
1222:117f13bdc1fd 1223:62af4cacd191
125 125
126 datatype policy = 126 datatype policy =
127 PolClient of exp 127 PolClient of exp
128 | PolInsert of exp 128 | PolInsert of exp
129 | PolDelete of exp 129 | PolDelete of exp
130 | PolUpdate of exp
130 131
131 datatype decl' = 132 datatype decl' =
132 DDatatype of (string * int * (string * int * typ option) list) list 133 DDatatype of (string * int * (string * int * typ option) list) list
133 | DVal of string * int * typ * exp * string 134 | DVal of string * int * typ * exp * string
134 | DValRec of (string * int * typ * exp * string) list 135 | DValRec of (string * int * typ * exp * string) list