Fix typos

4 files changed, 7 insertions, 7 deletions

diff --git a/compiler/GHC/Tc/Gen/App.hs b/compiler/GHC/Tc/Gen/App.hs
index 7d64f0d1ef..b420cf8c9e 100644
--- a/compiler/GHC/Tc/Gen/App.hs
+++ b/compiler/GHC/Tc/Gen/App.hs
@@ -230,7 +230,7 @@ tcApp works like this:
    returning the function in the corner and the arguments
 
    splitHsApps can deal with infix as well as prefix application,
-   and returns a Rebuilder to re-assemble the the application after
+   and returns a Rebuilder to re-assemble the application after
    typechecking.
 
    The "list of arguments" is [HsExprArg], described in Note [HsExprArg].
@@ -369,7 +369,7 @@ tcApp rn_expr exp_res_ty
                  -- Even though both app_res_rho and exp_res_ty are rho-types,
                  -- they may have nested polymorphism, so if deep subsumption
                  -- is on we must call tcSubType.
-                 -- Zonk app_res_rho first, becuase QL may have instantiated some
+                 -- Zonk app_res_rho first, because QL may have instantiated some
                  -- delta variables to polytypes, and tcSubType doesn't expect that
                  do { app_res_rho <- zonkQuickLook do_ql app_res_rho
                     ; tcSubTypeDS rn_expr app_res_rho exp_res_ty }
@@ -509,7 +509,7 @@ type Delta = TcTyVarSet   -- Set of instantiation variables,
 
 tcInstFun :: Bool   -- True  <=> Do quick-look
           -> Bool   -- False <=> Instantiate only /inferred/ variables at the end
-                    --           so may return a sigma-typex
+                    --           so may return a sigma-type
                     -- True  <=> Instantiate all type variables at the end:
                     --           return a rho-type
                     -- The /only/ call site that passes in False is the one
diff --git a/compiler/GHC/Tc/Gen/Foreign.hs b/compiler/GHC/Tc/Gen/Foreign.hs
index 57b30c9548..b8899e2431 100644
--- a/compiler/GHC/Tc/Gen/Foreign.hs
+++ b/compiler/GHC/Tc/Gen/Foreign.hs
@@ -198,7 +198,7 @@ used even though it is not mentioned expclitly in the source, so we don't
 want to report it as "defined but not used" or "imported but not used".
 eg     newtype D = MkD Int
        foreign import foo :: D -> IO ()
-Here 'MkD' us used.  See #7408.
+Here 'MkD' is used.  See #7408.
 
 GHC also expands type functions during this process, so it's not enough
 just to look at the free variables of the declaration.
diff --git a/compiler/GHC/Tc/Gen/Sig.hs b/compiler/GHC/Tc/Gen/Sig.hs
index 138e61978c..cfc5454e54 100644
--- a/compiler/GHC/Tc/Gen/Sig.hs
+++ b/compiler/GHC/Tc/Gen/Sig.hs
@@ -455,7 +455,7 @@ tcPatSynSig name sig_ty@(L _ (HsSig{sig_bndrs = hs_outer_bndrs, sig_body = hs_ty
 
        -- Neither argument types nor the return type may be representation polymorphic.
        -- This is because, when creating a matcher:
-       --   - the argument types become the the binder types (see test RepPolyPatySynArg),
+       --   - the argument types become the binder types (see test RepPolyPatySynArg),
        --   - the return type becomes the scrutinee type (see test RepPolyPatSynRes).
        ; let (arg_tys, res_ty) = tcSplitFunTys body_ty
        ; mapM_
diff --git a/compiler/GHC/Tc/Gen/Splice.hs b/compiler/GHC/Tc/Gen/Splice.hs
index 47d19c127b..e7a45a5be9 100644
--- a/compiler/GHC/Tc/Gen/Splice.hs
+++ b/compiler/GHC/Tc/Gen/Splice.hs
@@ -2641,8 +2641,8 @@ reifyTypes = mapM reifyType
 reifyPatSynType
   :: ([InvisTVBinder], ThetaType, [InvisTVBinder], ThetaType, [Scaled Type], Type) -> TcM TH.Type
 -- reifies a pattern synonym's type and returns its *complete* type
--- signature; see NOTE [Pattern synonym signatures and Template
--- Haskell]
+-- signature; see Note [Pattern synonym type signatures and Template
+-- Haskell] in GHC.ThToHs
 reifyPatSynType (univTyVars, req, exTyVars, prov, argTys, resTy)
   = do { univTyVars' <- reifyTyVarBndrs univTyVars
        ; req'        <- reifyCxt req