diff options
Diffstat (limited to 'rts/Task.c')
| -rw-r--r-- | rts/Task.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/rts/Task.c b/rts/Task.c index 125000b914..b6092e5e41 100644 --- a/rts/Task.c +++ b/rts/Task.c @@ -389,7 +389,10 @@ workerTaskStop (Task *task) #endif #ifdef DEBUG - +// We don't replace this function with serialisableTaskId, +// because debug prints as pointers are more readable than random +// 64-bit intergers (especially on 32-bit architectures) +// and because we want to use this function also for non-treaded RTS. static void *taskId(Task *task) { #ifdef THREADED_RTS |