diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:24:57 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:24:57 +0100 |
| commit | 4e339e0c8eea41b93ac511a8a0dd873889231cdc (patch) | |
| tree | d952442a52658fa054721c70254a5085e04fcb19 /compiler | |
| parent | 3f2bd36c3dc3b5c9fb3963d49884c74613ffa847 (diff) | |
| download | haskell-4e339e0c8eea41b93ac511a8a0dd873889231cdc.tar.gz | |
Improve pretty printing for coercions
Diffstat (limited to 'compiler')
| -rw-r--r-- | 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 30e71fd563..fab8fa5de4 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 |