From 62e9d88be744f971152166280d522e78f4ddb574 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 1 Jan 2009 10:08:22 -0500
Subject: Source containing an int

---
 src/prim.sml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/prim.sml')

diff --git a/src/prim.sml b/src/prim.sml
index 468b28d5..95df6e02 100644
--- a/src/prim.sml
+++ b/src/prim.sml
@@ -47,6 +47,12 @@ fun int2s n =
     else
         Int64.toString n ^ "LL"
 
+fun int2s' n =
+    if Int64.compare (n, Int64.fromInt 0) = LESS then
+        "-" ^ Int64.toString (Int64.~ n)
+    else
+        Int64.toString n
+
 fun float2s n =
     if Real64.compare (n, Real64.fromInt 0) = LESS then
         "-" ^ Real64.toString (Real64.~ n)
@@ -55,7 +61,7 @@ fun float2s n =
 
 fun toString t =
     case t of
-        Int n => int2s n
+        Int n => int2s' n
       | Float n => float2s n
       | String s => s
 
-- 
cgit v1.2.3