diff src/postgres.sml @ 877:dae141d911d9

MySQL accepts generated demo DDL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 13:59:30 -0400
parents 025806b3c014
children a8952047e1d3
line wrap: on
line diff
--- a/src/postgres.sml	Sun Jul 12 16:09:54 2009 -0400
+++ b/src/postgres.sml	Thu Jul 16 13:59:30 2009 -0400
@@ -860,7 +860,9 @@
                   sqlifyString = sqlifyString,
                   p_cast = p_cast,
                   p_blank = p_blank,
-                  supportsDeleteAs = true}
+                  supportsDeleteAs = true,
+                  createSequence = fn s => "CREATE SEQUENCE " ^ s,
+                  textKeysNeedLengths = false}
 
 val () = setDbms "postgres"