[commit: ghc] master: Typos in comments (c2fb6e8)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/c2fb6e8e8e568a9cc7a2da61c4f966c3742c9dbb/ghc

>---------------------------------------------------------------

commit c2fb6e8e8e568a9cc7a2da61c4f966c3742c9dbb
Author: Ryan Scott <ryan.gl.scott at gmail.com>
Date:   Thu Jun 29 14:00:03 2017 -0400

    Typos in comments
    
    [ci skip]


>---------------------------------------------------------------

c2fb6e8e8e568a9cc7a2da61c4f966c3742c9dbb
 compiler/basicTypes/DataCon.hs | 2 +-
 compiler/basicTypes/Var.hs     | 2 +-
 compiler/iface/ToIface.hs      | 2 +-
 compiler/types/TyCoRep.hs      | 4 ++--
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/compiler/basicTypes/DataCon.hs b/compiler/basicTypes/DataCon.hs
index 1629f36..73bbf2c 100644
--- a/compiler/basicTypes/DataCon.hs
+++ b/compiler/basicTypes/DataCon.hs
@@ -425,7 +425,7 @@ For the TyVarBinders in a DataCon and PatSyn:
 
 Why do we need the TyVarBinders, rather than just the TyVars?  So that
 we can construct the right type for the DataCon with its foralls
-attributed the correce visiblity.  That in turn governs whether you
+attributed the correct visibility.  That in turn governs whether you
 can use visible type application at a call of the data constructor.
 
 Note [DataCon arities]
diff --git a/compiler/basicTypes/Var.hs b/compiler/basicTypes/Var.hs
index d07d9ec..87c4fe2 100644
--- a/compiler/basicTypes/Var.hs
+++ b/compiler/basicTypes/Var.hs
@@ -404,7 +404,7 @@ sameVis _        _        = True
 
 -- Type Variable Binder
 --
--- TyVarBndr is polymorphic in both tyvar and visiblity fields:
+-- TyVarBndr is polymorphic in both tyvar and visibility fields:
 --   * tyvar can be TyVar or IfaceTv
 --   * argf  can be ArgFlag or TyConBndrVis
 data TyVarBndr tyvar argf = TvBndr tyvar argf
diff --git a/compiler/iface/ToIface.hs b/compiler/iface/ToIface.hs
index 59184dc..6f2acba 100644
--- a/compiler/iface/ToIface.hs
+++ b/compiler/iface/ToIface.hs
@@ -257,7 +257,7 @@ toIfaceTcArgs = toIfaceTcArgsX emptyVarSet
 
 toIfaceTcArgsX :: VarSet -> TyCon -> [Type] -> IfaceTcArgs
 -- See Note [Suppressing invisible arguments]
--- We produce a result list of args describing visiblity
+-- We produce a result list of args describing visibility
 -- The awkward case is
 --    T :: forall k. * -> k
 -- And consider
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index fbf0a9f..5ac63e5 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -484,7 +484,7 @@ In the kind of a type
     optional kind applications, thus (T @*), but we have not
     yet implemented that
 
----- Examples of where the different visiblities come from -----
+---- Examples of where the different visibilities come from -----
 
 In term declarations:
 
@@ -548,7 +548,7 @@ In type declarations:
 
 ---- Printing -----
 
- We print forall types with enough syntax to tell you their visiblity
+ We print forall types with enough syntax to tell you their visibility
  flag.  But this is not source Haskell, and these types may not all
  be parsable.