[commit: ghc] master: Adjust comments (Trac #14164) (83a7b1c)

[git at git.haskell.org]

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

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

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

commit 83a7b1cf5f24eccc54016034d8a6d31dbbc2c263
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jun 19 10:43:01 2018 +0100

    Adjust comments (Trac #14164)


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

83a7b1cf5f24eccc54016034d8a6d31dbbc2c263
 compiler/types/Unify.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs
index 94ee3f8..edd82ba 100644
--- a/compiler/types/Unify.hs
+++ b/compiler/types/Unify.hs
@@ -598,10 +598,10 @@ So, we work as follows:
     tyvars, extending it each time with a new binding, so we
     finish up with
        [ xs   :-> ..as before..
-       , a    :-> ..as before..
+       , a    :-> b
        , b    :-> b    :: *
        , z    :-> z    :: b
-       , rest :-> rest :: G a (z :: b) ]
+       , rest :-> rest :: G b (z :: b) ]
     Note that rest now has the right kind
 
  7. Apply this extended substitution (once) to the range of