From bbe90cbe14b94899efe0ce24e0c5fdbdb8d40ada Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 16 Mar 2006 13:58:09 +0000 Subject: [PATCH] fix non-threaded way --- ghc/rts/Task.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/ghc/rts/Task.c b/ghc/rts/Task.c index 7621d8b..89db782 100644 --- a/ghc/rts/Task.c +++ b/ghc/rts/Task.c @@ -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; -- 1.7.10.4