[commit: ghc] overlapping-tyfams: Change in comments (cc21a70)
Richard Eisenberg <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected]> 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