Mercurial > urweb

comparison src/settings.sml @ 1196:134da5110bf7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Relational operators portability
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Apr 2010 17:21:16 -0400
parents 9d3ccb8b39ac
children 5eac14322548
comparison
equal deleted inserted replaced
1195:aff5e661b5f8 1196:134da5110bf7
381 supportsNextval : bool, 381 supportsNextval : bool,
382 supportsNestedPrepared : bool, 382 supportsNestedPrepared : bool,
383 sqlPrefix : string, 383 sqlPrefix : string,
384 supportsOctetLength : bool, 384 supportsOctetLength : bool,
385 trueString : string, 385 trueString : string,
386 falseString : string 386 falseString : string,
387 onlyUnion : bool,
388 nestedRelops : bool
387 } 389 }
388 390
389 val dbmses = ref ([] : dbms list) 391 val dbmses = ref ([] : dbms list)
390 val curDb = ref ({name = "", 392 val curDb = ref ({name = "",
391 header = "", 393 header = "",
409 supportsNextval = false, 411 supportsNextval = false,
410 supportsNestedPrepared = false, 412 supportsNestedPrepared = false,
411 sqlPrefix = "", 413 sqlPrefix = "",
412 supportsOctetLength = false, 414 supportsOctetLength = false,
413 trueString = "", 415 trueString = "",
414 falseString = ""} : dbms) 416 falseString = "",
417 onlyUnion = false,
418 nestedRelops = false} : dbms)
415 419
416 fun addDbms v = dbmses := v :: !dbmses 420 fun addDbms v = dbmses := v :: !dbmses
417 fun setDbms s = 421 fun setDbms s =
418 case List.find (fn db => #name db = s) (!dbmses) of 422 case List.find (fn db => #name db = s) (!dbmses) of
419 NONE => raise Fail ("Unknown DBMS " ^ s) 423 NONE => raise Fail ("Unknown DBMS " ^ s)