Update manual regarding unboxed tuples
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 1 Oct 2013 16:09:39 +0000 (18:09 +0200)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Wed, 2 Oct 2013 09:44:53 +0000 (11:44 +0200)
Since 7.6 they can be used as function arguments

docs/users_guide/glasgow_exts.xml

index 0bd2090..b7a2155 100644 (file)
@@ -2528,24 +2528,21 @@ After expanding type synonyms, GHC does validity checking on types, looking for
 the following mal-formedness which isn't detected simply by kind checking:
 <itemizedlist>
 <listitem><para>
-Type constructor applied to a type involving for-alls.
-</para></listitem>
-<listitem><para>
-Unboxed tuple on left of an arrow.
+Type constructor applied to a type involving for-alls (if <literal>XImpredicativeTypes</literal>
+is off)
 </para></listitem>
 <listitem><para>
 Partially-applied type synonym.
 </para></listitem>
 </itemizedlist>
-So, for example,
-this will be rejected:
+So, for example, this will be rejected:
 <programlisting>
-  type Pr = (# Int, Int #)
+  type Pr = forall a. a
 
-  h :: Pr -> Int
-  h = ...
+  h :: [Pr]
+  h = ...
 </programlisting>
-because GHC does not allow  unboxed tuples on the left of a function arrow.
+because GHC does not allow type constructors applied to for-all types.
 </para>
 </sect2>