A constraint for a namespace which has its own diagnostic codes.

See Note [Diagnostic code namespaces].

Use this type synonym to mark a diagnostic code as outdated.

The presence of this type synonym is used by the codes test to determine which diagnostic codes to check for testsuite coverage.

This function obtains a diagnostic code by looking up the constructor name using generics, and using the DiagnosticCode type family.

This function computes all diagnostic codes that occur inside a given type using generics and the DiagnosticCode type family.

For example, if T = MkT1 | MkT2, GhcDiagnosticCode "MkT1" = 123 and GhcDiagnosticCode "MkT2" = 456, then we will get > constructorCodes GHC T = fromList [ (DiagnosticCode GHC 123, "MkT1"), (DiagnosticCode GHC 456, "MkT2") ]

The GHC namespace for diagnostic codes.

Type family computing the numeric diagnostic code for a given error message constructor.

Its injectivity annotation ensures uniqueness of error codes.

Never remove a return value from this type family! Outdated error messages must still be tracked here to ensure uniqueness of diagnostic codes across GHC versions.

See Note [Diagnostic codes] in GHC.Types.Error.

Some constructors of diagnostic datatypes don't have corresponding error codes, because we recur inside them.

For example, we don't have an error code for the TcRnCannotDeriveInstance constructor of TcRnMessage, because we recur into the DeriveInstanceErrReason to obtain an error code.

This type family keeps track of such constructors.