Add exports to GHC.Tc.Errors.Hole (fixes #19864)

1 files changed, 31 insertions, 1 deletions

diff --git a/compiler/GHC/Tc/Errors/Hole.hs-boot b/compiler/GHC/Tc/Errors/Hole.hs-boot
index 215f319c79..8c4bfce546 100644
--- a/compiler/GHC/Tc/Errors/Hole.hs-boot
+++ b/compiler/GHC/Tc/Errors/Hole.hs-boot
@@ -4,10 +4,40 @@
 -- + which calls 'GHC.Tc.Solver.simpl_top'
 module GHC.Tc.Errors.Hole where
 
+import GHC.Types.Var ( Id )
 import GHC.Tc.Types  ( TcM )
-import GHC.Tc.Types.Constraint ( Ct, Hole, Implication )
+import GHC.Tc.Types.Constraint ( Ct, CtLoc, Hole, Implication )
 import GHC.Utils.Outputable ( SDoc )
 import GHC.Types.Var.Env ( TidyEnv )
+import GHC.Tc.Errors.Hole.FitTypes ( HoleFit, TypedHole, HoleFitCandidate )
+import GHC.Tc.Utils.TcType ( TcType, TcSigmaType, Type, TcTyVar )
+import GHC.Tc.Types.Evidence ( HsWrapper )
+import GHC.Utils.FV ( FV )
+import Data.Bool ( Bool )
+import Data.Maybe ( Maybe )
+import Data.Int ( Int )
 
 findValidHoleFits :: TidyEnv -> [Implication] -> [Ct] -> Hole
                   -> TcM (TidyEnv, SDoc)
+
+tcCheckHoleFit :: TypedHole -> TcSigmaType -> TcSigmaType
+               -> TcM (Bool, HsWrapper)
+
+withoutUnification :: FV -> TcM a -> TcM a
+tcSubsumes :: TcSigmaType -> TcSigmaType -> TcM Bool
+tcFilterHoleFits :: Maybe Int -> TypedHole -> (TcType, [TcTyVar])
+                 -> [HoleFitCandidate] -> TcM (Bool, [HoleFit])
+getLocalBindings :: TidyEnv -> CtLoc -> TcM [Id]
+addHoleFitDocs :: [HoleFit] -> TcM [HoleFit]
+
+data HoleFitDispConfig
+data HoleFitSortingAlg
+
+pprHoleFit :: HoleFitDispConfig -> HoleFit -> SDoc
+getHoleFitSortingAlg :: TcM HoleFitSortingAlg
+getHoleFitDispConfig :: TcM HoleFitDispConfig
+
+relevantCts :: Type -> [Ct] -> [Ct]
+zonkSubs :: TidyEnv -> [HoleFit] -> TcM (TidyEnv, [HoleFit])
+sortHoleFitsBySize :: [HoleFit] -> TcM [HoleFit]
+sortHoleFitsByGraph :: [HoleFit] -> TcM [HoleFit]