Commit 83a7b1cf authored by Simon Peyton Jones's avatar Simon Peyton Jones

Adjust comments (Trac #14164)

parent a9b01c08
...@@ -598,10 +598,10 @@ So, we work as follows: ...@@ -598,10 +598,10 @@ So, we work as follows:
tyvars, extending it each time with a new binding, so we tyvars, extending it each time with a new binding, so we
finish up with finish up with
[ xs :-> ..as before.. [ xs :-> ..as before..
, a :-> ..as before.. , a :-> b
, b :-> b :: * , b :-> b :: *
, z :-> z :: b , z :-> z :: b
, rest :-> rest :: G a (z :: b) ] , rest :-> rest :: G b (z :: b) ]
Note that rest now has the right kind Note that rest now has the right kind
7. Apply this extended substitution (once) to the range of 7. Apply this extended substitution (once) to the range of
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment