comparison src/mono.sml @ 1214:648e6b087dfb

Change query_policy to sendClient; all arguments passed to SQL predicates are variables
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Apr 2010 09:57:37 -0400
parents c316ca3c9ec6
children 526575a9537a
comparison
equal deleted inserted replaced
1213:e791d93d4616 1214:648e6b087dfb
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 = PolQuery of exp 126 datatype policy = PolClient of exp
127 127
128 datatype decl' = 128 datatype decl' =
129 DDatatype of (string * int * (string * int * typ option) list) list 129 DDatatype of (string * int * (string * int * typ option) list) list
130 | DVal of string * int * typ * exp * string 130 | DVal of string * int * typ * exp * string
131 | DValRec of (string * int * typ * exp * string) list 131 | DValRec of (string * int * typ * exp * string) list