From 7e10920b75383cd953898468385ae29e76bf184d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 16 Jul 2009 13:59:30 -0400 Subject: MySQL accepts generated demo DDL --- src/mysql.sml | 28 +++++++++++++++------------- 1 file changed, 15 insertions(+), 13 deletions(-) (limited to 'src/mysql.sml') diff --git a/src/mysql.sml b/src/mysql.sml index bada72ed..d8847424 100644 --- a/src/mysql.sml +++ b/src/mysql.sml @@ -1283,18 +1283,18 @@ fun dmlPrepared {loc, id, dml, inputs} = fun nextval _ = box [] fun nextvalPrepared _ = box [] -fun sqlifyString s = "CAST('" ^ String.translate (fn #"'" => "\\'" - | #"\\" => "\\\\" - | ch => - if Char.isPrint ch then - str ch - else - (ErrorMsg.error - "Non-printing character found in SQL string literal"; - "")) - (String.toString s) ^ "' AS longtext)" - -fun p_cast (s, t) = "CAST(" ^ s ^ " AS " ^ p_sql_type t ^ ")" +fun sqlifyString s = "'" ^ String.translate (fn #"'" => "\\'" + | #"\\" => "\\\\" + | ch => + if Char.isPrint ch then + str ch + else + (ErrorMsg.error + "Non-printing character found in SQL string literal"; + "")) + (String.toString s) ^ "'" + +fun p_cast (s, _) = s fun p_blank _ = "?" @@ -1312,6 +1312,8 @@ val () = addDbms {name = "mysql", sqlifyString = sqlifyString, p_cast = p_cast, p_blank = p_blank, - supportsDeleteAs = false} + supportsDeleteAs = false, + createSequence = fn s => "CREATE TABLE " ^ s ^ " (id INTEGER PRIMARY KEY AUTO_INCREMENT)", + textKeysNeedLengths = true} end -- cgit v1.2.3