diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-28 18:11:25 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-28 18:11:25 +0000 |
| commit | 167dfe2377be9b5ea14e0f6a9520846113608f78 (patch) | |
| tree | d69690728cb3ff704130f4c7e4d01f3a5b539d9f | |
| parent | 163da7f51b76efffbb816c538d81e2afe5f01519 (diff) | |
| download | haskell-167dfe2377be9b5ea14e0f6a9520846113608f78.tar.gz | |
Minor pretty printing changes only
| -rw-r--r-- | compiler/types/Coercion.lhs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs index 8f1f4d9e02..a3bca74c75 100644 --- a/compiler/types/Coercion.lhs +++ b/compiler/types/Coercion.lhs @@ -564,9 +564,11 @@ pprCoAxiom ax@(CoAxiom { co_ax_tc = tc, co_ax_branches = branches }) 2 (vcat (map (pprCoAxBranch tc) $ fromBranchList branches)) pprCoAxBranch :: TyCon -> CoAxBranch -> SDoc -pprCoAxBranch fam_tc (CoAxBranch { cab_lhs = lhs +pprCoAxBranch fam_tc (CoAxBranch { cab_tvs = tvs + , cab_lhs = lhs , cab_rhs = rhs }) - = pprTypeApp fam_tc lhs <+> equals <+> (ppr rhs) + = hang (ifPprDebug (pprForAll tvs)) + 2 (hang (pprTypeApp fam_tc lhs) 2 (equals <+> (ppr rhs))) pprCoAxBranchHdr :: CoAxiom br -> BranchIndex -> SDoc pprCoAxBranchHdr ax@(CoAxiom { co_ax_tc = fam_tc, co_ax_name = name }) index |