X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fusing.xml;h=82d7afe581ac3f9d3371e33b74a0fb11bdb58426;hp=a82cd526e5848e4ceb316464b6d6f9fcfb16bf07;hb=bb7d80b3b8d1396d481d3b24302bee24a3d92f71;hpb=a01188d12783adf93b1b6c5a08de1dfa0abf55f2;ds=sidebyside

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index a82cd52..82d7afe 100644
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -1006,7 +1006,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>