[commit: ghc] master: Comments only (e9ea020)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/e9ea02092a748a72f8481b10f29464fe26658fb5/ghc

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

commit e9ea02092a748a72f8481b10f29464fe26658fb5
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Dec 9 09:08:47 2015 +0000

    Comments only


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

e9ea02092a748a72f8481b10f29464fe26658fb5
 compiler/types/FamInstEnv.hs | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/compiler/types/FamInstEnv.hs b/compiler/types/FamInstEnv.hs
index 8fde8c5..a60b1c2 100644
--- a/compiler/types/FamInstEnv.hs
+++ b/compiler/types/FamInstEnv.hs
@@ -345,9 +345,8 @@ Then we get a data type for each instance, and an axiom:
    axiom ax7   :: T Int ~ TInt   -- Eta-reduced
    axiom ax8 a :: T Bool [a] ~ TBoolList a
 
-These two axioms for T, one with one pattern, one with two.  The reason
-for this eta-reduction is decribed in TcInstDcls
-   Note [Eta reduction for data family axioms]
+These two axioms for T, one with one pattern, one with two;
+see Note [Eta reduction for data families]
 -}
 
 type FamInstEnv = UniqFM FamilyInstEnv  -- Maps a family to its instances
@@ -967,8 +966,8 @@ We handle data families and type families separately here:
 
  * For data family instances, though, we need to re-split for each
    instance, because the breakdown might be different for each
-   instance.  Why?  Because of eta reduction; see Note [Eta reduction
-   for data family axioms] in TcInstDcls.
+   instance.  Why?  Because of eta reduction; see
+   Note [Eta reduction for data families].
 -}
 
 -- checks if one LHS is dominated by a list of other branches