[commit: ghc] master: Update manual regarding unboxed tuples (986250e)

[git at git.haskell.org]

Repository : ssh://git at git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/986250e42f9d7552cc0c39d55efd33e1c2afdfdd/ghc

>---------------------------------------------------------------

commit 986250e42f9d7552cc0c39d55efd33e1c2afdfdd
Author: Krzysztof Gogolewski <krz.gogolewski at gmail.com>
Date:   Tue Oct 1 18:09:39 2013 +0200

    Update manual regarding unboxed tuples
    
    Since 7.6 they can be used as function arguments


>---------------------------------------------------------------

986250e42f9d7552cc0c39d55efd33e1c2afdfdd
 docs/users_guide/glasgow_exts.xml |   17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 0bd2090..b7a2155 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -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 x = ...
+  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>