comparison src/mysql.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 d8c260bcc1f9
comparison
equal deleted inserted replaced
1833:be0c4e2e488a 1834:690638bd9fef
386 box [string "uw_sqlfmtInt = \"%lld%n\";", 386 box [string "uw_sqlfmtInt = \"%lld%n\";",
387 newline, 387 newline,
388 string "uw_sqlfmtFloat = \"%g%n\";", 388 string "uw_sqlfmtFloat = \"%g%n\";",
389 newline, 389 newline,
390 string "uw_Estrings = 0;", 390 string "uw_Estrings = 0;",
391 newline,
392 string "uw_sql_type_annotations = 0;",
391 newline, 393 newline,
392 string "uw_sqlsuffixString = \"\";", 394 string "uw_sqlsuffixString = \"\";",
393 newline, 395 newline,
394 string "uw_sqlsuffixChar = \"\";", 396 string "uw_sqlsuffixChar = \"\";",
395 newline, 397 newline,