Mercurial > urweb
diff src/settings.sml @ 874:3c7b48040dcf
MySQL demo/sql succeeds in reading no rows
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 12 Jul 2009 15:05:40 -0400 |
parents | 41971801b62d |
children | dae141d911d9 |
line wrap: on
line diff
--- a/src/settings.sml Sun Jul 12 13:16:05 2009 -0400 +++ b/src/settings.sml Sun Jul 12 15:05:40 2009 -0400 @@ -314,7 +314,6 @@ name : string, header : string, link : string, - global_init : Print.PD.pp_desc, p_sql_type : sql_type -> string, init : {dbstring : string, prepared : (string * int) list, @@ -334,14 +333,17 @@ dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 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 + nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, + sqlifyString : string -> string, + p_cast : string * sql_type -> string, + p_blank : int * sql_type -> string, + supportsDeleteAs : bool } val dbmses = ref ([] : dbms list) val curDb = ref ({name = "", header = "", link = "", - global_init = Print.box [], p_sql_type = fn _ => "", init = fn _ => Print.box [], query = fn _ => Print.box [], @@ -349,7 +351,11 @@ dml = fn _ => Print.box [], dmlPrepared = fn _ => Print.box [], nextval = fn _ => Print.box [], - nextvalPrepared = fn _ => Print.box []} : dbms) + nextvalPrepared = fn _ => Print.box [], + sqlifyString = fn s => s, + p_cast = fn _ => "", + p_blank = fn _ => "", + supportsDeleteAs = false} : dbms) fun addDbms v = dbmses := v :: !dbmses fun setDbms s =