comparison src/mysql.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 d8c260bcc1f9
children 6745eafff617
comparison
equal deleted inserted replaced
1919:f5d1037effc9 1920:2f33d9a51765
383 383
384 string "static void uw_client_init(void) {", 384 string "static void uw_client_init(void) {",
385 newline, 385 newline,
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 = \"%.16g%n\";",
389 newline, 389 newline,
390 string "uw_Estrings = 0;", 390 string "uw_Estrings = 0;",
391 newline, 391 newline,
392 string "uw_sql_type_annotations = 0;", 392 string "uw_sql_type_annotations = 0;",
393 newline, 393 newline,