[commit: ghc] wip/generalized-arrow: Coercion: More assertion output (5b4d2ec)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/generalized-arrow
Link       : http://ghc.haskell.org/trac/ghc/changeset/5b4d2ec661460712d491cb557d27bee9901fefac/ghc

>---------------------------------------------------------------

commit 5b4d2ec661460712d491cb557d27bee9901fefac
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat Mar 26 00:21:37 2016 +0100

    Coercion: More assertion output


>---------------------------------------------------------------

5b4d2ec661460712d491cb557d27bee9901fefac
 compiler/types/Coercion.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs
index b365f72..72e9318 100644
--- a/compiler/types/Coercion.hs
+++ b/compiler/types/Coercion.hs
@@ -868,7 +868,7 @@ mkNthCo 0 (Refl _ ty)
   | Just (tv, _) <- splitForAllTy_maybe ty
   = Refl Nominal (tyVarKind tv)
 mkNthCo n (Refl r ty)
-  = ASSERT( ok_tc_app ty n )
+  = ASSERT2( ok_tc_app ty n, ppr n $$ ppr ty )
     mkReflCo r' (tyConAppArgN n ty)
   where tc = tyConAppTyCon ty
         r' = nthRole r tc n