[commit: ghc] master: Comments only (2a2e6a8)

[git at git.haskell.org]

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

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

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

commit 2a2e6a8f703ef2a38cc85bd57ce9e29d2c9f2913
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Jan 25 09:58:53 2018 +0000

    Comments only


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

2a2e6a8f703ef2a38cc85bd57ce9e29d2c9f2913
 compiler/coreSyn/CoreOpt.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/coreSyn/CoreOpt.hs b/compiler/coreSyn/CoreOpt.hs
index 0f35e8f..04e604e 100644
--- a/compiler/coreSyn/CoreOpt.hs
+++ b/compiler/coreSyn/CoreOpt.hs
@@ -968,9 +968,9 @@ pushCoTyArg co ty
        -- tyR = forall (a2 :: k2). ty2
 
     co1 = mkNthCo 0 co
-       -- co1 :: k1 ~ k2
-       -- Note that NthCo can extract an equality between the kinds
-       -- of the types related by a coercion between forall-types.
+       -- co1 :: k1 ~N k2
+       -- Note that NthCo can extract a Nominal equality between the
+       -- kinds of the types related by a coercion between forall-types.
        -- See the NthCo case in CoreLint.
 
     co2 = mkInstCo co (mkCoherenceLeftCo (mkNomReflCo ty) co1)