From 6d144445b780d0acdb46b36702b28be17eca1049 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 31 May 2011 07:44:52 -0400
Subject: Proper C pretty-printing of floats in scientific notation

---
 src/prim.sml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'src/prim.sml')

diff --git a/src/prim.sml b/src/prim.sml
index d4471143..96880487 100644
--- a/src/prim.sml
+++ b/src/prim.sml
@@ -55,11 +55,7 @@ fun int2s' n =
     else
         Int64.toString n
 
-fun float2s n =
-    if Real64.compare (n, Real64.fromInt 0) = LESS then
-        "-" ^ Real64.toString (Real64.~ n)
-    else
-        Real64.toString n
+val float2s = String.translate (fn #"~" => "-" | ch => str ch) o Real64.toString
 
 fun toString t =
     case t of
-- 
cgit v1.2.3