[commit: ghc] master: Comments only (0bfcfd0)

[git at git.haskell.org]

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

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

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

commit 0bfcfd068a3684728c61345c4ead6ca19be49c8f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu May 19 10:43:45 2016 +0100

    Comments only


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

0bfcfd068a3684728c61345c4ead6ca19be49c8f
 compiler/typecheck/FamInst.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/compiler/typecheck/FamInst.hs b/compiler/typecheck/FamInst.hs
index 6c357ce..de1f302 100644
--- a/compiler/typecheck/FamInst.hs
+++ b/compiler/typecheck/FamInst.hs
@@ -93,6 +93,8 @@ newFamInst flavor axiom@(CoAxiom { co_ax_tc = fam_tc })
 *                                                                      *
 ************************************************************************
 
+Note [Checking family instance consistency]
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 For any two family instance modules that we import directly or indirectly, we
 check whether the instances in the two modules are consistent, *unless* we can
 be certain that the instances of the two modules have already been checked for
@@ -143,6 +145,7 @@ listToSet :: [ModulePair] -> ModulePairSet
 listToSet l = Map.fromList (zip l (repeat ()))
 
 checkFamInstConsistency :: [Module] -> [Module] -> TcM ()
+-- See Note [Checking family instance consistency]
 checkFamInstConsistency famInstMods directlyImpMods
   = do { dflags     <- getDynFlags
        ; (eps, hpt) <- getEpsAndHpt