From: simonpj@microsoft.com <unknown>
Date: Tue, 13 Jan 2009 16:40:20 +0000 (+0000)
Subject: Improve error messages slightly
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=cab7dec5854951416c56e64cda66a4bd96aeaa0f

Improve error messages slightly
---

diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs
index b8bbed7..c6caa54 100644
--- a/compiler/typecheck/TcPat.lhs
+++ b/compiler/typecheck/TcPat.lhs
@@ -978,7 +978,7 @@ patCtxt pat 	    = Just (hang (ptext (sLit "In the pattern:"))
 existentialExplode :: LPat Name -> SDoc
 existentialExplode pat
   = hang (vcat [text "My brain just exploded.",
-	        text "I can't handle pattern bindings for existentially-quantified constructors.",
+	        text "I can't handle pattern bindings for existential or GADT data constructors.",
 	        text "Instead, use a case-expression, or do-notation, to unpack the constructor.",
 		text "In the binding group for"])
 	4 (ppr pat)
@@ -1030,7 +1030,7 @@ existentialProcPat con
 lazyPatErr :: Pat name -> [TcTyVar] -> TcM ()
 lazyPatErr _ tvs
   = failWithTc $
-    hang (ptext (sLit "A lazy (~) pattern cannot bind existential type variables"))
+    hang (ptext (sLit "A lazy (~) pattern cannot match existential or GADT data constructors"))
        2 (vcat (map pprSkolTvBinding tvs))
 
 nonRigidMatch :: PatCtxt -> DataCon -> SDoc