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