diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/iface/IfaceType.hs | 2 | ||||
| -rw-r--r-- | compiler/types/TyCoRep.hs | 1 | ||||
| -rw-r--r-- | 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 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 |