Fix more typos, via an improved Levenshtein-style corrector

6 files changed, 7 insertions, 7 deletions

diff --git a/compiler/deSugar/Coverage.hs b/compiler/deSugar/Coverage.hs
index 6930af6e0b..75eeb07570 100644
--- a/compiler/deSugar/Coverage.hs
+++ b/compiler/deSugar/Coverage.hs
@@ -1195,7 +1195,7 @@ mkTickish boxLabel countEntries topOnly pos fvs decl_path = do
   let ids = filter (not . isUnliftedType . idType) $ occEnvElts fvs
           -- unlifted types cause two problems here:
           --   * we can't bind them  at the GHCi prompt
-          --     (bindLocalsAtBreakpoint already fliters them out),
+          --     (bindLocalsAtBreakpoint already filters them out),
           --   * the simplifier might try to substitute a literal for
           --     the Id, and we can't handle that.
 
diff --git a/compiler/deSugar/Desugar.hs b/compiler/deSugar/Desugar.hs
index 48edd61b1b..bbf67cfc48 100644
--- a/compiler/deSugar/Desugar.hs
+++ b/compiler/deSugar/Desugar.hs
@@ -516,7 +516,7 @@ If you have
   {-# RULES "rule-for-f" forall x. f (g x) = ... #-}
 then there's a good chance that in a potential rule redex
     ...f (g e)...
-then 'f' or 'g' will inline befor the rule can fire.  Solution: add an
+then 'f' or 'g' will inline before the rule can fire.  Solution: add an
 INLINE [n] or NOINLINE [n] pragma to 'f' and 'g'.
 
 Note that this applies to all the free variables on the LHS, both the
diff --git a/compiler/deSugar/DsBinds.hs b/compiler/deSugar/DsBinds.hs
index 87aca99136..ef6f72e780 100644
--- a/compiler/deSugar/DsBinds.hs
+++ b/compiler/deSugar/DsBinds.hs
@@ -792,7 +792,7 @@ From a user SPECIALISE pragma for f, we generate
 We need two pragma-like things:
 
 * spec_fn's inline pragma: inherited from f's inline pragma (ignoring
-                           activation on SPEC), unless overriden by SPEC INLINE
+                           activation on SPEC), unless overridden by SPEC INLINE
 
 * Activation of RULE: from SPECIALISE pragma (if activation given)
                       otherwise from f's inline pragma
diff --git a/compiler/deSugar/DsExpr.hs b/compiler/deSugar/DsExpr.hs
index a5019ae042..1271bcbe7b 100644
--- a/compiler/deSugar/DsExpr.hs
+++ b/compiler/deSugar/DsExpr.hs
@@ -1075,7 +1075,7 @@ warnDiscardedDoBindings rhs rhs_ty
                          _ -> return () } } }
 
   | otherwise   -- RHS does have type of form (m ty), which is weird
-  = return ()   -- but at lesat this warning is irrelevant
+  = return ()   -- but at least this warning is irrelevant
 
 badMonadBind :: LHsExpr GhcTc -> Type -> SDoc
 badMonadBind rhs elt_ty
diff --git a/compiler/deSugar/Match.hs b/compiler/deSugar/Match.hs
index 3cc88e31db..d5518aa870 100644
--- a/compiler/deSugar/Match.hs
+++ b/compiler/deSugar/Match.hs
@@ -756,7 +756,7 @@ matchWrapper ctxt mb_scr (MG { mg_alts = L _ matches
 
            ; match_result <-
               -- Extend the environment with knowledge about
-              -- the matches before desguaring the RHS
+              -- the matches before desugaring the RHS
               -- See Note [Type and Term Equality Propagation]
               applyWhen (needToRunPmCheck dflags origin)
                         (addTyCsDs dicts . addScrutTmCs mb_scr vars . addPatTmCs upats vars)
@@ -952,7 +952,7 @@ fails we try to read a Bool. But clearly we can't combine the two into a single
 match.
 
 Conclusion: we can combine when we invoke PRead /at the same type/.  Hence
-in PgSyn we record the instantiaing types, and use them in sameGroup.
+in PgSyn we record the instantiating types, and use them in sameGroup.
 
 Note [Take care with pattern order]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
diff --git a/compiler/deSugar/MatchLit.hs b/compiler/deSugar/MatchLit.hs
index 3fb64f6769..14d5b942b1 100644
--- a/compiler/deSugar/MatchLit.hs
+++ b/compiler/deSugar/MatchLit.hs
@@ -166,7 +166,7 @@ warnAboutOverflowedOverLit hsOverLit = do
   dflags <- getDynFlags
   warnAboutOverflowedLiterals dflags (getIntegralLit hsOverLit)
 
--- | Emit warnings on integral literals which overflow the boudns implied by
+-- | Emit warnings on integral literals which overflow the bounds implied by
 -- their type.
 warnAboutOverflowedLit :: HsLit GhcTc -> DsM ()
 warnAboutOverflowedLit hsLit = do