{-# LANGUAGE DataKinds #-} {-# LANGUAGE ViewPatterns #-} {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE CPP #-} module Debug.Breakpoint.GhcFacade ( module Ghc , liftedRepName , mkLexicalFastString , fromLexicalFastString , collectHsBindBinders' , collectPatBinders' , mkWildValBinder' , pprTypeForUser' , showSDocOneLine' , findImportedModule' , findPluginModule' , pattern HsLet' , pattern LetStmt' , pattern ExplicitList' , pattern OverLit' , pattern CDictCan' ) where #if MIN_VERSION_ghc(9,6,0) import GHC.Driver.Plugins as Ghc hiding (TcPlugin) import GHC.Hs.Extension as Ghc import Language.Haskell.Syntax as Ghc import GHC.Tc.Types as Ghc hiding (DefaultingPlugin) import qualified GHC.Tc.Plugin as Plugin import GHC.Parser.Annotation as Ghc import GHC.Types.SrcLoc as Ghc import GHC.Types.Name as Ghc import GHC.Iface.Env as Ghc import GHC.Unit.Finder as Ghc import GHC.Tc.Utils.Monad as Ghc hiding (TcPlugin, DefaultingPlugin) import GHC.Data.FastString as Ghc import GHC.Hs.Utils as Ghc import GHC.Types.Unique.Set as Ghc import GHC.Utils.Outputable as Ghc import GHC.Hs.Binds as Ghc import GHC.Data.Bag as Ghc import GHC.Types.Basic as Ghc import GHC.Types.Name.Env as Ghc import GHC.Builtin.Types as Ghc import GHC.Core.TyCo.Rep as Ghc import GHC.Tc.Types.Constraint as Ghc import GHC.Core.Make as Ghc import GHC.Tc.Types.Evidence as Ghc import GHC.Types.Id as Ghc import GHC.Core.InstEnv as Ghc import GHC.Core.Class as Ghc hiding (FunDep) import GHC.Tc.Utils.TcType as Ghc import GHC.Core.Type as Ghc import GHC.Core.TyCon as Ghc import GHC.Types.TyThing.Ppr as Ghc import GHC.Hs.Expr as Ghc import GHC.Types.PkgQual as Ghc import GHC.Tc.Types.Origin as Ghc #elif MIN_VERSION_ghc(9,4,0) import GHC.Driver.Plugins as Ghc hiding (TcPlugin) import GHC.Hs.Extension as Ghc import Language.Haskell.Syntax as Ghc import GHC.Tc.Types as Ghc hiding (DefaultingPlugin) import qualified GHC.Tc.Plugin as Plugin import GHC.Parser.Annotation as Ghc import GHC.Types.SrcLoc as Ghc import GHC.Types.Name as Ghc import GHC.Iface.Env as Ghc import GHC.Unit.Finder as Ghc import GHC.Unit.Module.Name as Ghc import GHC.Tc.Utils.Monad as Ghc hiding (TcPlugin, DefaultingPlugin) import GHC.Data.FastString as Ghc import GHC.Hs.Utils as Ghc import GHC.Types.Unique.Set as Ghc import GHC.Utils.Outputable as Ghc import GHC.Hs.Binds as Ghc import GHC.Data.Bag as Ghc import GHC.Types.Basic as Ghc import GHC.Types.Name.Env as Ghc import GHC.Builtin.Types as Ghc import GHC.Core.TyCo.Rep as Ghc import GHC.Tc.Types.Constraint as Ghc import GHC.Core.Make as Ghc import GHC.Tc.Types.Evidence as Ghc import GHC.Types.Id as Ghc import GHC.Core.InstEnv as Ghc import GHC.Core.Class as Ghc hiding (FunDep) import GHC.Tc.Utils.TcType as Ghc import GHC.Core.Type as Ghc import GHC.Core.TyCon as Ghc import GHC.Types.TyThing.Ppr as Ghc import GHC.Hs.Expr as Ghc import GHC.Types.PkgQual as Ghc import GHC.Tc.Types.Origin as Ghc #elif MIN_VERSION_ghc(9,2,0) import GHC.Driver.Plugins as Ghc hiding (TcPlugin) import GHC.Hs.Extension as Ghc import Language.Haskell.Syntax as Ghc import GHC.Tc.Types as Ghc import qualified GHC.Tc.Plugin as Plugin import GHC.Parser.Annotation as Ghc import GHC.Types.SrcLoc as Ghc import GHC.Types.Name as Ghc import GHC.Iface.Env as Ghc import GHC.Unit.Finder as Ghc import GHC.Unit.Module.Name as Ghc import GHC.Tc.Utils.Monad as Ghc hiding (TcPlugin) import GHC.Data.FastString as Ghc import GHC.Hs.Utils as Ghc import GHC.Types.Unique.Set as Ghc import GHC.Utils.Outputable as Ghc import GHC.Hs.Binds as Ghc import GHC.Data.Bag as Ghc import GHC.Types.Basic as Ghc import GHC.Types.Name.Env as Ghc import GHC.Builtin.Types as Ghc import GHC.Core.TyCo.Rep as Ghc import GHC.Tc.Types.Constraint as Ghc import GHC.Core.Make as Ghc import GHC.Tc.Types.Evidence as Ghc import GHC.Types.Id as Ghc import GHC.Core.InstEnv as Ghc import GHC.Core.Class as Ghc hiding (FunDep) import GHC.Tc.Utils.TcType as Ghc import GHC.Core.Type as Ghc import GHC.Core.TyCon as Ghc import GHC.Types.TyThing.Ppr as Ghc import GHC.Hs.Expr as Ghc import GHC.Tc.Types.Origin as Ghc #endif liftedRepName :: Ghc.Name liftedRepName :: Name liftedRepName = TyCon -> Name forall a. NamedThing a => a -> Name Ghc.getName TyCon Ghc.liftedRepTyCon mkLexicalFastString :: Ghc.FastString -> Ghc.LexicalFastString fromLexicalFastString :: Ghc.LexicalFastString -> Ghc.FastString mkLexicalFastString :: FastString -> LexicalFastString mkLexicalFastString = FastString -> LexicalFastString Ghc.LexicalFastString fromLexicalFastString :: LexicalFastString -> FastString fromLexicalFastString (Ghc.LexicalFastString FastString fs) = FastString fs collectHsBindBinders' :: Ghc.HsBindLR Ghc.GhcRn idR -> [Ghc.Name] collectHsBindBinders' :: forall idR. HsBindLR GhcRn idR -> [Name] collectHsBindBinders' = CollectFlag GhcRn -> HsBindLR GhcRn idR -> [IdP GhcRn] forall p idR. CollectPass p => CollectFlag p -> HsBindLR p idR -> [IdP p] Ghc.collectHsBindBinders CollectFlag GhcRn forall p. CollectFlag p Ghc.CollNoDictBinders collectPatBinders' :: Ghc.LPat Ghc.GhcRn -> [Ghc.Name] collectPatBinders' :: LPat GhcRn -> [Name] collectPatBinders' = CollectFlag GhcRn -> LPat GhcRn -> [IdP GhcRn] forall p. CollectPass p => CollectFlag p -> LPat p -> [IdP p] Ghc.collectPatBinders CollectFlag GhcRn forall p. CollectFlag p Ghc.CollNoDictBinders mkWildValBinder' :: Ghc.Type -> Ghc.Id mkWildValBinder' :: Type -> Id mkWildValBinder' = Type -> Type -> Id Ghc.mkWildValBinder Type Ghc.oneDataConTy pprTypeForUser' :: Ghc.Type -> Ghc.SDoc #if MIN_VERSION_ghc(9,4,0) pprTypeForUser' :: Type -> SDoc pprTypeForUser' = Type -> SDoc Ghc.pprSigmaType #else pprTypeForUser' = Ghc.pprTypeForUser #endif showSDocOneLine' :: Ghc.SDoc -> String showSDocOneLine' :: SDoc -> String showSDocOneLine' = SDocContext -> SDoc -> String Ghc.showSDocOneLine SDocContext Ghc.defaultSDocContext findImportedModule' :: Ghc.ModuleName -> Ghc.TcPluginM Ghc.FindResult #if MIN_VERSION_ghc(9,4,0) findImportedModule' :: ModuleName -> TcPluginM FindResult findImportedModule' ModuleName modName = ModuleName -> PkgQual -> TcPluginM FindResult Plugin.findImportedModule ModuleName modName PkgQual Ghc.NoPkgQual #else findImportedModule' modName = Plugin.findImportedModule modName Nothing #endif findPluginModule' :: Ghc.ModuleName -> Ghc.TcM Ghc.FindResult #if MIN_VERSION_ghc(9,4,0) findPluginModule' :: ModuleName -> TcM FindResult findPluginModule' ModuleName modName = TcPluginM FindResult -> TcM FindResult forall a. TcPluginM a -> TcM a Ghc.runTcPluginM (TcPluginM FindResult -> TcM FindResult) -> TcPluginM FindResult -> TcM FindResult forall a b. (a -> b) -> a -> b $ ModuleName -> PkgQual -> TcPluginM FindResult Plugin.findImportedModule ModuleName modName PkgQual Ghc.NoPkgQual #else findPluginModule' modName = do hscEnv <- Ghc.getTopEnv liftIO $ Ghc.findPluginModule hscEnv modName #endif #if MIN_VERSION_ghc(9,4,0) type LetToken = Ghc.LHsToken "let" Ghc.GhcRn type InToken = Ghc.LHsToken "in" Ghc.GhcRn #else type LetToken = () type InToken = () #endif pattern HsLet' :: Ghc.XLet Ghc.GhcRn -> LetToken -> Ghc.Located (Ghc.HsLocalBinds Ghc.GhcRn) -> InToken -> Ghc.LHsExpr Ghc.GhcRn -> Ghc.HsExpr Ghc.GhcRn #if MIN_VERSION_ghc(9,4,0) pattern $mHsLet' :: forall {r}. HsExpr GhcRn -> (XLet GhcRn -> LetToken -> Located (HsLocalBinds GhcRn) -> InToken -> LHsExpr GhcRn -> r) -> ((# #) -> r) -> r $bHsLet' :: XLet GhcRn -> LetToken -> Located (HsLocalBinds GhcRn) -> InToken -> LHsExpr GhcRn -> HsExpr GhcRn HsLet' x letToken lbinds inToken expr <- Ghc.HsLet x letToken (Ghc.L Ghc.noSrcSpan -> lbinds) inToken expr where HsLet' XLet GhcRn x LetToken letToken (Ghc.L SrcSpan _ HsLocalBinds GhcRn binds) InToken inToken LHsExpr GhcRn expr = XLet GhcRn -> LetToken -> HsLocalBinds GhcRn -> InToken -> LHsExpr GhcRn -> HsExpr GhcRn forall p. XLet p -> LHsToken "let" p -> HsLocalBinds p -> LHsToken "in" p -> LHsExpr p -> HsExpr p Ghc.HsLet XLet GhcRn x LetToken letToken HsLocalBinds GhcRn binds InToken inToken LHsExpr GhcRn expr #elif MIN_VERSION_ghc(9,2,0) pattern HsLet' x letToken lbinds inToken expr <- Ghc.HsLet (pure . pure -> (letToken, (inToken, x))) (Ghc.L Ghc.noSrcSpan -> lbinds) expr where HsLet' x () (Ghc.L _ binds) () expr = Ghc.HsLet x binds expr #else pattern HsLet' x letToken lbinds inToken expr <- Ghc.HsLet (pure . pure -> (letToken, (inToken, x))) lbinds expr where HsLet' x _ lbinds _ expr = Ghc.HsLet x lbinds expr #endif pattern LetStmt' :: XLetStmt Ghc.GhcRn Ghc.GhcRn body -> Ghc.Located (HsLocalBinds Ghc.GhcRn) -> Ghc.StmtLR Ghc.GhcRn Ghc.GhcRn body #if MIN_VERSION_ghc(9,2,0) pattern $mLetStmt' :: forall {r} {body}. StmtLR GhcRn GhcRn body -> (XLetStmt GhcRn GhcRn body -> Located (HsLocalBinds GhcRn) -> r) -> ((# #) -> r) -> r $bLetStmt' :: forall body. XLetStmt GhcRn GhcRn body -> Located (HsLocalBinds GhcRn) -> StmtLR GhcRn GhcRn body LetStmt' x lbinds <- Ghc.LetStmt x (Ghc.L Ghc.noSrcSpan -> lbinds) where LetStmt' XLetStmt GhcRn GhcRn body x (Ghc.L SrcSpan _ HsLocalBinds GhcRn binds) = XLetStmt GhcRn GhcRn body -> HsLocalBinds GhcRn -> StmtLR GhcRn GhcRn body forall idL idR body. XLetStmt idL idR body -> HsLocalBindsLR idL idR -> StmtLR idL idR body Ghc.LetStmt XLetStmt GhcRn GhcRn body x HsLocalBinds GhcRn binds #else pattern LetStmt' x lbinds = Ghc.LetStmt x lbinds #endif pattern ExplicitList' :: Ghc.XExplicitList p -> [Ghc.LHsExpr p] -> Ghc.HsExpr p #if MIN_VERSION_ghc(9,2,0) pattern $mExplicitList' :: forall {r} {p}. HsExpr p -> (XExplicitList p -> [LHsExpr p] -> r) -> ((# #) -> r) -> r $bExplicitList' :: forall p. XExplicitList p -> [LHsExpr p] -> HsExpr p ExplicitList' x exprs = Ghc.ExplicitList x exprs #else pattern ExplicitList' x exprs <- Ghc.ExplicitList x _ exprs where ExplicitList' x exprs = Ghc.ExplicitList x Nothing exprs #endif pattern OverLit' :: Ghc.OverLitVal -> Ghc.HsOverLit Ghc.GhcRn pattern $mOverLit' :: forall {r}. HsOverLit GhcRn -> (OverLitVal -> r) -> ((# #) -> r) -> r OverLit' lit #if MIN_VERSION_ghc(9,4,0) <- Ghc.OverLit _ lit #else <- Ghc.OverLit _ lit _ #endif pattern CDictCan' :: Ghc.CtEvidence -> Ghc.Class -> [Ghc.Xi] -> Ghc.Ct pattern $mCDictCan' :: forall {r}. Ct -> (CtEvidence -> Class -> [Type] -> r) -> ((# #) -> r) -> r CDictCan' diEv diCls diTys #if MIN_VERSION_ghc(9,8,0) <- Ghc.CDictCan (Ghc.DictCt diEv diCls diTys _) #else <- Ghc.CDictCan { Ghc.cc_ev = diEv, Ghc.cc_class = diCls, Ghc.cc_tyargs = diTys } #endif