Mercurial > urweb
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 =