diff src/settings.sml @ 879:b2a175a0f2ef

Demo working with MySQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 18:10:29 -0400
parents a8952047e1d3
children 8e9f2d247dba
line wrap: on
line diff
--- a/src/settings.sml	Thu Jul 16 16:29:13 2009 -0400
+++ b/src/settings.sml	Thu Jul 16 18:10:29 2009 -0400
@@ -327,7 +327,8 @@
      queryPrepared : {loc : ErrorMsg.span, id : int, query : string,
                       inputs : sql_type list, cols : sql_type list,
                       doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc)
-                               -> Print.PD.pp_desc}
+                               -> Print.PD.pp_desc,
+                      nested : bool}
                      -> Print.PD.pp_desc,
      dml : ErrorMsg.span -> Print.PD.pp_desc,
      dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
@@ -340,7 +341,8 @@
      supportsDeleteAs : bool,
      createSequence : string -> string,
      textKeysNeedLengths : bool,
-     supportsNextval : bool
+     supportsNextval : bool,
+     supportsNestedPrepared : bool
 }
 
 val dbmses = ref ([] : dbms list)
@@ -361,7 +363,8 @@
                   supportsDeleteAs = false,
                   createSequence = fn _ => "",
                   textKeysNeedLengths = false,
-                  supportsNextval = false} : dbms)
+                  supportsNextval = false,
+                  supportsNestedPrepared = false} : dbms)
 
 fun addDbms v = dbmses := v :: !dbmses
 fun setDbms s =