comparison src/postgres.sml @ 1920:2f33d9a51765

Increase precision for rendering floats to SQL
author Adam Chlipala <adam@chlipala.net>
date Tue, 03 Dec 2013 16:54:04 -0500
parents c3c84fd38815
children 6745eafff617
comparison
equal deleted inserted replaced
1919:f5d1037effc9 1920:2f33d9a51765
374 374
375 string "static void uw_client_init(void) {", 375 string "static void uw_client_init(void) {",
376 newline, 376 newline,
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 = \"%.16g::float8%n\";",
380 newline, 380 newline,
381 string "uw_Estrings = 1;", 381 string "uw_Estrings = 1;",
382 newline, 382 newline,
383 string "uw_sql_type_annotations = 1;", 383 string "uw_sql_type_annotations = 1;",
384 newline, 384 newline,