X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcPat.lhs;h=9cea0eaa7b759d8b8bb49e5d4d61f902832d1e7d;hb=ead3abe7fbf33f019549a05ad9dd3cd22ef3adab;hp=a8e2d39f7573ba1b421eaf99c23e40baaef97b66;hpb=e2b5796d58ffce3f62f71439df51932679ffb16c;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs
index a8e2d39..9cea0ea 100644
--- a/compiler/typecheck/TcPat.lhs
+++ b/compiler/typecheck/TcPat.lhs
@@ -920,7 +920,7 @@ patCtxt pat 	    = Just (hang (ptext SLIT("In the pattern:"))
 existentialExplode pat
   = hang (vcat [text "My brain just exploded.",
 	        text "I can't handle pattern bindings for existentially-quantified constructors.",
-	        text "Instead, use a case-expression to unpack the constructor.",
+	        text "Instead, use a case-expression, or do-notation, to unpack the constructor.",
 		text "In the binding group for"])
 	4 (ppr pat)