Typofixes in docs and comments [ci skip]

17 files changed, 21 insertions, 21 deletions

diff --git a/compiler/basicTypes/MkId.hs b/compiler/basicTypes/MkId.hs
index f68a28d510..772bce47cc 100644
--- a/compiler/basicTypes/MkId.hs
+++ b/compiler/basicTypes/MkId.hs
@@ -124,7 +124,7 @@ Note [magicIds]
 ~~~~~~~~~~~~~~~
 The magicIds
 
-  * Are expotted from GHC.Maic
+  * Are exported from GHC.Maic
 
   * Can be defined in Haskell (and are, in ghc-prim:GHC/Magic.hs).
     This definition at least generates Haddock documentation for them.
diff --git a/compiler/coreSyn/CoreLint.hs b/compiler/coreSyn/CoreLint.hs
index 90095ad7b3..fb421a10cc 100644
--- a/compiler/coreSyn/CoreLint.hs
+++ b/compiler/coreSyn/CoreLint.hs
@@ -1384,7 +1384,7 @@ Consider (Trac #14939)
    f :: forall (cls :: * -> Constraint) (b :: Alg cls *). b
 
 Here 'cls' appears free in b's kind, which would usually be illegal
-(becuase in (forall a. ty), ty's kind should not mention 'a'). But
+(because in (forall a. ty), ty's kind should not mention 'a'). But
 #in this case (Alg cls *) = *, so all is well.  Currently we allow
 this, and make Lint expand synonyms where necessary to make it so.
 
diff --git a/compiler/coreSyn/CoreSyn.hs b/compiler/coreSyn/CoreSyn.hs
index 50e40d1531..678c5e1619 100644
--- a/compiler/coreSyn/CoreSyn.hs
+++ b/compiler/coreSyn/CoreSyn.hs
@@ -757,7 +757,7 @@ transformation universally. This transformation would do:
 but that is ill-typed, as `x` is type `a`, not `Bool`.
 
 
-This is also justifies why we do not consider the `e` in `e |> co` to be in
+This also justifies why we do not consider the `e` in `e |> co` to be in
 tail position: A cast changes the type, but the type must be the same. But
 operationally, casts are vacuous, so this is a bit unfortunate! See #14610 for
 ideas how to fix this.
diff --git a/compiler/iface/BinIface.hs b/compiler/iface/BinIface.hs
index b8b4bb0370..4e226854d6 100644
--- a/compiler/iface/BinIface.hs
+++ b/compiler/iface/BinIface.hs
@@ -208,7 +208,7 @@ putWithUserData log_action bh payload = do
     -- Remember where the symbol table pointer will go
     symtab_p_p <- tellBin bh
     put_ bh symtab_p_p
-    -- Make some intial state
+    -- Make some initial state
     symtab_next <- newFastMutInt
     writeFastMutInt symtab_next 0
     symtab_map <- newIORef emptyUFM
diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index fa210dcce9..77a6185e4c 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -880,7 +880,7 @@ data DynFlags = DynFlags {
   floatLamArgs          :: Maybe Int,   -- ^ Arg count for lambda floating
                                         --   See CoreMonad.FloatOutSwitches
 
-  cmmProcAlignment      :: Maybe Int,   -- ^ Align Cmm functions at this boundry or use default.
+  cmmProcAlignment      :: Maybe Int,   -- ^ Align Cmm functions at this boundary or use default.
 
   historySize           :: Int,         -- ^ Simplification history size
 
diff --git a/compiler/main/TidyPgm.hs b/compiler/main/TidyPgm.hs
index f98e65e471..b67ade25dc 100644
--- a/compiler/main/TidyPgm.hs
+++ b/compiler/main/TidyPgm.hs
@@ -612,7 +612,7 @@ chooseExternalIds hsc_env mod omit_prags expose_all binds implicit_binds imp_id_
  where
   nc_var = hsc_NC hsc_env
 
-  -- init_ext_ids is the intial list of Ids that should be
+  -- init_ext_ids is the initial list of Ids that should be
   -- externalised.  It serves as the starting point for finding a
   -- deterministic, tidy, renaming for all external Ids in this
   -- module.
diff --git a/compiler/rename/RnSource.hs b/compiler/rename/RnSource.hs
index 50841af818..98f8005381 100644
--- a/compiler/rename/RnSource.hs
+++ b/compiler/rename/RnSource.hs
@@ -392,7 +392,7 @@ rnHsForeignDecl (XForeignDecl _) = panic "rnHsForeignDecl"
 
 -- | For Windows DLLs we need to know what packages imported symbols are from
 --      to generate correct calls. Imported symbols are tagged with the current
---      package, so if they get inlined across a package boundry we'll still
+--      package, so if they get inlined across a package boundary we'll still
 --      know where they're from.
 --
 patchForeignImport :: UnitId -> ForeignImport -> ForeignImport
diff --git a/compiler/simplCore/SimplUtils.hs b/compiler/simplCore/SimplUtils.hs
index 3b16628732..e5d9d33899 100644
--- a/compiler/simplCore/SimplUtils.hs
+++ b/compiler/simplCore/SimplUtils.hs
@@ -1088,7 +1088,7 @@ spectral/mandel/Mandel.hs, where the mandelset function gets a useful
 let-float if you inline windowToViewport
 
 However, as usual for Gentle mode, do not inline things that are
-inactive in the intial stages.  See Note [Gentle mode].
+inactive in the initial stages.  See Note [Gentle mode].
 
 Note [Stable unfoldings and preInlineUnconditionally]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -2231,7 +2231,7 @@ mkCase3 _dflags scrut bndr alts_ty alts
   = return (Case scrut bndr alts_ty alts)
 
 -- See Note [Exitification] and Note [Do not inline exit join points] in Exitify.hs
--- This lives here (and not in Id) becuase occurrence info is only valid on
+-- This lives here (and not in Id) because occurrence info is only valid on
 -- InIds, so it's crucial that isExitJoinId is only called on freshly
 -- occ-analysed code. It's not a generic function you can call anywhere.
 isExitJoinId :: Var -> Bool
diff --git a/compiler/specialise/Rules.hs b/compiler/specialise/Rules.hs
index 8b15c819b6..3380d02f99 100644
--- a/compiler/specialise/Rules.hs
+++ b/compiler/specialise/Rules.hs
@@ -678,7 +678,7 @@ obscure way in Trac #14777.  Problem was that during matching we look
 up target-term variables in the in-scope set (see Note [Lookup
 in-scope]).  If a target-term variable happens to name-clash with a
 template variable, that lookup will find the template variable, which
-is /uttterly/ bogus.  In Trac #14777, this transformed a term variable
+is /utterly/ bogus.  In Trac #14777, this transformed a term variable
 into a type variable, and then crashed when we wanted its idInfo.
 ------ End of historical note -------
 
diff --git a/compiler/typecheck/TcDerivInfer.hs b/compiler/typecheck/TcDerivInfer.hs
index d6c379ad74..4489d4547b 100644
--- a/compiler/typecheck/TcDerivInfer.hs
+++ b/compiler/typecheck/TcDerivInfer.hs
@@ -398,7 +398,7 @@ We have some special hacks to support things like
    data T = MkT Int# deriving ( Show )
 
 Specifically, we use TcGenDeriv.box to box the Int# into an Int
-(which we know how to show), and append a '#'. Parenthesis are not required
+(which we know how to show), and append a '#'. Parentheses are not required
 for unboxed values (`MkT -3#` is a valid expression).
 
 Note [Superclasses of derived instance]
diff --git a/compiler/typecheck/TcExpr.hs b/compiler/typecheck/TcExpr.hs
index 5d08389ec8..a4a005c561 100644
--- a/compiler/typecheck/TcExpr.hs
+++ b/compiler/typecheck/TcExpr.hs
@@ -1103,7 +1103,7 @@ data HsArg tm ty
 {-
 Note [HsArgPar]
 A HsArgPar indicates that everything to the left of this in the argument list is
-enclosed in parenthesis together with the function itself. It is necessary so
+enclosed in parentheses together with the function itself. It is necessary so
 that we can recreate the parenthesis structure in the original source after
 typechecking the arguments.
 
diff --git a/compiler/typecheck/TcHsType.hs b/compiler/typecheck/TcHsType.hs
index 90fa869f1c..c590f0ab44 100644
--- a/compiler/typecheck/TcHsType.hs
+++ b/compiler/typecheck/TcHsType.hs
@@ -588,7 +588,7 @@ tc_infer_hs_type mode (HsOpTy _ lhs lhs_op@(L _ hs_op) rhs)
 
 tc_infer_hs_type mode (HsKindSig _ ty sig)
   = do { sig' <- tcLHsKindSig KindSigCtxt sig
-                 -- We must typeckeck the kind signature, and solve all
+                 -- We must typecheck the kind signature, and solve all
                  -- its equalities etc; from this point on we may do
                  -- things like instantiate its foralls, so it needs
                  -- to be fully determined (Trac #149904)
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs
index d91b5e9e78..d54d71f07f 100644
--- a/compiler/typecheck/TcRnTypes.hs
+++ b/compiler/typecheck/TcRnTypes.hs
@@ -1763,7 +1763,7 @@ Example 1:  (c Int), where c :: * -> Constraint.  We can't do anything
 
 Example 2:  a ~ b, where a :: *, b :: k, where k is a kind variable
             We don't want to use this to substitute 'b' for 'a', in case
-            'k' is subequently unifed with (say) *->*, because then
+            'k' is subsequently unifed with (say) *->*, because then
             we'd have ill-kinded types floating about.  Rather we want
             to defer using the equality altogether until 'k' get resolved.
 
diff --git a/compiler/typecheck/TcSimplify.hs b/compiler/typecheck/TcSimplify.hs
index 6e44471a21..0514acd78e 100644
--- a/compiler/typecheck/TcSimplify.hs
+++ b/compiler/typecheck/TcSimplify.hs
@@ -893,7 +893,7 @@ decideQuantification infer_mode rhs_tclvl name_taus psigs candidates
        ; psig_theta <- TcM.zonkTcTypes (concatMap sig_inst_theta psigs)
        ; let quantifiable_candidates
                = pickQuantifiablePreds (mkVarSet qtvs) candidates
-             -- NB: do /not/ run pickQuantifieablePreds over psig_theta,
+             -- NB: do /not/ run pickQuantifiablePreds over psig_theta,
              -- because we always want to quantify over psig_theta, and not
              -- drop any of them; e.g. CallStack constraints.  c.f Trac #14658
 
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs
index b90f1be1f9..d747fb1960 100644
--- a/compiler/typecheck/TcTyClsDecls.hs
+++ b/compiler/typecheck/TcTyClsDecls.hs
@@ -421,7 +421,7 @@ We do the following steps:
         error if B is used in any of the kinds needed to initialse
         B's kind (e.g. (a :: Type)) here
 
-      - Extend the type env with these intial kinds (monomorphic for
+      - Extend the type env with these initial kinds (monomorphic for
         decls that lack a CUSK)
             B :-> TcTyCon <initial kind>
         (thereby overriding the B :-> TyConPE binding)
diff --git a/compiler/types/TyCon.hs b/compiler/types/TyCon.hs
index 2d9e53060f..3f91e77065 100644
--- a/compiler/types/TyCon.hs
+++ b/compiler/types/TyCon.hs
@@ -2552,7 +2552,7 @@ data RecTcChecker = RC !Int (NameEnv Int)
   -- we have encountered each TyCon
 
 initRecTc :: RecTcChecker
--- Intialise with a fixed max bound of 100
+-- Initialise with a fixed max bound of 100
 -- We should probably have a flag for this
 initRecTc = RC 100 emptyNameEnv
 
diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs
index 8f69172d04..94ee3f8657 100644
--- a/compiler/types/Unify.hs
+++ b/compiler/types/Unify.hs
@@ -595,7 +595,7 @@ So, we work as follows:
        [ b :: *, z :: a, rest :: G a z ]
 
  6. Apply the substitution left-to-right to the kinds of these
-    tyvars, extendinng it each time with a new binding, so we
+    tyvars, extending it each time with a new binding, so we
     finish up with
        [ xs   :-> ..as before..
        , a    :-> ..as before..
@@ -604,10 +604,10 @@ So, we work as follows:
        , rest :-> rest :: G a (z :: b) ]
     Note that rest now has the right kind
 
- 7. Apply this extended substution (once) to the range of
-    the /original/ substituion.  (Note that we do the
+ 7. Apply this extended substitution (once) to the range of
+    the /original/ substitution.  (Note that we do the
     extended substitution would go on forever if you tried
-    to find its fixpoint, becuase it maps z to z.)
+    to find its fixpoint, because it maps z to z.)
 
  8. And go back to step 1