summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors/Hole/FitTypes.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Tc/Errors/Hole/FitTypes.hs')
-rw-r--r--compiler/GHC/Tc/Errors/Hole/FitTypes.hs6
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Errors/Hole/FitTypes.hs b/compiler/GHC/Tc/Errors/Hole/FitTypes.hs
index 70a655db45..077bdaab18 100644
--- a/compiler/GHC/Tc/Errors/Hole/FitTypes.hs
+++ b/compiler/GHC/Tc/Errors/Hole/FitTypes.hs
@@ -19,15 +19,17 @@ import GHC.Types.Id
import GHC.Utils.Outputable
import GHC.Types.Name
+import GHC.Data.Bag
+
import Data.Function ( on )
-data TypedHole = TypedHole { th_relevant_cts :: Cts
+data TypedHole = TypedHole { th_relevant_cts :: Bag CtEvidence
-- ^ Any relevant Cts to the hole
, th_implics :: [Implication]
-- ^ The nested implications of the hole with the
-- innermost implication first.
, th_hole :: Maybe Hole
- -- ^ The hole itself, if available. Only for debugging.
+ -- ^ The hole itself, if available.
}
instance Outputable TypedHole where