Fix typos

This fixes various typos and spelling mistakes
in the compiler.

Fixes #21891

3 files changed, 9 insertions, 9 deletions

diff --git a/compiler/Language/Haskell/Syntax/Decls.hs b/compiler/Language/Haskell/Syntax/Decls.hs
index 56b32bb97f..7e1ab91cad 100644
--- a/compiler/Language/Haskell/Syntax/Decls.hs
+++ b/compiler/Language/Haskell/Syntax/Decls.hs
@@ -419,7 +419,7 @@ data TyClDecl pass
     --             'GHC.Parser.Annotation.AnnEqual',
 
     -- For details on above see Note [exact print annotations] in GHC.Parser.Annotation
-    SynDecl { tcdSExt   :: XSynDecl pass          -- ^ Post renameer, FVs
+    SynDecl { tcdSExt   :: XSynDecl pass          -- ^ Post renamer, FVs
             , tcdLName  :: LIdP pass              -- ^ Type constructor
             , tcdTyVars :: LHsQTyVars pass        -- ^ Type variables; for an
                                                   -- associated type these
@@ -585,7 +585,7 @@ PRINCIPLE:
 
 Examples:
   * data T1 (a :: *->*) (b :: *) = ....
-    -- Has CUSK; equivalant to   T1 :: (*->*) -> * -> *
+    -- Has CUSK; equivalent to   T1 :: (*->*) -> * -> *
 
  * data T2 a b = ...
    -- No CUSK; we do not want to guess T2 :: * -> * -> *
diff --git a/compiler/Language/Haskell/Syntax/Expr.hs b/compiler/Language/Haskell/Syntax/Expr.hs
index 8dda0c8c81..cc1504a9ea 100644
--- a/compiler/Language/Haskell/Syntax/Expr.hs
+++ b/compiler/Language/Haskell/Syntax/Expr.hs
@@ -98,7 +98,7 @@ type LHsRecProj p arg = XRec p (RecProj arg)
 @
 
 The @fbind@ rule is then given the type @fbind :: { forall b.
-DisambECP b => PV (Fbind b) }@ accomodating both alternatives:
+DisambECP b => PV (Fbind b) }@ accommodating both alternatives:
 @
 type Fbind b = Either
                   (LHsRecField GhcPs (LocatedA b))
@@ -1166,7 +1166,7 @@ data StmtLR idL idR body -- body should always be (LHs**** idR)
              (SyntaxExpr idR)           -- The `>>=` operator
                                         -- See notes [Monad Comprehensions]
             -- After renaming, the ids are the binders
-            -- bound by the stmts and used after themp
+            -- bound by the stmts and used after them
 
   | TransStmt {
       trS_ext   :: XTransStmt idL idR body, -- Post typecheck,
diff --git a/compiler/Language/Haskell/Syntax/Type.hs b/compiler/Language/Haskell/Syntax/Type.hs
index 67bb8eabd3..4cb8b6ee0f 100644
--- a/compiler/Language/Haskell/Syntax/Type.hs
+++ b/compiler/Language/Haskell/Syntax/Type.hs
@@ -168,7 +168,7 @@ is a bit complicated.  Here's how it works.
 
     HsOuterImplicit (implicit quantification, added by renamer)
           f :: a -> a     -- Desugars to f :: forall {a}. a -> a
-    HsOuterExplicit (explicit user quantifiation):
+    HsOuterExplicit (explicit user quantification):
           f :: forall a. a -> a
 
   See Note [forall-or-nothing rule].
@@ -361,7 +361,7 @@ hsQTvExplicit = hsq_explicit
 --   HsOuterImplicit (implicit quantification, added by renamer)
 --         f :: a -> a     -- Desugars to f :: forall {a}. a -> a
 --         type instance F (a,b) = a->b
---   HsOuterExplicit (explicit user quantifiation):
+--   HsOuterExplicit (explicit user quantification):
 --         f :: forall a. a -> a
 --         type instance forall a b. F (a,b) = a->b
 --
@@ -487,7 +487,7 @@ action:
                                             -- if you quantify a, you must also quantify b
 
   type F4 :: forall a -> b -> b             -- Legal; the top quantifier (forall a) is a /visible/
-                                            -- quantifer, so the "nothing" part of the forall-or-nothing
+                                            -- quantifier, so the "nothing" part of the forall-or-nothing
                                             -- rule applies, and b is therefore implicitly quantified.
                                             -- Equivalently: forall b. forall a -> b -> b
 
@@ -1033,7 +1033,7 @@ type LConDeclField pass = XRec pass (ConDeclField pass)
 data ConDeclField pass  -- Record fields have Haddock docs on them
   = ConDeclField { cd_fld_ext  :: XConDeclField pass,
                    cd_fld_names :: [LFieldOcc pass],
-                                   -- ^ See Note [ConDeclField passs]
+                                   -- ^ See Note [ConDeclField pass]
                    cd_fld_type :: LBangType pass,
                    cd_fld_doc  :: Maybe (LHsDoc pass)}
       -- ^ - 'GHC.Parser.Annotation.AnnKeywordId' : 'GHC.Parser.Annotation.AnnDcolon'
@@ -1069,7 +1069,7 @@ noTypeArgs :: [Void]
 noTypeArgs = []
 
 {-
-Note [ConDeclField passs]
+Note [ConDeclField pass]
 ~~~~~~~~~~~~~~~~~~~~~~~~~
 
 A ConDeclField contains a list of field occurrences: these always