diff src/settings.sml @ 868:06497beb265b

Moved dml code into Settings
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Jun 2009 16:22:17 -0400
parents e7f80d78075b
children 64ba57fa20bf
line wrap: on
line diff
--- a/src/settings.sml	Sun Jun 28 16:03:00 2009 -0400
+++ b/src/settings.sml	Sun Jun 28 16:22:17 2009 -0400
@@ -321,7 +321,10 @@
                       inputs : sql_type list, numCols : int,
                       doCols : ({wontLeakStrings : bool, col : int, typ : sql_type} -> Print.PD.pp_desc)
                                -> Print.PD.pp_desc}
-                     -> Print.PD.pp_desc
+                     -> Print.PD.pp_desc,
+     dml : ErrorMsg.span -> Print.PD.pp_desc,
+     dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
+                    inputs : sql_type list} -> Print.PD.pp_desc
 }
 
 val dbmses = ref ([] : dbms list)
@@ -331,7 +334,9 @@
                   global_init = Print.box [],
                   init = fn _ => Print.box [],
                   query = fn _ => Print.box [],
-                  queryPrepared = fn _ => Print.box []} : dbms)
+                  queryPrepared = fn _ => Print.box [],
+                  dml = fn _ => Print.box [],
+                  dmlPrepared = fn _ => Print.box []} : dbms)
 
 fun addDbms v = dbmses := v :: !dbmses
 fun setDbms s =