[commit: ghc] master: More info on a Core Lint failure (3406c06)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/3406c0603e9689c0bd7d7b4b074055f0e2f29b84 >--------------------------------------------------------------- commit 3406c0603e9689c0bd7d7b4b074055f0e2f29b84 Author: Simon Peyton Jones <[email protected]> Date: Fri Oct 26 11:12:21 2012 +0100 More info on a Core Lint failure >--------------------------------------------------------------- compiler/coreSyn/CoreLint.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs index 250efdd..144e25b 100644 --- a/compiler/coreSyn/CoreLint.lhs +++ b/compiler/coreSyn/CoreLint.lhs @@ -886,7 +886,7 @@ lintCoercion co@(AxiomInstCo (CoAxiom { co_ax_tvs = ktvs ; let ktv_kind = Type.substTy subst_l (tyVarKind ktv) -- Using subst_l is ok, because subst_l and subst_r -- must agree on kind equalities - ; unless (k `isSubKind` ktv_kind) (bad_ax (ptext (sLit "check_ki2"))) + ; unless (k `isSubKind` ktv_kind) (bad_ax (ptext (sLit "check_ki2") $$ ppr k $$ ppr ktv_kind $$ ppr ktv $$ ppr co)) ; return (Type.extendTvSubst subst_l ktv t1, Type.extendTvSubst subst_r ktv t2) } \end{code}