diff options
| author | Ian Lynagh <igloo@earth.li> | 2011-04-16 21:53:48 +0100 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-04-16 21:53:48 +0100 |
| commit | 40df25409b34352f33f63881a3b9d9846ee03748 (patch) | |
| tree | 7e95af40836b85737fd06985c3decb1d1f168178 /docs | |
| parent | 11b33eaeaef39fcba8ee9258213068ed90362aa7 (diff) | |
| download | haskell-40df25409b34352f33f63881a3b9d9846ee03748.tar.gz | |
Document -fwarn-missing-local-sigs; part of #4817
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> |