Commit c64926f3 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent f4d37f05
...@@ -166,8 +166,8 @@ Where expand is defined as follows: ...@@ -166,8 +166,8 @@ Where expand is defined as follows:
Eqn (1) is conservative; when there's a type variable at the head, Eqn (1) is conservative; when there's a type variable at the head,
look in all the argument types. Eqn (2) expands superclasses; the look in all the argument types. Eqn (2) expands superclasses; the
third component of the union is like Eqn (1). Eqn (3) really never third component of the union is like Eqn (1). Eqn (3) happens mainly
happens. when the context is a (constraint) tuple, such as (Eq a, Show a).
Furthermore, expand always looks through type synonyms. Furthermore, expand always looks through type synonyms.
......
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