summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types
diff options
context:
space:
mode:
authorTorsten Schmits <git@tryp.io>2023-03-17 19:00:05 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-03-22 15:31:18 -0400
commitcedf9a3b7a74a7c1c09e8b994edc40a2447dae08 (patch)
tree2f99f3943b03210009e143089c3346465e842d9e /compiler/GHC/Types
parente0b8eaf3fc3d2ebbdcc86610b889930dbe5b4cdb (diff)
downloadhaskell-cedf9a3b7a74a7c1c09e8b994edc40a2447dae08.tar.gz
Add structured error messages for GHC.Tc.Utils.TcMType
Tracking ticket: #20119 MR: !10138 This converts uses of `mkTcRnUnknownMessage` to newly added constructors of `TcRnMessage`.
Diffstat (limited to 'compiler/GHC/Types')
-rw-r--r--compiler/GHC/Types/Error/Codes.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/GHC/Types/Error/Codes.hs b/compiler/GHC/Types/Error/Codes.hs
index 1f9fb29905..a5c751ed3d 100644
--- a/compiler/GHC/Types/Error/Codes.hs
+++ b/compiler/GHC/Types/Error/Codes.hs
@@ -539,6 +539,9 @@ type family GhcDiagnosticCode c = n | n -> c where
GhcDiagnosticCode "TcRnBadlyStaged" = 28914
GhcDiagnosticCode "TcRnStageRestriction" = 18157
GhcDiagnosticCode "TcRnTyThingUsedWrong" = 10969
+ GhcDiagnosticCode "TcRnCannotDefaultKindVar" = 79924
+ GhcDiagnosticCode "TcRnUninferrableTyvar" = 16220
+ GhcDiagnosticCode "TcRnSkolemEscape" = 71451
-- IllegalNewtypeReason
GhcDiagnosticCode "DoesNotHaveSingleField" = 23517