Fix some notes

2 files changed, 3 insertions, 3 deletions

diff --git a/compiler/GHC/Tc/Errors/Hole.hs b/compiler/GHC/Tc/Errors/Hole.hs
index 7d1388c112..4115d6b198 100644
--- a/compiler/GHC/Tc/Errors/Hole.hs
+++ b/compiler/GHC/Tc/Errors/Hole.hs
@@ -205,7 +205,7 @@ When we now check whether `x :: a_a1pa[sk:2]` fits the hole in
 `tcCheckHoleFit`, the call to `tcSubType` will end up unifying the meta type
 variable `a0_a1pd[tau:2] := a_a1pa[sk:2]`. By wrapping the wanted constraints
 needed by tcSubType_NC and the relevant constraints (see Note [Relevant
-Constraints] for more details) in the nested implications, we can pass the
+constraints] for more details) in the nested implications, we can pass the
 information in the givens along to the simplifier. For our example, we end up
 needing to check whether the following constraints are soluble.
 
@@ -982,7 +982,7 @@ tcCheckHoleFit (TypedHole {..}) hole_ty ty = discardErrs $
                  -- the wanteds, because they are freshly generated by the
                  -- call to`tcSubtype_NC`.
                ; traceTc "final_wc is: " $ ppr final_wc
-                 -- See Note [Speeding up valid-hole fits]
+                 -- See Note [Speeding up valid hole-fits]
                ; (rem, _) <- tryTc $ runTcSDerivedsEarlyAbort $ simplifyTopWanteds final_wc
                ; traceTc "}" empty
                ; return (any isSolvedWC rem, wrap)
diff --git a/compiler/GHC/Tc/Errors/Types.hs b/compiler/GHC/Tc/Errors/Types.hs
index 04b3acefa0..e292d864d8 100644
--- a/compiler/GHC/Tc/Errors/Types.hs
+++ b/compiler/GHC/Tc/Errors/Types.hs
@@ -125,7 +125,7 @@ existence of these two types, which for now remain a "necessary evil".
 -}
 
 -- The majority of TcRn messages come with extra context about the error,
--- and this newtype captures it. See Note [Migrating TcM messages].
+-- and this newtype captures it. See Note [Migrating TcM Messages].
 data ErrInfo = ErrInfo {
     errInfoContext :: !SDoc
     -- ^ Extra context associated to the error.