diff options
Diffstat (limited to 'compiler/GHC/HsToCore/Errors/Types.hs')
-rw-r--r-- | compiler/GHC/HsToCore/Errors/Types.hs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/compiler/GHC/HsToCore/Errors/Types.hs b/compiler/GHC/HsToCore/Errors/Types.hs index 1747ae7914..55164e741b 100644 --- a/compiler/GHC/HsToCore/Errors/Types.hs +++ b/compiler/GHC/HsToCore/Errors/Types.hs @@ -12,13 +12,11 @@ import GHC.Core.Type import GHC.Driver.Session import GHC.Hs import GHC.HsToCore.Pmc.Solver.Types -import GHC.Tc.Errors.Types (LevityCheckProvenance) import GHC.Types.Basic (Activation) import GHC.Types.Error import GHC.Types.ForeignCall import GHC.Types.Id import GHC.Types.Name (Name) -import GHC.Utils.Outputable import qualified GHC.LanguageExtensions as LangExt newtype MinBound = MinBound Integer @@ -144,31 +142,15 @@ data DsMessage | DsRecBindsNotAllowedForUnliftedTys ![LHsBindLR GhcTc GhcTc] - -- NOTE(adn) The first argument is an opaque 'expr' with an - -- 'Outputable' constraint because this messages is emitted from - -- 'GHC.HsToCore.Expr.checkLevPolyArgs' which gets passed a polymorphic - -- 'Outputable' type. - | forall expr. Outputable expr => DsCannotUseFunWithPolyArgs !expr !Type ![Type] - | DsRuleMightInlineFirst !RuleName !Var !Activation | DsAnotherRuleMightFireFirst !RuleName !RuleName -- the \"bad\" rule !Var - | DsLevityPolyInExpr !CoreExpr !LevityExprProvenance - - | DsLevityPolyInType !Type !LevityCheckProvenance - -- The positional number of the argument for an expression (first, second, third, etc) newtype DsArgNum = DsArgNum Int --- | Where the levity checking for the expression originated -data LevityExprProvenance - = LevityCheckHsExpr !(HsExpr GhcTc) - | LevityCheckWpFun !SDoc -- FIXME(adn) Alas 'WpFun' gives us an SDoc here. - | LevityCheckInSyntaxExpr !DsArgNum !(HsExpr GhcTc) - -- | Why TemplateHaskell rejected the splice. Used in the 'DsNotYetHandledByTH' -- constructor of a 'DsMessage'. data ThRejectionReason |