fix non-threaded way
authorSimon Marlow <simonmar@microsoft.com>
Thu, 16 Mar 2006 13:58:09 +0000 (13:58 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Thu, 16 Mar 2006 13:58:09 +0000 (13:58 +0000)
ghc/rts/Task.c

index 7621d8b..89db782 100644 (file)
@@ -176,7 +176,13 @@ discardTask (Task *task)
 {
     ASSERT_LOCK_HELD(&sched_mutex);
     if (!task->stopped) {
-       IF_DEBUG(scheduler,sched_belch("discarding task %p",(void *)task->id));
+       IF_DEBUG(scheduler,sched_belch("discarding task %p",
+#ifdef THREADED_RTS
+                                      (void *)task->id
+#else
+                                      (void *)task
+#endif
+                    ));
        task->cap = NULL;
        task->tso = NULL;
        task->stopped = rtsTrue;