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