Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/settings.sml	Sun Mar 28 10:10:35 2010 -0400
+++ b/src/settings.sml	Thu Apr 01 17:21:16 2010 -0400
@@ -383,7 +383,9 @@
      sqlPrefix : string,
      supportsOctetLength : bool,
      trueString : string,
-     falseString : string
+     falseString : string,
+     onlyUnion : bool,
+     nestedRelops : bool
 }
 
 val dbmses = ref ([] : dbms list)
@@ -411,7 +413,9 @@
                   sqlPrefix = "",
                   supportsOctetLength = false,
                   trueString = "",
-                  falseString = ""} : dbms)
+                  falseString = "",
+                  onlyUnion = false,
+                  nestedRelops = false} : dbms)
 
 fun addDbms v = dbmses := v :: !dbmses
 fun setDbms s =