New tracing interface

A simple interface for generating trace messages with timestamps and
thread IDs attached to them.  Most debugging output goes through this
interface now, so it is straightforward to get timestamped debugging
traces with +RTS -vt.  Also, we plan to use this to generate
parallelism profiles from the trace output.

1 files changed, 2 insertions, 1 deletions

diff --git a/rts/Weak.c b/rts/Weak.c
index f010395221..a83cef995f 100644
--- a/rts/Weak.c
+++ b/rts/Weak.c
@@ -17,6 +17,7 @@
 #include "Schedule.h"
 #include "Prelude.h"
 #include "RtsAPI.h"
+#include "Trace.h"
 
 StgWeak *weak_ptr_list;
 
@@ -70,7 +71,7 @@ scheduleFinalizers(Capability *cap, StgWeak *list)
     // No finalizers to run?
     if (n == 0) return;
 
-    IF_DEBUG(weak,debugBelch("weak: batching %d finalizers\n", n));
+    debugTrace(DEBUG_weak, "weak: batching %d finalizers", n);
 
     arr = (StgMutArrPtrs *)allocateLocal(cap, sizeofW(StgMutArrPtrs) + n);
     TICK_ALLOC_PRIM(sizeofW(StgMutArrPtrs), n, 0);