summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors/Types.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Tc/Errors/Types.hs')
-rw-r--r--compiler/GHC/Tc/Errors/Types.hs11
1 files changed, 11 insertions, 0 deletions
diff --git a/compiler/GHC/Tc/Errors/Types.hs b/compiler/GHC/Tc/Errors/Types.hs
index 10cc3524df..98e2479e52 100644
--- a/compiler/GHC/Tc/Errors/Types.hs
+++ b/compiler/GHC/Tc/Errors/Types.hs
@@ -1412,6 +1412,17 @@ data TcRnMessage where
-}
TcRnArrowProcGADTPattern :: TcRnMessage
+ {- TcRnForallIdentifier is a warning (controlled with -Wforall-identifier) that occurs
+ when a definition uses 'forall' as an identifier.
+
+ Example:
+ forall x = ()
+ g forall = ()
+
+ Test cases: T20609 T20609a T20609b T20609c T20609d
+ -}
+ TcRnForallIdentifier :: RdrName -> TcRnMessage
+
-- | Which parts of a record field are affected by a particular error or warning.
data RecordFieldPart
= RecordFieldConstructor !Name