[commit: ghc] overlapping-tyfams: Change output of CoAxioms to look prettier. (77e5aa7)

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 <[email protected]>
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