X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FSanity.c;h=25a76c00002d1f44df85b13b1fa4dc25e8ed88e0;hb=6c3eae5d5e88117cf80b4b35c9bae4ba3ebbe94c;hp=a2ddff87d6e3d39bbe3978f11ffbccbf40f6af7e;hpb=6015a94f9108a502150565577b66c23650796639;p=ghc-hetmet.git

diff --git a/rts/Sanity.c b/rts/Sanity.c
index a2ddff8..25a76c0 100644
--- a/rts/Sanity.c
+++ b/rts/Sanity.c
@@ -235,6 +235,9 @@ checkPAP (StgClosure *fun, StgClosure** payload, StgWord n_args)
 			  n_args );
 	break;
     }
+
+    ASSERT(fun_info->f.arity > TAG_MASK ? GET_CLOSURE_TAG(fun) == 1
+           : GET_CLOSURE_TAG(fun) == fun_info->f.arity);
 }
 
 
@@ -256,7 +259,8 @@ checkClosure( StgClosure* p )
     info = get_itbl(p);
     switch (info->type) {
 
-    case MVAR:
+    case MVAR_CLEAN:
+    case MVAR_DIRTY:
       { 
 	StgMVar *mvar = (StgMVar *)p;
 	ASSERT(LOOKS_LIKE_CLOSURE_PTR(mvar->head));