More typos in comments [ci skip]

5 files changed, 5 insertions, 5 deletions

diff --git a/compiler/deSugar/DsBinds.hs b/compiler/deSugar/DsBinds.hs
index f03f586d33..5d9a33d660 100644
--- a/compiler/deSugar/DsBinds.hs
+++ b/compiler/deSugar/DsBinds.hs
@@ -429,7 +429,7 @@ Note [Rules and inlining]
 ~~~~~~~~~~~~~~~~~~~~~~~~~
 Common special case: no type or dictionary abstraction
 This is a bit less trivial than you might suppose
-The naive way woudl be to desguar to something like
+The naive way would be to desugar to something like
         f_lcl = ...f_lcl...     -- The "binds" from AbsBinds
         M.f = f_lcl             -- Generated from "exports"
 But we don't want that, because if M.f isn't exported,
diff --git a/compiler/hsSyn/HsLit.hs b/compiler/hsSyn/HsLit.hs
index 46e5dd5aa3..1044f9bca6 100644
--- a/compiler/hsSyn/HsLit.hs
+++ b/compiler/hsSyn/HsLit.hs
@@ -161,7 +161,7 @@ This witness should replace the literal.
 
 This dual role is unusual, because we're replacing 'fromInteger' with
 a call to fromInteger.  Reason: it allows commoning up of the fromInteger
-calls, which wouldn't be possible if the desguarar made the application.
+calls, which wouldn't be possible if the desugarer made the application.
 
 The PostTcType in each branch records the type the overload literal is
 found to have.
diff --git a/compiler/simplCore/simplifier.tib b/compiler/simplCore/simplifier.tib
index 5ffbefedfe..01919cd14b 100644
--- a/compiler/simplCore/simplifier.tib
+++ b/compiler/simplCore/simplifier.tib
@@ -482,7 +482,7 @@ generate code, something like this:
       if (y) {...code for E2...}
   l1: ...code for E1...
 @
-In our setting, here's what will happen.  First we desguar the
+In our setting, here's what will happen.  First we desugar the
 conditional, and inline the definition of @||@:
 @
   case (case x of {True -> True; False -> y}) of
diff --git a/compiler/typecheck/TcHsType.hs b/compiler/typecheck/TcHsType.hs
index 601ebfc7e2..1b4deecb12 100644
--- a/compiler/typecheck/TcHsType.hs
+++ b/compiler/typecheck/TcHsType.hs
@@ -2042,7 +2042,7 @@ tcLHsKindSig hs_kind
          -- This zonk is very important in the case of higher rank kinds
          -- E.g. Trac #13879    f :: forall (p :: forall z (y::z). <blah>).
          --                          <more blah>
-         --      When instanting p's kind at occurrences of p in <more blah>
+         --      When instantiating p's kind at occurrences of p in <more blah>
          --      it's crucial that the kind we instantiate is fully zonked,
          --      else we may fail to substitute properly
 
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs
index ed435ed1e8..3992a7e662 100644
--- a/compiler/typecheck/TcRnTypes.hs
+++ b/compiler/typecheck/TcRnTypes.hs
@@ -385,7 +385,7 @@ data DsGblEnv
                                                 -- iff '-fvectorise' flag was given as well as
                                                 -- exported entities of 'Data.Array.Parallel' iff
                                                 -- '-XParallelArrays' was given; otherwise, empty
-        , ds_parr_bi :: PArrBuiltin             -- desugarar names for '-XParallelArrays'
+        , ds_parr_bi :: PArrBuiltin             -- desugarer names for '-XParallelArrays'
         , ds_complete_matches :: CompleteMatchMap
            -- Additional complete pattern matches
         }