[commit: haddock] overlapping-tyfams: Change to reflect addition of CoAxiom.lhs. (be05403)

Repository : ssh://darcs.haskell.org//srv/darcs/haddock

On branch  : overlapping-tyfams

http://hackage.haskell.org/trac/ghc/changeset/be05403d2246813bb003ca33fcef3de28e79e9c9

>---------------------------------------------------------------

commit be05403d2246813bb003ca33fcef3de28e79e9c9
Author: Richard Eisenberg <[email protected]>
Date:   Wed Dec 5 12:31:15 2012 -0500

    Change to reflect addition of CoAxiom.lhs.

>---------------------------------------------------------------

 src/Haddock/Convert.hs |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs
index 5f166da..9203272 100644
--- a/src/Haddock/Convert.hs
+++ b/src/Haddock/Convert.hs
@@ -26,6 +26,7 @@ import Name
 import Var
 import Class
 import TyCon
+import CoAxiom
 import DataCon
 import BasicTypes ( TupleSort(..) )
 import TysPrim ( alphaTyVars )
@@ -101,9 +102,9 @@ synifyAxBranch tc (CoAxBranch { cab_tvs = tvs, cab_lhs = args, cab_rhs = rhs })
                                         , hswb_tvs = map tyVarName tvs }
                     , tfie_rhs   = hs_rhs }
 
-synifyAxiom :: CoAxiom -> TyFamInstDecl Name
+synifyAxiom :: CoAxiom br -> TyFamInstDecl Name
 synifyAxiom (CoAxiom { co_ax_tc = tc, co_ax_branches = branches })
-  = let eqns = map (noLoc . synifyAxBranch tc) branches
+  = let eqns = brListMap (noLoc . synifyAxBranch tc) branches
     in TyFamInstDecl { tfid_eqns  = eqns
                      , tfid_group = (length branches /= 1)
                      , tfid_fvs   = placeHolderNames }