diff 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
line wrap: on
line diff
--- a/src/mysql.sml	Sun Dec 01 16:28:02 2013 -0500
+++ b/src/mysql.sml	Tue Dec 03 16:54:04 2013 -0500
@@ -385,7 +385,7 @@
              newline,
              box [string "uw_sqlfmtInt = \"%lld%n\";",
                   newline,
-                  string "uw_sqlfmtFloat = \"%g%n\";",
+                  string "uw_sqlfmtFloat = \"%.16g%n\";",
                   newline,
                   string "uw_Estrings = 0;",
                   newline,