Comments around invisibility

Very minor

3 files changed, 4 insertions, 3 deletions

diff --git a/compiler/iface/IfaceType.hs b/compiler/iface/IfaceType.hs
index 5f300424fc..f541431485 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 6b1b3419b7..4d11aeb57c 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 c67b4ef08b..b9e489a86a 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