Check tag bits on the fun pointer of a PAP

diff --git a/rts/Sanity.c b/rts/Sanity.c
index dcb6e5b..25a76c0 100644 (file)
--- 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);
 }