Record that TH doesn't support pattern types signature

[ghc-hetmet.git] / docs / users_guide / glasgow_exts.xml

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 588dfef..0a9c7e8 100644 (file)
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -119,8 +119,8 @@ documentation</ulink> describes all the libraries that come with GHC.
           <option>-fno-monomorphism-restriction</option>,<option>-fno-monomorphism-restriction</option>:
         </term>
        <listitem>
-         <para> These two flags control how generalisation is done in
-           See <xlink linkend="monomorphism"/>.
+         <para> These two flags control how generalisation is done.
+           See <xref linkend="monomorphism"/>.
           </para>
        </listitem>
       </varlistentry>
@@ -2642,6 +2642,11 @@ inner binding of <literal>?x</literal>, so <literal>(f 9)</literal> will return
 </sect3>
 </sect2>
 
+    <!--   ======================= COMMENTED OUT ========================
+
+    We intend to remove linear implicit parameters, so I'm at least removing
+    them from the 6.6 user manual
+
 <sect2 id="linear-implicit-parameters">
 <title>Linear implicit parameters</title>
 <para>
@@ -2657,7 +2662,7 @@ problem that monads seem over-kill for certain sorts of problem, notably:
 
 <para>
 Linear implicit parameters are just like ordinary implicit parameters,
-except that they are "linear" -- that is, they cannot be copied, and
+except that they are "linear"; that is, they cannot be copied, and
 must be explicitly "split" instead.  Linear implicit parameters are
 written '<literal>%x</literal>' instead of '<literal>?x</literal>'.  
 (The '/' in the '%' suggests the split!)
@@ -2812,6 +2817,8 @@ and you'd be right.  That is why they are an experimental feature.
 
 </sect2>
 
+================ END OF Linear Implicit Parameters commented out -->
+
 <sect2 id="sec-kinding">
 <title>Explicitly-kinded quantification</title>
 
@@ -4797,8 +4804,8 @@ Because the preprocessor targets Haskell (rather than Core),
 <para>GHC supports an extension of pattern matching called <emphasis>bang
 patterns</emphasis>.   Bang patterns are under consideration for Haskell Prime.
 The <ulink
-url="http://hackage.haskell.org/trac/haskell-prime/wiki/BangPatterns">the
-Haskell prime feature description</ulink> contains more discussion and examples
+url="http://hackage.haskell.org/trac/haskell-prime/wiki/BangPatterns">Haskell
+prime feature description</ulink> contains more discussion and examples
 than the material below.
 </para>
 <para>
@@ -6552,7 +6559,7 @@ can be completely switched off by
 </sect2>
 
 <sect2>
-<title>Monomorphic patteern bindings</title>
+<title>Monomorphic pattern bindings</title>
           <indexterm><primary><option>-fno-mono-pat-binds</option></primary></indexterm>
           <indexterm><primary><option>-fmono-pat-binds</option></primary></indexterm>