Mercurial > urweb

comparison src/settings.sml @ 1777:59b07fdae1ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Partitioning and ordering for window functions
author Adam Chlipala <adam@chlipala.net>
date Sat, 02 Jun 2012 16:47:09 -0400
parents e9587120831a
children 818d4097e2ed
comparison
equal deleted inserted replaced
1776:8f28c3295148 1777:59b07fdae1ff
535 sqlPrefix : string, 535 sqlPrefix : string,
536 supportsOctetLength : bool, 536 supportsOctetLength : bool,
537 trueString : string, 537 trueString : string,
538 falseString : string, 538 falseString : string,
539 onlyUnion : bool, 539 onlyUnion : bool,
540 nestedRelops : bool 540 nestedRelops : bool,
541 windowFunctions : bool
541 } 542 }
542 543
543 val dbmses = ref ([] : dbms list) 544 val dbmses = ref ([] : dbms list)
544 val curDb = ref ({name = "", 545 val curDb = ref ({name = "",
545 randomFunction = "", 546 randomFunction = "",
566 sqlPrefix = "", 567 sqlPrefix = "",
567 supportsOctetLength = false, 568 supportsOctetLength = false,
568 trueString = "", 569 trueString = "",
569 falseString = "", 570 falseString = "",
570 onlyUnion = false, 571 onlyUnion = false,
571 nestedRelops = false} : dbms) 572 nestedRelops = false,
573 windowFunctions = false} : dbms)
572 574
573 fun addDbms v = dbmses := v :: !dbmses 575 fun addDbms v = dbmses := v :: !dbmses
574 fun setDbms s = 576 fun setDbms s =
575 case List.find (fn db => #name db = s) (!dbmses) of 577 case List.find (fn db => #name db = s) (!dbmses) of
576 NONE => raise Fail ("Unknown DBMS " ^ s) 578 NONE => raise Fail ("Unknown DBMS " ^ s)