From 1bdf0521104c46c29306cbca5f592a0f536129a6 Mon Sep 17 00:00:00 2001 From: sof <unknown> Date: Tue, 3 Mar 1998 15:50:07 +0000 Subject: [PATCH] [project @ 1998-03-03 15:50:07 by sof] unifyKindErr: drop the "Compiler bug:" prefix --- ghc/compiler/typecheck/Unify.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/compiler/typecheck/Unify.lhs b/ghc/compiler/typecheck/Unify.lhs index 43ce1f25a521..bb28f2b361e6 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)])]) -- GitLab