Matthew Pickering pushed to branch wip/splice-imports-2025 at Glasgow Haskell Compiler / GHC
Commits:
-
43b0dfc2
by Matthew Pickering at 2025-04-24T16:06:35+01:00
2 changed files:
Changes:
... | ... | @@ -2035,10 +2035,6 @@ instance Diagnostic TcRnMessage where |
2035 | 2035 | TcRnUnexpectedTypeSyntaxInTerms syntax -> mkSimpleDecorated $
|
2036 | 2036 | text "Unexpected" <+> pprTypeSyntaxName syntax
|
2037 | 2037 | |
2038 | - TcRnDeriveLiftWithoutImplicitStagePersistence{}
|
|
2039 | - -> mkSimpleDecorated $
|
|
2040 | - text "Deriving Lift is not possible when ImplicitStagePersistence is disabled."
|
|
2041 | - |
|
2042 | 2038 | diagnosticReason :: TcRnMessage -> DiagnosticReason
|
2043 | 2039 | diagnosticReason = \case
|
2044 | 2040 | TcRnUnknownMessage m
|
... | ... | @@ -2689,8 +2685,6 @@ instance Diagnostic TcRnMessage where |
2689 | 2685 | -> ErrorWithoutFlag
|
2690 | 2686 | TcRnUnexpectedTypeSyntaxInTerms{}
|
2691 | 2687 | -> ErrorWithoutFlag
|
2692 | - TcRnDeriveLiftWithoutImplicitStagePersistence{}
|
|
2693 | - -> ErrorWithoutFlag
|
|
2694 | 2688 | |
2695 | 2689 | diagnosticHints = \case
|
2696 | 2690 | TcRnUnknownMessage m
|
... | ... | @@ -3380,8 +3374,6 @@ instance Diagnostic TcRnMessage where |
3380 | 3374 | -> noHints
|
3381 | 3375 | TcRnUnexpectedTypeSyntaxInTerms syntax
|
3382 | 3376 | -> [suggestExtension (typeSyntaxExtension syntax)]
|
3383 | - TcRnDeriveLiftWithoutImplicitStagePersistence{}
|
|
3384 | - -> noHints
|
|
3385 | 3377 | |
3386 | 3378 | diagnosticCode = constructorCode @GHC
|
3387 | 3379 |
... | ... | @@ -4453,17 +4453,6 @@ data TcRnMessage where |
4453 | 4453 | Test cases: T24159_type_syntax_rn_fail
|
4454 | 4454 | -}
|
4455 | 4455 | TcRnUnexpectedTypeSyntaxInTerms :: TypeSyntax -> TcRnMessage
|
4456 | - |
|
4457 | - {-| TcRnDeriveLiftWithoutImplicitStagePersistence is an error indicating that
|
|
4458 | - someone tried to derive a Lift instance when ImplicitStagePersistence is enabled.
|
|
4459 | - |
|
4460 | - |
|
4461 | - Test cases:
|
|
4462 | - None yet
|
|
4463 | - -}
|
|
4464 | - TcRnDeriveLiftWithoutImplicitStagePersistence :: !Name -- ^ The type for which Lift is being derived
|
|
4465 | - -> TcRnMessage
|
|
4466 | - |
|
4467 | 4456 | deriving Generic
|
4468 | 4457 | |
4469 | 4458 | ----
|