comparison src/sqlite.sml @ 1834:690638bd9fef

Fix generation of timestamp literals for MySQL and SQLite
author Adam Chlipala <adam@chlipala.net>
date Fri, 30 Nov 2012 09:50:00 -0500
parents 59b07fdae1ff
children 2f33d9a51765
comparison
equal deleted inserted replaced
1833:be0c4e2e488a 1834:690638bd9fef
161 box [string "uw_sqlfmtInt = \"%lld%n\";", 161 box [string "uw_sqlfmtInt = \"%lld%n\";",
162 newline, 162 newline,
163 string "uw_sqlfmtFloat = \"%g%n\";", 163 string "uw_sqlfmtFloat = \"%g%n\";",
164 newline, 164 newline,
165 string "uw_Estrings = 0;", 165 string "uw_Estrings = 0;",
166 newline,
167 string "uw_sql_type_annotations = 0;",
166 newline, 168 newline,
167 string "uw_sqlsuffixString = \"\";", 169 string "uw_sqlsuffixString = \"\";",
168 newline, 170 newline,
169 string "uw_sqlsuffixChar = \"\";", 171 string "uw_sqlsuffixChar = \"\";",
170 newline, 172 newline,