Mercurial > urweb

comparison src/settings.sml @ 1014:ea9f03ac2710

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Chars working with SQLite
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 17:36:30 -0400
parents 16f7cb0891b6
children 065ce3252090
comparison
equal deleted inserted replaced
1013:d9483301ff0e 1014:ea9f03ac2710
350 createSequence : string -> string, 350 createSequence : string -> string,
351 textKeysNeedLengths : bool, 351 textKeysNeedLengths : bool,
352 supportsNextval : bool, 352 supportsNextval : bool,
353 supportsNestedPrepared : bool, 353 supportsNestedPrepared : bool,
354 sqlPrefix : string, 354 sqlPrefix : string,
355 supportsOctetLength : bool 355 supportsOctetLength : bool,
356 trueString : string,
357 falseString : string
356 } 358 }
357 359
358 val dbmses = ref ([] : dbms list) 360 val dbmses = ref ([] : dbms list)
359 val curDb = ref ({name = "", 361 val curDb = ref ({name = "",
360 header = "", 362 header = "",
375 createSequence = fn _ => "", 377 createSequence = fn _ => "",
376 textKeysNeedLengths = false, 378 textKeysNeedLengths = false,
377 supportsNextval = false, 379 supportsNextval = false,
378 supportsNestedPrepared = false, 380 supportsNestedPrepared = false,
379 sqlPrefix = "", 381 sqlPrefix = "",
380 supportsOctetLength = false} : dbms) 382 supportsOctetLength = false,
383 trueString = "",
384 falseString = ""} : dbms)
381 385
382 fun addDbms v = dbmses := v :: !dbmses 386 fun addDbms v = dbmses := v :: !dbmses
383 fun setDbms s = 387 fun setDbms s =
384 case List.find (fn db => #name db = s) (!dbmses) of 388 case List.find (fn db => #name db = s) (!dbmses) of
385 NONE => raise Fail ("Unknown DBMS " ^ s) 389 NONE => raise Fail ("Unknown DBMS " ^ s)