Adjust comments (Trac #14164)
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 19 Jun 2018 09:43:01 +0000 (10:43 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 19 Jun 2018 09:43:07 +0000 (10:43 +0100)
compiler/types/Unify.hs

index 94ee3f8..edd82ba 100644 (file)
@@ -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