comparison src/settings.sig @ 886:5805fa825fe8

Most of demo working with SQLite
author Adam Chlipala <adamc@hcoop.net>
date Fri, 17 Jul 2009 17:03:37 -0400
parents 9c1b7e46eed2
children 034eeb099564
comparison
equal deleted inserted replaced
885:e6070333d8a8 886:5805fa825fe8
148 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, 148 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc,
149 sqlifyString : string -> string, 149 sqlifyString : string -> string,
150 p_cast : string * sql_type -> string, 150 p_cast : string * sql_type -> string,
151 p_blank : int * sql_type -> string (* Prepared statement input *), 151 p_blank : int * sql_type -> string (* Prepared statement input *),
152 supportsDeleteAs : bool, 152 supportsDeleteAs : bool,
153 supportsUpdateAs : bool,
153 createSequence : string -> string, 154 createSequence : string -> string,
154 textKeysNeedLengths : bool, 155 textKeysNeedLengths : bool,
155 supportsNextval : bool, 156 supportsNextval : bool,
156 supportsNestedPrepared : bool, 157 supportsNestedPrepared : bool,
157 sqlPrefix : string 158 sqlPrefix : string