From 56e0d057074e9a22d8fe56392c02e5ad2dede65d Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Mon, 4 Sep 2006 12:44:58 +0000
Subject: [PATCH] Release notes should mention better newtype-deriving

---
 docs/users_guide/6.6-notes.xml    |    6 ++++++
 docs/users_guide/ffi-chap.xml     |    2 +-
 docs/users_guide/glasgow_exts.xml |    2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/docs/users_guide/6.6-notes.xml b/docs/users_guide/6.6-notes.xml
index 9b215b0..f807a33 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.
diff --git a/docs/users_guide/ffi-chap.xml b/docs/users_guide/ffi-chap.xml
index 78c23f8..ff8ef62 100644
--- a/docs/users_guide/ffi-chap.xml
+++ b/docs/users_guide/ffi-chap.xml
@@ -54,7 +54,7 @@ the <option>-fglasgow-exts</option><indexterm><primary><option>-fglasgow-exts</o
       and <literal>ByteArray#</literal>.</para>
     </sect2>
 
-    <sect2>
+    <sect2 id="ffi-newtype-io">
       <title>Newtype wrapping of the IO monad</title>
       <para>The FFI spec requires the IO monad to appear in various  places,
       but it can sometimes be convenient to wrap the IO monad in a
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 588dfef..e801b56 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -120,7 +120,7 @@ documentation</ulink> describes all the libraries that come with GHC.
         </term>
 	<listitem>
 	  <para> These two flags control how generalisation is done in
-	    See <xlink linkend="monomorphism"/>.
+	    See <xref linkend="monomorphism"/>.
           </para>
 	</listitem>
       </varlistentry>
-- 
1.7.10.4