From cab7dec5854951416c56e64cda66a4bd96aeaa0f Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Tue, 13 Jan 2009 16:40:20 +0000 Subject: [PATCH] Improve error messages slightly --- compiler/typecheck/TcPat.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 1.7.10.4