[commit: ghc] master: Fix reference to Note in TcCanonical (2fe7a0a)

git at git.haskell.org git at git.haskell.org
Sat Apr 30 18:14:23 UTC 2016


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

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

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

commit 2fe7a0aed83cbf2f98904eba68c0aafe28c5fcda
Author: RyanGlScott <ryan.gl.scott at gmail.com>
Date:   Sat Apr 30 14:06:31 2016 -0400

    Fix reference to Note in TcCanonical
    
    Previously, it was referring to Note [Decomposing equalities],
    but the name of it is actually  Note [Decomposing equality].
    
    [ci skip]


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

2fe7a0aed83cbf2f98904eba68c0aafe28c5fcda
 compiler/types/TyCon.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/types/TyCon.hs b/compiler/types/TyCon.hs
index 0f9f434..628eabd 100644
--- a/compiler/types/TyCon.hs
+++ b/compiler/types/TyCon.hs
@@ -1510,7 +1510,7 @@ isDataTyCon _ = False
 -- (where X is the role passed in):
 --   If (T a1 b1 c1) ~X (T a2 b2 c2), then (a1 ~X1 a2), (b1 ~X2 b2), and (c1 ~X3 c2)
 -- (where X1, X2, and X3, are the roles given by tyConRolesX tc X)
--- See also Note [Decomposing equalities] in TcCanonical
+-- See also Note [Decomposing equality] in TcCanonical
 isInjectiveTyCon :: TyCon -> Role -> Bool
 isInjectiveTyCon _                             Phantom          = False
 isInjectiveTyCon (FunTyCon {})                 _                = True
@@ -1530,7 +1530,7 @@ isInjectiveTyCon tc@(TcTyCon {})               _
 -- | 'isGenerativeTyCon' is true of 'TyCon's for which this property holds
 -- (where X is the role passed in):
 --   If (T tys ~X t), then (t's head ~X T).
--- See also Note [Decomposing equalities] in TcCanonical
+-- See also Note [Decomposing equality] in TcCanonical
 isGenerativeTyCon :: TyCon -> Role -> Bool
 isGenerativeTyCon (FamilyTyCon { famTcFlav = DataFamilyTyCon _ }) Nominal = True
 isGenerativeTyCon (FamilyTyCon {}) _ = False



More information about the ghc-commits mailing list