diff options
| author | Oleg Grenrus <oleg.grenrus@iki.fi> | 2023-01-03 23:40:48 +0200 |
|---|---|---|
| committer | Oleg Grenrus <oleg.grenrus@iki.fi> | 2023-05-16 07:59:21 +0300 |
| commit | bdb93cd28f4a40e9a9f28b0976ca8fa4f250cad2 (patch) | |
| tree | 4b61e2541b49be36f20a07b05a9625d791e2177e /compiler/GHC/Tc/Errors/Types.hs | |
| parent | a8f0435fc5516ad978064eeabcc24776b6b86351 (diff) | |
| download | haskell-bdb93cd28f4a40e9a9f28b0976ca8fa4f250cad2.tar.gz | |
Add -Wmissing-role-annotations
Implements #22702
Diffstat (limited to 'compiler/GHC/Tc/Errors/Types.hs')
| -rw-r--r-- | compiler/GHC/Tc/Errors/Types.hs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/compiler/GHC/Tc/Errors/Types.hs b/compiler/GHC/Tc/Errors/Types.hs index 4f0d961a3d..41fa0515ee 100644 --- a/compiler/GHC/Tc/Errors/Types.hs +++ b/compiler/GHC/Tc/Errors/Types.hs @@ -4168,6 +4168,18 @@ data TcRnMessage where -> Maybe [GlobalRdrElt] -- ^ lookup result -> TcRnMessage + {- TcRnMissingRoleAnnotation is a warning that occurs when type declaration + doesn't have a role annotatiosn + + Controlled by flags: + - Wmissing-role-annotations + + Test cases: + T22702 + + -} + TcRnMissingRoleAnnotation :: Name -> [Role] -> TcRnMessage + deriving Generic -- | Things forbidden in @type data@ declarations. |