From: simonpj@microsoft.com <unknown>
Date: Wed, 1 Nov 2006 12:37:27 +0000 (+0000)
Subject: Improve error message (push to 6.6 branch)
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=cc6f35b14bd2bb06ff73bf76249bcf9df50dd225

Improve error message (push to 6.6 branch)
---

diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs
index 4aef899..dd7b627 100644
--- a/compiler/typecheck/TcMType.lhs
+++ b/compiler/typecheck/TcMType.lhs
@@ -1111,7 +1111,8 @@ checkValidInstance tyvars theta clas inst_tys
 	  	  (instTypeErr (pprClassPred clas inst_tys) msg)
 	}
   where
-    msg  = parens (ptext SLIT("the Coverage Condition fails for one of the functional dependencies"))
+    msg  = parens (vcat [ptext SLIT("the Coverage Condition fails for one of the functional dependencies;"),
+			 undecidableMsg])
 \end{code}
 
 Termination test: each assertion in the context satisfies