X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fusing.xml;h=502c856a09d2a7727e43ff1bfeb01c3080204365;hb=41c6c5d091021a859a7508b47e9fa8a19230b033;hp=72f53b740b18cbf7284c8adc5c5f825bdad668bf;hpb=2f4e21c6f741995e20cc3b53b109ff9edf18eb3c;p=ghc-hetmet.git

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index 72f53b7..502c856 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -310,7 +310,7 @@ module X where
 	  <para>Dependency-generation mode.  In this mode, GHC can be
 	  used to generate dependency information suitable for use in
 	  a <literal>Makefile</literal>.  See <xref
-	  linkend="sec-makefile-dependencies"/>.</para>
+	  linkend="makefile-dependencies"/>.</para>
 	</listitem>
       </varlistentry>
 
@@ -839,7 +839,16 @@ ghc -c Foo.hs</screen>
 	<term><option>-Wall</option>:</term>
 	<listitem>
 	  <indexterm><primary><option>-Wall</option></primary></indexterm>
-	  <para>Turns on all warning options.</para>
+	  <para>Turns on all warning options that indicate potentially
+	  suspicious code.  The warnings that are
+	  <emphasis>not</emphasis> enabled by <option>-Wall</option>
+	  are:</para>
+          <itemizedlist>
+            <listitem><option>-fwarn-simple-patterns</option></listitem>
+            <listitem><option>-fwarn-tabs</option></listitem>
+            <listitem><option>-fwarn-incomplete-record-updates</option></listitem>
+            <listitem><option>-fwarn-monomorphism-restriction</option></listitem>
+          </itemizedlist>
 	</listitem>
       </varlistentry>
 
@@ -1006,7 +1015,8 @@ f foo = foo { x = 6 }
 
 	  <para>If you would like GHC to check that every top-level
           function/value has a type signature, use the
-          <option>-fwarn-missing-signatures</option> option.  This
+          <option>-fwarn-missing-signatures</option> option.  As part of
+	    the warning GHC also reports the inferred type.  The
           option is off by default.</para>
 	</listitem>
       </varlistentry>
@@ -1135,6 +1145,20 @@ f "2"    = 2
       </varlistentry>
 
       <varlistentry>
+	<term><option>-fwarn-monomorphism-restriction</option>:</term>
+	<listitem>
+	  <indexterm><primary><option>-fwarn-monomorphism-restriction</option></primary></indexterm>
+	  <indexterm><primary>monomorphism restriction, warning</primary></indexterm>
+	  <para>Have the compiler warn/inform you where in your source
+          the Haskell Monomorphism Restriction is applied.  If applied silently
+	  the MR can give rise to unexpected behaviour, so it can be helpful
+	  to have an explicit warning that it is being applied.</para>
+
+	  <para>This warning is off by default.</para>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
 	<term><option>-fwarn-unused-binds</option>:</term>
 	<listitem>
 	  <indexterm><primary><option>-fwarn-unused-binds</option></primary></indexterm>
@@ -1368,7 +1392,7 @@ f "2"    = 2
 	    <literal>Exception.assert</literal> in source code (in
 	    other words, rewriting <literal>Exception.assert p
 	    e</literal> to <literal>e</literal> (see <xref
-	    linkend="sec-assertions"/>).  This flag is turned on by
+	    linkend="assertions"/>).  This flag is turned on by
 	    <option>-O</option>.
 	    </para>
 	  </listitem>
@@ -1523,7 +1547,7 @@ f "2"    = 2
   
   &phases;  
   
-  <sect1 id="sec-using-concurrent">
+  <sect1 id="using-concurrent">
     <title>Using Concurrent Haskell</title>
     <indexterm><primary>Concurrent Haskell</primary><secondary>using</secondary></indexterm>
 
@@ -1553,7 +1577,7 @@ f "2"    = 2
     </variablelist>
   </sect1>
 
-  <sect1 id="sec-using-smp">
+  <sect1 id="using-smp">
     <title>Using SMP parallelism</title>
     <indexterm><primary>parallelism</primary>
     </indexterm>