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