Mercurial > urweb

comparison src/settings.sml @ 890:034eeb099564

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Blobs tested in MySQL and SQLite
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 10:27:32 -0400
parents 5805fa825fe8
children 8f2159040bbb
comparison
equal deleted inserted replaced
889:bcad392e288e 890:034eeb099564
343 supportsUpdateAs : bool, 343 supportsUpdateAs : bool,
344 createSequence : string -> string, 344 createSequence : string -> string,
345 textKeysNeedLengths : bool, 345 textKeysNeedLengths : bool,
346 supportsNextval : bool, 346 supportsNextval : bool,
347 supportsNestedPrepared : bool, 347 supportsNestedPrepared : bool,
348 sqlPrefix : string 348 sqlPrefix : string,
349 supportsOctetLength : bool
349 } 350 }
350 351
351 val dbmses = ref ([] : dbms list) 352 val dbmses = ref ([] : dbms list)
352 val curDb = ref ({name = "", 353 val curDb = ref ({name = "",
353 header = "", 354 header = "",
367 supportsUpdateAs = false, 368 supportsUpdateAs = false,
368 createSequence = fn _ => "", 369 createSequence = fn _ => "",
369 textKeysNeedLengths = false, 370 textKeysNeedLengths = false,
370 supportsNextval = false, 371 supportsNextval = false,
371 supportsNestedPrepared = false, 372 supportsNestedPrepared = false,
372 sqlPrefix = ""} : dbms) 373 sqlPrefix = "",
374 supportsOctetLength = false} : dbms)
373 375
374 fun addDbms v = dbmses := v :: !dbmses 376 fun addDbms v = dbmses := v :: !dbmses
375 fun setDbms s = 377 fun setDbms s =
376 case List.find (fn db => #name db = s) (!dbmses) of 378 case List.find (fn db => #name db = s) (!dbmses) of
377 NONE => raise Fail ("Unknown DBMS " ^ s) 379 NONE => raise Fail ("Unknown DBMS " ^ s)