summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors/Ppr.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Tc/Errors/Ppr.hs')
-rw-r--r--compiler/GHC/Tc/Errors/Ppr.hs8
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/GHC/Tc/Errors/Ppr.hs b/compiler/GHC/Tc/Errors/Ppr.hs
index fc69df5379..a1773a12ed 100644
--- a/compiler/GHC/Tc/Errors/Ppr.hs
+++ b/compiler/GHC/Tc/Errors/Ppr.hs
@@ -67,6 +67,10 @@ instance Diagnostic TcRnMessage where
hang (text "solveWanteds: too many iterations"
<+> parens (text "limit =" <+> ppr limit))
2 (text "Unsolved:" <+> ppr wc)
+ TcRnIllegalPatSynDecl rdrname
+ -> mkSimpleDecorated $
+ hang (text "Illegal pattern synonym declaration for" <+> quotes (ppr rdrname))
+ 2 (text "Pattern synonym declarations are only valid at top level")
diagnosticReason = \case
TcRnUnknownMessage m
@@ -96,6 +100,8 @@ instance Diagnostic TcRnMessage where
-> ErrorWithoutFlag
TcRnSimplifierTooManyIterations{}
-> ErrorWithoutFlag
+ TcRnIllegalPatSynDecl{}
+ -> ErrorWithoutFlag
diagnosticHints = \case
TcRnUnknownMessage m
@@ -125,6 +131,8 @@ instance Diagnostic TcRnMessage where
-> noHints
TcRnSimplifierTooManyIterations{}
-> [SuggestIncreaseSimplifierIterations]
+ TcRnIllegalPatSynDecl{}
+ -> noHints
messageWithInfoDiagnosticMessage :: UnitState
-> ErrInfo