[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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.