Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : overlapping-tyfams
http://hackage.haskell.org/trac/ghc/changeset/cc21a70d3b7f374cfd98613c005aab992da7b735 >--------------------------------------------------------------- commit cc21a70d3b7f374cfd98613c005aab992da7b735 Author: Richard Eisenberg <e...@cis.upenn.edu> Date: Thu Dec 6 22:01:39 2012 -0500 Change in comments >--------------------------------------------------------------- compiler/types/FamInstEnv.lhs | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs index f64d7ee..4d8a8d6 100644 --- a/compiler/types/FamInstEnv.lhs +++ b/compiler/types/FamInstEnv.lhs @@ -91,7 +91,7 @@ SrcSpan to correctly store the location of the equation giving rise to the FamInstBranch. \begin{code} -data FamInst br -- See Note [FamInsts and CoAxioms], Note [Singleton axioms] in TyCon.lhs +data FamInst br -- See Note [FamInsts and CoAxioms], Note [Singleton axioms] in CoAxiom.lhs = FamInst { fi_axiom :: CoAxiom br -- The new coercion axiom introduced -- by this family instance , fi_flavor :: FamFlavor @@ -299,7 +299,7 @@ mkSingleSynFamInst :: Name -- ^ Unique name for the coercion tycon -> [Type] -- ^ Type instance (@ts@) -> Type -- ^ right-hand side -> FamInst Unbranched --- See note [Singleton axioms] in TyCon.lhs +-- See note [Singleton axioms] in CoAxiom.lhs mkSingleSynFamInst name tvs fam_tc inst_tys rep_ty = FamInst { fi_fam = tyConName fam_tc , fi_flavor = SynFamilyInst _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc