Mercurial > urweb

diff src/settings.sig @ 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 acabf3935060
line wrap: on
line diff
--- a/src/settings.sig	Sun Mar 28 10:10:35 2010 -0400
+++ b/src/settings.sig	Thu Apr 01 17:21:16 2010 -0400
@@ -167,7 +167,9 @@
          sqlPrefix : string,
          supportsOctetLength : bool,
          trueString : string,
-         falseString : string
+         falseString : string,
+         onlyUnion : bool,
+         nestedRelops : bool
     }
 
     val addDbms : dbms -> unit