Mercurial > urweb
comparison src/settings.sig @ 877:dae141d911d9
MySQL accepts generated demo DDL
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 16 Jul 2009 13:59:30 -0400 |
parents | 3c7b48040dcf |
children | a8952047e1d3 |
comparison
equal
deleted
inserted
replaced
876:025806b3c014 | 877:dae141d911d9 |
---|---|
145 nextval : ErrorMsg.span -> Print.PD.pp_desc, | 145 nextval : ErrorMsg.span -> Print.PD.pp_desc, |
146 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, | 146 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, |
147 sqlifyString : string -> string, | 147 sqlifyString : string -> string, |
148 p_cast : string * sql_type -> string, | 148 p_cast : string * sql_type -> string, |
149 p_blank : int * sql_type -> string (* Prepared statement input *), | 149 p_blank : int * sql_type -> string (* Prepared statement input *), |
150 supportsDeleteAs : bool | 150 supportsDeleteAs : bool, |
151 createSequence : string -> string, | |
152 textKeysNeedLengths : bool | |
151 } | 153 } |
152 | 154 |
153 val addDbms : dbms -> unit | 155 val addDbms : dbms -> unit |
154 val setDbms : string -> unit | 156 val setDbms : string -> unit |
155 val currentDbms : unit -> dbms | 157 val currentDbms : unit -> dbms |