add number of bytes to +RTS -DS leak reports

diff --git a/rts/RtsUtils.c b/rts/RtsUtils.c
index 3091aa1..6906619 100644 (file)
--- a/rts/RtsUtils.c
+++ b/rts/RtsUtils.c
@@ -110,8 +110,8 @@ shutdownAllocator(void)
         free(prev);
         if (a == NULL) return;
         IF_DEBUG(sanity,
-                 debugBelch("Warning: %p still allocated at shutdown\n",
-                            a->addr);)
+                 debugBelch("Warning: %ld bytes at %p still allocated at shutdown\n",
+                            a->len, a->addr);)
         prev = a;
     }
 }