comparison src/settings.sml @ 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
338 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, 338 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc,
339 sqlifyString : string -> string, 339 sqlifyString : string -> string,
340 p_cast : string * sql_type -> string, 340 p_cast : string * sql_type -> string,
341 p_blank : int * sql_type -> string, 341 p_blank : int * sql_type -> string,
342 supportsDeleteAs : bool, 342 supportsDeleteAs : bool,
343 supportsUpdateAs : bool,
343 createSequence : string -> string, 344 createSequence : string -> string,
344 textKeysNeedLengths : bool, 345 textKeysNeedLengths : bool,
345 supportsNextval : bool, 346 supportsNextval : bool,
346 supportsNestedPrepared : bool, 347 supportsNestedPrepared : bool,
347 sqlPrefix : string 348 sqlPrefix : string
361 nextvalPrepared = fn _ => Print.box [], 362 nextvalPrepared = fn _ => Print.box [],
362 sqlifyString = fn s => s, 363 sqlifyString = fn s => s,
363 p_cast = fn _ => "", 364 p_cast = fn _ => "",
364 p_blank = fn _ => "", 365 p_blank = fn _ => "",
365 supportsDeleteAs = false, 366 supportsDeleteAs = false,
367 supportsUpdateAs = false,
366 createSequence = fn _ => "", 368 createSequence = fn _ => "",
367 textKeysNeedLengths = false, 369 textKeysNeedLengths = false,
368 supportsNextval = false, 370 supportsNextval = false,
369 supportsNestedPrepared = false, 371 supportsNestedPrepared = false,
370 sqlPrefix = ""} : dbms) 372 sqlPrefix = ""} : dbms)