diff src/settings.sml @ 1014:ea9f03ac2710

Chars working with SQLite
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 17:36:30 -0400
parents 16f7cb0891b6
children 065ce3252090
line wrap: on
line diff
--- a/src/settings.sml	Thu Oct 22 17:04:37 2009 -0400
+++ b/src/settings.sml	Thu Oct 22 17:36:30 2009 -0400
@@ -352,7 +352,9 @@
      supportsNextval : bool,
      supportsNestedPrepared : bool,
      sqlPrefix : string,
-     supportsOctetLength : bool
+     supportsOctetLength : bool,
+     trueString : string,
+     falseString : string
 }
 
 val dbmses = ref ([] : dbms list)
@@ -377,7 +379,9 @@
                   supportsNextval = false,
                   supportsNestedPrepared = false,
                   sqlPrefix = "",
-                  supportsOctetLength = false} : dbms)
+                  supportsOctetLength = false,
+                  trueString = "",
+                  falseString = ""} : dbms)
 
 fun addDbms v = dbmses := v :: !dbmses
 fun setDbms s =