Mercurial > urweb

comparison src/mono.sml @ 1229:a2cd6664f57f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sendOwnIds policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 17:55:37 -0400
parents 62af4cacd191
children 3d06e0f7a6f3
comparison
equal deleted inserted replaced
1228:7dfa67560916 1229:a2cd6664f57f
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 | PolUpdate of exp
131 | PolSequence of exp
131 132
132 datatype decl' = 133 datatype decl' =
133 DDatatype of (string * int * (string * int * typ option) list) list 134 DDatatype of (string * int * (string * int * typ option) list) list
134 | DVal of string * int * typ * exp * string 135 | DVal of string * int * typ * exp * string
135 | DValRec of (string * int * typ * exp * string) list 136 | DValRec of (string * int * typ * exp * string) list