Document type functions in the Paterson conditions
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 23 Jul 2015 11:24:14 +0000 (12:24 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 23 Jul 2015 12:59:23 +0000 (13:59 +0100)
docs/users_guide/glasgow_exts.xml

index 2ec1d4e..9685b1d 100644 (file)
@@ -5246,7 +5246,12 @@ The Paterson Conditions: for each class constraint <literal>(C t1 ... tn)</liter
 <orderedlist>
 <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
+</para></listitem>
+<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
+</para></listitem>
 </orderedlist>
 </para></listitem>