Mercurial > urweb

comparison src/mono.sml @ 1221:00e628854005

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Delete policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 12:38:21 -0400
parents 526575a9537a
children 62af4cacd191
comparison
equal deleted inserted replaced
1220:526575a9537a 1221:00e628854005
124 withtype exp = exp' located 124 withtype exp = exp' located
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 130
130 datatype decl' = 131 datatype decl' =
131 DDatatype of (string * int * (string * int * typ option) list) list 132 DDatatype of (string * int * (string * int * typ option) list) list
132 | DVal of string * int * typ * exp * string 133 | DVal of string * int * typ * exp * string
133 | DValRec of (string * int * typ * exp * string) list 134 | DValRec of (string * int * typ * exp * string) list