Give the inferred type when warning of a missing type-signature (Trac #1256)

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

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index a82cd52..82d7afe 100644 (file)
--- 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
 
          <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>
           option is off by default.</para>
        </listitem>
       </varlistentry>