diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-06-19 10:43:01 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-06-19 10:43:07 +0100 |
| commit | 83a7b1cf5f24eccc54016034d8a6d31dbbc2c263 (patch) | |
| tree | 55bbf46fa80394f0fd7a8e502c1eb2593a67bcef /compiler | |
| parent | a9b01c08aab02a8f00cbaf49a99eff0a7b0d19e4 (diff) | |
| download | haskell-83a7b1cf5f24eccc54016034d8a6d31dbbc2c263.tar.gz | |
Adjust comments (Trac #14164)
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/types/Unify.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/types/Unify.hs b/compiler/types/Unify.hs index 94ee3f8657..edd82ba6fa 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 |