comparison src/sqlite.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 690638bd9fef
children 6745eafff617
comparison
equal deleted inserted replaced
1919:f5d1037effc9 1920:2f33d9a51765
158 158
159 string "static void uw_client_init(void) {", 159 string "static void uw_client_init(void) {",
160 newline, 160 newline,
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 = \"%.16g%n\";",
164 newline, 164 newline,
165 string "uw_Estrings = 0;", 165 string "uw_Estrings = 0;",
166 newline, 166 newline,
167 string "uw_sql_type_annotations = 0;", 167 string "uw_sql_type_annotations = 0;",
168 newline, 168 newline,