extra sanity checking: call checkTSO() in resumeThread()

diff --git a/ghc/rts/Schedule.c b/ghc/rts/Schedule.c
index 578328d..6d8fe63 100644 (file)
--- 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;
 }