Commit 3406c060 authored by Simon Peyton Jones's avatar Simon Peyton Jones

More info on a Core Lint failure

parent edb53036
......@@ -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) }
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment