[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