diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/using.xml | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 772e8b9eaa..502f7a3401 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1086,7 +1086,7 @@ test.hs:(5,4)-(6,7): <option>-fwarn-warnings-deprecations</option>, <option>-fwarn-deprecated-flags</option>, <option>-fwarn-unrecognised-pragmas</option>, - <option>-fwarn-pointless-pragmas</option>, + <option>-fwarn-missed-specialisations</option>, <option>-fwarn-duplicate-constraints</option>, <option>-fwarn-duplicate-exports</option>, <option>-fwarn-overflowed-literals</option>, @@ -1287,16 +1287,24 @@ test.hs:(5,4)-(6,7): </varlistentry> <varlistentry> - <term><option>-fwarn-pointless-pragmas</option>:</term> + <term><option>-fwarn-missed-specialisations</option>, <option>-fwarn-all-missed-specialisations</option>:</term> <listitem> - <indexterm><primary><option>-fwarn-pointless-pragmas</option></primary> - </indexterm> + <indexterm><primary><option>-fwarn-missed-specialisations</option></primary></indexterm> + <indexterm><primary><option>-fwarn-all-missed-specialisations</option></primary></indexterm> <indexterm><primary>warnings</primary></indexterm> <indexterm><primary>pragmas</primary></indexterm> - <para>Causes a warning to be emitted when GHC detects that a - module contains a pragma that has no effect.</para> - - <para>This option is on by default.</para> + <para>Emits a warning if GHC cannot specialise a function that is + imported and overloaded, usually because the function needs an + <literal>INLINEABLE</literal> pragma.. The "all" form reports all + such situations. The "non-all" form only reports when the situation + arises during specialisation of an imported function; presumably teh latter + was marked <literal>INLINEABLE</literal> so that it would specialise + but if it, in turn, calls other functions that are not specialised + you won't get the performance boost you expect.</para> + + <para><option>-fwarn-missed-specialisations</option> is on by default; + <option>-fwarn-all-missed-specialisations</option> is implied by <option>-Wall</option>. + </para> </listitem> </varlistentry> |