Repository : ssh://g...@git.haskell.org/ghc
On branch : master
Link :
http://ghc.haskell.org/trac/ghc/changeset/986250e42f9d7552cc0c39d55efd33e1c2afdfdd/ghc
>---------------------------------------------------------------
commit 986250e42f9d7552cc0c39d55efd33e1c2afdfdd
Author: Krzysztof Gogolewski <krz.gogolew...@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>
_______________________________________________
ghc-commits mailing list
ghc-commits@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-commits
