[commit: ghc] tc-untouchables: Improve pretty printing for coercions (4e339e0)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables http://hackage.haskell.org/trac/ghc/changeset/4e339e0c8eea41b93ac511a8a0dd873889231cdc >--------------------------------------------------------------- commit 4e339e0c8eea41b93ac511a8a0dd873889231cdc Author: Simon Peyton Jones <[email protected]> Date: Fri Sep 28 15:24:57 2012 +0100 Improve pretty printing for coercions >--------------------------------------------------------------- compiler/types/Coercion.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs index 30e71fd..fab8fa5 100644 --- a/compiler/types/Coercion.lhs +++ b/compiler/types/Coercion.lhs @@ -416,7 +416,7 @@ ppr_co p (AppCo co1 co2) = maybeParen p TyConPrec $ pprCo co1 <+> ppr_co TyConPrec co2 ppr_co p co@(ForAllCo {}) = ppr_forall_co p co ppr_co _ (CoVarCo cv) = parenSymOcc (getOccName cv) (ppr cv) -ppr_co p (AxiomInstCo con cos) = angleBrackets (pprTypeNameApp p ppr_co (getName con) cos) +ppr_co p (AxiomInstCo con cos) = pprTypeNameApp p ppr_co (getName con) cos ppr_co p (TransCo co1 co2) = maybeParen p FunPrec $ ppr_co FunPrec co1