diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-01-21 13:47:22 (GMT) |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-01 07:28:45 (GMT) |
| commit | cd11042337a829da1dfbd19ca1a46feabdd23147 (patch) | |
| tree | 1d952a77769ed23ad4c377c60882e67f5950f840 | |
| parent | bef704b6263f49c96af4553407259d36494be3f0 (diff) | |
| download | ghc-cd11042337a829da1dfbd19ca1a46feabdd23147.zip ghc-cd11042337a829da1dfbd19ca1a46feabdd23147.tar.gz ghc-cd11042337a829da1dfbd19ca1a46feabdd23147.tar.bz2 | |
Improve pretty-printing for TyConBinders
In particular, show their kinds.
| -rw-r--r-- | compiler/types/TyCon.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/types/TyCon.hs b/compiler/types/TyCon.hs index 1648fc9..0e658d7 100644 --- a/compiler/types/TyCon.hs +++ b/compiler/types/TyCon.hs @@ -644,8 +644,8 @@ They fit together like so: but it's enforced by etaExpandAlgTyCon -} -instance Outputable tv => Outputable (VarBndr tv TyConBndrVis) where - ppr (Bndr v bi) = ppr_bi bi <+> parens (ppr v) +instance OutputableBndr tv => Outputable (VarBndr tv TyConBndrVis) where + ppr (Bndr v bi) = ppr_bi bi <+> parens (pprBndr LetBind v) where ppr_bi (AnonTCB VisArg) = text "anon-vis" ppr_bi (AnonTCB InvisArg) = text "anon-invis" |