Fix more typos, via an improved Levenshtein-style corrector

5 files changed, 9 insertions, 9 deletions

diff --git a/compiler/GHC/Rename/Env.hs b/compiler/GHC/Rename/Env.hs
index 3b0f766a37..443c5614c8 100644
--- a/compiler/GHC/Rename/Env.hs
+++ b/compiler/GHC/Rename/Env.hs
@@ -406,7 +406,7 @@ lookupConstructorFields :: Name -> RnM [FieldLabel]
 --      data type decls
 --
 --    * For constructors from imported modules, use the *type* environment
---      since imported modles are already compiled, the info is conveniently
+--      since imported modules are already compiled, the info is conveniently
 --      right there
 
 lookupConstructorFields con_name
diff --git a/compiler/GHC/Rename/Fixity.hs b/compiler/GHC/Rename/Fixity.hs
index 884e2593d0..74b886f49c 100644
--- a/compiler/GHC/Rename/Fixity.hs
+++ b/compiler/GHC/Rename/Fixity.hs
@@ -70,7 +70,7 @@ type MiniFixityEnv = FastStringEnv (Located Fixity)
         --
         -- It is keyed by the *FastString*, not the *OccName*, because
         -- the single fixity decl       infix 3 T
-        -- affects both the data constructor T and the type constrctor T
+        -- affects both the data constructor T and the type constructor T
         --
         -- We keep the location so that if we find
         -- a duplicate, we can report it sensibly
@@ -181,7 +181,7 @@ lookupTyFixityRn :: Located Name -> RnM Fixity
 lookupTyFixityRn = lookupFixityRn . unLoc
 
 -- | Look up the fixity of a (possibly ambiguous) occurrence of a record field
--- selector.  We use 'lookupFixityRn'' so that we can specifiy the 'OccName' as
+-- selector.  We use 'lookupFixityRn'' so that we can specify the 'OccName' as
 -- the field label, which might be different to the 'OccName' of the selector
 -- 'Name' if @DuplicateRecordFields@ is in use (#1173). If there are
 -- multiple possible selectors with different fixities, generate an error.
diff --git a/compiler/GHC/Rename/Names.hs b/compiler/GHC/Rename/Names.hs
index 9ead354935..e23191bf0c 100644
--- a/compiler/GHC/Rename/Names.hs
+++ b/compiler/GHC/Rename/Names.hs
@@ -93,7 +93,7 @@ graph. So we can just worry mostly about direct imports.
 
 There is one trust property that can change for a package though without
 recompilation being triggered: package trust. So we must check that all
-packages a module tranitively depends on to be trusted are still trusted when
+packages a module transitively depends on to be trusted are still trusted when
 we are compiling this module (as due to recompilation avoidance some modules
 below may not be considered trusted any more without recompilation being
 triggered).
@@ -406,7 +406,7 @@ calculateAvails dflags iface mod_safe' want_boot imported_by =
       -- reported.  Easiest thing is just to filter them out up
       -- front. This situation only arises if a module imports
       -- itself, or another module that imported it.  (Necessarily,
-      -- this invoves a loop.)
+      -- this involves a loop.)
       --
       -- We do this *after* filterImports, so that if you say
       --      module A where
@@ -1510,7 +1510,7 @@ decls, and simply trim their import lists.  NB that
 
   * We do *not* change the 'qualified' or 'as' parts!
 
-  * We do not disard a decl altogether; we might need instances
+  * We do not discard a decl altogether; we might need instances
     from it.  Instead we just trim to an empty import list
 -}
 
diff --git a/compiler/GHC/Rename/Source.hs b/compiler/GHC/Rename/Source.hs
index 648dc29456..6796aa6b41 100644
--- a/compiler/GHC/Rename/Source.hs
+++ b/compiler/GHC/Rename/Source.hs
@@ -700,7 +700,7 @@ rnFamInstEqn doc atfi rhs_kvars
              -- bound in the type patterns.
        ; payload_kvar_names <- mapM (newTyVarNameRn mb_cls) payload_kvars
 
-         -- all names not bound in an explict forall
+         -- all names not bound in an explicit forall
        ; let all_imp_var_names = imp_var_names ++ payload_kvar_names
 
              -- All the free vars of the family patterns
@@ -768,7 +768,7 @@ rnTyFamInstDecl atfi (TyFamInstDecl { tfid_eqn = eqn })
 -- 1. A type family equation that is not associated
 --    with a parent type class ('NonAssocTyFamEqn')
 --
--- 2. An associated type family default delcaration ('AssocTyFamDeflt')
+-- 2. An associated type family default declaration ('AssocTyFamDeflt')
 --
 -- 3. An associated type family instance declaration ('AssocTyFamInst')
 data AssocTyFamInfo
diff --git a/compiler/GHC/Rename/Types.hs b/compiler/GHC/Rename/Types.hs
index b5c950618c..05df4865ec 100644
--- a/compiler/GHC/Rename/Types.hs
+++ b/compiler/GHC/Rename/Types.hs
@@ -658,7 +658,7 @@ rnTyVar env rdr_name
        ; return name }
 
 rnLTyVar :: Located RdrName -> RnM (Located Name)
--- Called externally; does not deal with wildards
+-- Called externally; does not deal with wildcards
 rnLTyVar (L loc rdr_name)
   = do { tyvar <- lookupTypeOccRn rdr_name
        ; return (L loc tyvar) }