# HG changeset patch # User Adam Chlipala # Date 1247853845 14400 # Node ID ced093080e177713252f511a17f4223038c10970 # Parent 467285bb557803581683781663fa00e974ba7e2e Check for existence of sequences (MySQL) diff -r 467285bb5578 -r ced093080e17 src/mysql.sml --- a/src/mysql.sml Fri Jul 17 13:19:41 2009 -0400 +++ b/src/mysql.sml Fri Jul 17 14:04:05 2009 -0400 @@ -413,6 +413,8 @@ newline, newline, p_list_sep newline (checkRel ("tables", true)) tables, + p_list_sep newline (fn name => checkRel ("tables", true) + (name, [("id", Settings.Client)])) sequences, p_list_sep newline (checkRel ("views", false)) views, string "}", newline, @@ -1444,7 +1446,7 @@ p_cast = p_cast, p_blank = p_blank, supportsDeleteAs = false, - createSequence = fn s => "CREATE TABLE " ^ s ^ " (id INTEGER PRIMARY KEY AUTO_INCREMENT)", + createSequence = fn s => "CREATE TABLE " ^ s ^ " (uw_id INTEGER PRIMARY KEY AUTO_INCREMENT)", textKeysNeedLengths = true, supportsNextval = false, supportsNestedPrepared = false,