Typos in comments
authorRyan Scott <ryan.gl.scott@gmail.com>
Thu, 29 Jun 2017 18:00:03 +0000 (14:00 -0400)
committerRyan Scott <ryan.gl.scott@gmail.com>
Thu, 29 Jun 2017 18:00:03 +0000 (14:00 -0400)
[ci skip]

compiler/basicTypes/DataCon.hs
compiler/basicTypes/Var.hs
compiler/iface/ToIface.hs
compiler/types/TyCoRep.hs

index 1629f36..73bbf2c 100644 (file)
@@ -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]
index d07d9ec..87c4fe2 100644 (file)
@@ -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
index 59184dc..6f2acba 100644 (file)
@@ -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
index fbf0a9f..5ac63e5 100644 (file)
@@ -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.