From dbb9192edae68feb230b5b231fcaf10fd68103e8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 7 Sep 2008 10:20:42 -0400 Subject: toString for float and bool --- src/prim.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/prim.sml') diff --git a/src/prim.sml b/src/prim.sml index 8c0e03f7..2c24fa0a 100644 --- a/src/prim.sml +++ b/src/prim.sml @@ -49,9 +49,9 @@ fun int2s n = fun float2s n = if Real64.compare (n, Real64.fromInt 0) = LESS then - "-" ^ Real64.toString (Real64.~ n) ^ "L" + "-" ^ Real64.toString (Real64.~ n) else - Real64.toString n ^ "L" + Real64.toString n fun p_t_GCC t = case t of -- cgit v1.2.3