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 <e...@cis.upenn.edu> 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 } _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
