diff 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
line wrap: on
line diff
--- a/src/cjr.sml	Sat Jun 27 10:30:51 2009 -0400
+++ b/src/cjr.sml	Sat Jun 27 10:50:45 2009 -0400
@@ -89,11 +89,11 @@
                      query : exp,
                      body : exp,
                      initial : exp,
-                     prepared : int option }
+                     prepared : (int * string) option }
        | EDml of { dml : exp,
-                   prepared : int option }
+                   prepared : (int * string) option }
        | ENextval of { seq : exp,
-                       prepared : int option }
+                       prepared : (int * string) option }
        | EUnurlify of exp * typ
 
 withtype exp = exp' located