Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : overlapping-tyfams
http://hackage.haskell.org/trac/ghc/changeset/77e5aa7766432c97ffebb06717c54dd8d8f413cb >--------------------------------------------------------------- commit 77e5aa7766432c97ffebb06717c54dd8d8f413cb Author: Richard Eisenberg <e...@cis.upenn.edu> Date: Thu Dec 6 20:26:44 2012 -0500 Change output of CoAxioms to look prettier. >--------------------------------------------------------------- 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 a03dae2..c17650c 100644 --- a/compiler/types/Coercion.lhs +++ b/compiler/types/Coercion.lhs @@ -463,7 +463,7 @@ ppr_forall_co p ty \begin{code} pprCoAxiom :: CoAxiom br -> SDoc pprCoAxiom ax@(CoAxiom { co_ax_tc = tc, co_ax_branches = branches }) - = hang (ptext (sLit "axiom") <+> ppr ax) + = hang (ptext (sLit "axiom") <+> ppr ax <+> dcolon) 2 (vcat (map (pprCoAxBranch tc) $ fromBranchList branches)) pprCoAxBranch :: TyCon -> CoAxBranch -> SDoc _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
