diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-03-26 00:21:37 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-03-26 00:21:37 +0100 |
| commit | 5b4d2ec661460712d491cb557d27bee9901fefac (patch) | |
| tree | bb0e643fe97c852b45c0043528060b9b8fdf3b44 | |
| parent | 8626f9c9d20291da021524c715ddd94746ffbed9 (diff) | |
| download | haskell-wip/generalized-arrow.tar.gz | |
Coercion: More assertion outputwip/generalized-arrow
| -rw-r--r-- | compiler/types/Coercion.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs index b365f724da..72e9318feb 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 |