Mercurial > urweb
diff src/settings.sml @ 869:64ba57fa20bf
Moved nextval code into Settings
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 28 Jun 2009 16:41:10 -0400 |
| parents | 06497beb265b |
| children | 7fa9a37a34b3 |
line wrap: on
line diff
--- a/src/settings.sml Sun Jun 28 16:22:17 2009 -0400 +++ b/src/settings.sml Sun Jun 28 16:41:10 2009 -0400 @@ -324,7 +324,9 @@ -> 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 + inputs : sql_type list} -> Print.PD.pp_desc, + nextval : ErrorMsg.span -> Print.PD.pp_desc, + nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc } val dbmses = ref ([] : dbms list) @@ -336,7 +338,9 @@ query = fn _ => Print.box [], queryPrepared = fn _ => Print.box [], dml = fn _ => Print.box [], - dmlPrepared = fn _ => Print.box []} : dbms) + dmlPrepared = fn _ => Print.box [], + nextval = fn _ => Print.box [], + nextvalPrepared = fn _ => Print.box []} : dbms) fun addDbms v = dbmses := v :: !dbmses fun setDbms s =