[commit: ghc] master: Comments around invisibility (c871ce4)

[git at git.haskell.org]

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

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

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

commit c871ce4903312402fc7f90089f61977c420e2c60
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Jun 23 14:54:24 2016 +0100

    Comments around invisibility
    
    Very minor


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

c871ce4903312402fc7f90089f61977c420e2c60
 compiler/iface/IfaceType.hs | 2 +-
 compiler/types/TyCoRep.hs   | 1 -
 compiler/types/Type.hs      | 4 +++-
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/compiler/iface/IfaceType.hs b/compiler/iface/IfaceType.hs
index 5f30042..f541431 100644
--- a/compiler/iface/IfaceType.hs
+++ b/compiler/iface/IfaceType.hs
@@ -156,7 +156,7 @@ type IfaceForAllBndr  = TyVarBndr IfaceTvBndr VisibilityFlag
 data IfaceTcArgs
   = ITC_Nil
   | ITC_Vis   IfaceType IfaceTcArgs   -- "Vis" means show when pretty-printing
-  | ITC_Invis IfaceKind IfaceTcArgs   -- "Invis" means don't show when pretty-printin
+  | ITC_Invis IfaceKind IfaceTcArgs   -- "Invis" means don't show when pretty-printing
                                       --         except with -fprint-explicit-kinds
 
 -- Encodes type constructors, kind constructors,
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index 6b1b341..4d11aeb 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -2752,7 +2752,6 @@ pprTvBndrs tvs = sep (map pprTvBndr tvs)
 
 -- | Render the ... in @(forall ... .)@ or @(forall ... ->)@.
 -- Returns both the list of not-yet-rendered binders and the doc.
--- No anonymous binders here!
 ppr_tv_bndrs :: [TyVarBinder]
              -> VisibilityFlag  -- ^ visibility of the first binder in the list
              -> ([TyVarBinder], SDoc)
diff --git a/compiler/types/Type.hs b/compiler/types/Type.hs
index c67b4ef..b9e489a 100644
--- a/compiler/types/Type.hs
+++ b/compiler/types/Type.hs
@@ -1347,7 +1347,9 @@ filterOutInvisibleTyVars :: TyCon -> [TyVar] -> [TyVar]
 filterOutInvisibleTyVars tc tvs = snd $ partitionInvisibles tc mkTyVarTy tvs
 
 -- | Given a tycon and a list of things (which correspond to arguments),
--- partitions the things into the invisible ones and the visible ones.
+-- partitions the things into
+--      Invisible or Specified ones and
+--      Visible ones
 -- The callback function is necessary for this scenario:
 --
 -- > T :: forall k. k -> k