diff src/cjr.sml @ 879:b2a175a0f2ef

Demo working with MySQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 18:10:29 -0400
parents 346cf1908a17
children 217eb87dde31
line wrap: on
line diff
--- a/src/cjr.sml	Thu Jul 16 16:29:13 2009 -0400
+++ b/src/cjr.sml	Thu Jul 16 18:10:29 2009 -0400
@@ -89,11 +89,11 @@
                      query : exp,
                      body : exp,
                      initial : exp,
-                     prepared : (int * string) option }
+                     prepared : {id : int, query : string, nested : bool} option }
        | EDml of { dml : exp,
-                   prepared : (int * string) option }
+                   prepared : {id : int, dml : string} option }
        | ENextval of { seq : exp,
-                       prepared : (int * string) option }
+                       prepared : {id : int, query : string} option }
        | EUnurlify of exp * typ
 
 withtype exp = exp' located