Commit 608e76ce authored by Simon Peyton Jones's avatar Simon Peyton Jones

Document type functions in the Paterson conditions

parent 7ec07e40
......@@ -5246,7 +5246,12 @@ The Paterson Conditions: for each class constraint <literal>(C t1 ... tn)</liter
<listitem><para>No type variable has more occurrences in the constraint than in the head</para></listitem>
<listitem><para>The constraint has fewer constructors and variables (taken together
and counting repetitions) than the head</para></listitem>
and counting repetitions) than the head
<listitem><para>The constraint mentions no type functions.
A type function application can in principle expand to a
type of arbitrary size, and so are rejected out of hand
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