From 05dad81285b606521b550b690f3e645bb7dc8f75 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Fri, 10 Mar 2006 20:43:43 +0000 Subject: [PATCH] extra sanity checking: call checkTSO() in resumeThread() --- ghc/rts/Schedule.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ghc/rts/Schedule.c b/ghc/rts/Schedule.c index 578328d..6d8fe63 100644 --- a/ghc/rts/Schedule.c +++ b/ghc/rts/Schedule.c @@ -2289,6 +2289,8 @@ resumeThread (void *task_) /* We might have GC'd, mark the TSO dirty again */ dirtyTSO(tso); + IF_DEBUG(sanity, checkTSO(tso)); + return &cap->r; } -- 1.7.10.4