comparison src/cjr.sml @ 858:346cf1908a17

Avoid using prepared statements for non-persistent protocols
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Jun 2009 10:50:45 -0400
parents 81fce435e255
children b2a175a0f2ef
comparison
equal deleted inserted replaced
857:3d2f6cb6d54a 858:346cf1908a17
87 rnum : int, 87 rnum : int,
88 state : typ, 88 state : typ,
89 query : exp, 89 query : exp,
90 body : exp, 90 body : exp,
91 initial : exp, 91 initial : exp,
92 prepared : int option } 92 prepared : (int * string) option }
93 | EDml of { dml : exp, 93 | EDml of { dml : exp,
94 prepared : int option } 94 prepared : (int * string) option }
95 | ENextval of { seq : exp, 95 | ENextval of { seq : exp,
96 prepared : int option } 96 prepared : (int * string) option }
97 | EUnurlify of exp * typ 97 | EUnurlify of exp * typ
98 98
99 withtype exp = exp' located 99 withtype exp = exp' located
100 100
101 datatype decl' = 101 datatype decl' =