diff --git a/ghc/compiler/typecheck/Unify.lhs b/ghc/compiler/typecheck/Unify.lhs index 43ce1f25a521858acc798d4c1c266420178e633c..bb28f2b361e6448c1dae4252a6ad63eb83100800 100644 --- a/ghc/compiler/typecheck/Unify.lhs +++ b/ghc/compiler/typecheck/Unify.lhs @@ -483,7 +483,7 @@ unifyMisMatch ty1 ty2 4 (sep [quotes (ppr ty1), ptext SLIT("against"), quotes (ppr ty2)]) unifyKindErr tyvar ty - = hang (ptext SLIT("Compiler bug: kind mis-match between")) + = hang (ptext SLIT("Kind mis-match between")) 4 (sep [quotes (hsep [ppr tyvar, ptext SLIT("::"), ppr (tyVarKind tyvar)]), ptext SLIT("and"), quotes (hsep [ppr ty, ptext SLIT("::"), ppr (typeKind ty)])])