Matthew Pickering pushed to branch wip/splice-imports-2025 at Glasgow Haskell Compiler / GHC

Commits:

2 changed files:

Changes:

  • compiler/GHC/Tc/Errors/Ppr.hs
    ... ... @@ -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
     
    

  • compiler/GHC/Tc/Errors/Types.hs
    ... ... @@ -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
     ----