diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.xml | 7 | ||||
| -rw-r--r-- | docs/users_guide/using.xml | 14 |
2 files changed, 21 insertions, 0 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index e0940aec0d..26ab9ebe5f 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1180,6 +1180,13 @@ </row> <row> + <entry><option>-fwarn-missing-local-sigs</option></entry> + <entry>warn about polymorphic local bindings without signatures</entry> + <entry>dynamic</entry> + <entry><option>-fno-warn-missing-local-sigs</option></entry> + </row> + + <row> <entry><option>-fwarn-name-shadowing</option></entry> <entry>warn when names are shadowed</entry> <entry>dynamic</entry> diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 8b08d9d526..115c290491 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1373,6 +1373,20 @@ module M where </varlistentry> <varlistentry> + <term><option>-fwarn-missing-local-sigs</option>:</term> + <listitem> + <indexterm><primary><option>-fwarn-missing-local-sigs</option></primary></indexterm> + <indexterm><primary>type signatures, missing</primary></indexterm> + + <para>If you use the + <option>-fwarn-missing-local-sigs</option> flag GHC will warn + you about any polymorphic local bindings. As part of + the warning GHC also reports the inferred type. The + option is off by default.</para> + </listitem> + </varlistentry> + + <varlistentry> <term><option>-fwarn-name-shadowing</option>:</term> <listitem> <indexterm><primary><option>-fwarn-name-shadowing</option></primary></indexterm> |