Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-7.6

http://hackage.haskell.org/trac/ghc/changeset/d6fd2bfe10c1607c56c0f8e6d8e88d415f8a0c4a

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

commit d6fd2bfe10c1607c56c0f8e6d8e88d415f8a0c4a
Author: Paolo Capriotti <[email protected]>
Date:   Mon Aug 13 13:13:06 2012 +0100

    Add UnboxedTuples changes to release notes.

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

 docs/users_guide/7.6.1-notes.xml |   25 +++++++++++++++++++++++++
 1 files changed, 25 insertions(+), 0 deletions(-)

diff --git a/docs/users_guide/7.6.1-notes.xml b/docs/users_guide/7.6.1-notes.xml
index 782864f..0df4be6 100644
--- a/docs/users_guide/7.6.1-notes.xml
+++ b/docs/users_guide/7.6.1-notes.xml
@@ -187,6 +187,31 @@ if | x == 0    -> [...]
               See <xref linkend="multi-way-if" /> for more information.
             </para>
           </listitem>
+          <listitem>
+            <para>
+              Some limitations on the usage of unboxed tuples have been lifted.
+              For example, when the <literal>UnboxedTuples</literal> extension
+              is on, an unboxed tuple can now be used as the type of a
+              constructor, function argument, or variable:
+<programlisting>
+data Foo = Foo (# Int, Int #)
+
+f :: (# Int, Int #) -&gt; (# Int, Int #)
+f x = x
+
+g :: (# Int, Int #) -&gt; Int
+g (# a,b #) = a
+
+h x = let y = (# x,x #) in ...
+</programlisting>
+            </para>
+            <para>
+              Unboxed tuple can now also be nested:
+<programlisting>
+f :: (# Int, (# Int, Int #), Bool #)
+</programlisting>
+            </para>
+          </listitem>
         </itemizedlist>
     </sect3>
 



_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to