X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2F6.6-notes.xml;h=7a2dbb4251ed87729139f7257007aa3362e05b65;hb=a37dfa428490086770a1acb92c9b6694bbc35a55;hp=9b215b0f5531577fa62bc0182e10137dff29529c;hpb=28314aa42433b174156bb870d08af745662b99bb;p=ghc-hetmet.git

diff --git a/docs/users_guide/6.6-notes.xml b/docs/users_guide/6.6-notes.xml
index 9b215b0..7a2dbb4 100644
--- a/docs/users_guide/6.6-notes.xml
+++ b/docs/users_guide/6.6-notes.xml
@@ -250,8 +250,14 @@
           <literal>MyIO <replaceable>t</replaceable></literal>
           rather than just
           <literal>IO <replaceable>t</replaceable></literal>.
+	  See <xref linkend="ffi-newtype-io"/>
         </para>
       </listitem>
+      <listitem> <para> GHC's mechansim for deriving user-defined classes
+	  for newtypes has been further generalised, to multi-parameter type
+	  classes and higher-kinded types.  See <xref
+	  linkend="newtype-deriving"/>.
+	  </para></listitem>
       <listitem>
         <para>
           By default, pattern bindings in GHC are now monomorphic.
@@ -281,6 +287,13 @@
       </listitem>
       <listitem>
         <para>
+          Linear implicit parameters have been scheduled for removal for some
+          time.  In 6.6 we've removed them from the user manual, and they may
+	  well disappear from the compiler itself in 6.6.1.
+        </para>
+      </listitem>
+      <listitem>
+        <para>
           It is now possible, with the <literal>-I</literal> RTS flag,
           to control the amount of idle time that happens before a major
           GC is performed.
@@ -298,6 +311,14 @@
           <option>--make</option>, and hence can be used by cabal.
         </para>
       </listitem>
+      <listitem>
+        <para>
+          Template Haskell used to have limited support for type signatures in 
+	  patterns, but since that design is in flux for Haskell (let alone
+	  Template Haskell), we've removed type signatures in patterns from
+	  Template Haskell.
+        </para>
+      </listitem>
     </itemizedlist>
   </sect2>