comparison src/postgres.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 e2345c438f08
comparison
equal deleted inserted replaced
1833:be0c4e2e488a 1834:690638bd9fef
377 box [string "uw_sqlfmtInt = \"%lld::int8%n\";", 377 box [string "uw_sqlfmtInt = \"%lld::int8%n\";",
378 newline, 378 newline,
379 string "uw_sqlfmtFloat = \"%g::float8%n\";", 379 string "uw_sqlfmtFloat = \"%g::float8%n\";",
380 newline, 380 newline,
381 string "uw_Estrings = 1;", 381 string "uw_Estrings = 1;",
382 newline,
383 string "uw_sql_type_annotations = 1;",
382 newline, 384 newline,
383 string "uw_sqlsuffixString = \"::text\";", 385 string "uw_sqlsuffixString = \"::text\";",
384 newline, 386 newline,
385 string "uw_sqlsuffixChar = \"::char\";", 387 string "uw_sqlsuffixChar = \"::char\";",
386 newline, 388 newline,