diff options
| author | David Kraeutmann <kane@kane.cx> | 2015-07-07 16:59:34 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-07-07 16:59:34 +0200 |
| commit | f753cf11eb9e310b54b08d9a1ea1d11540d8eb69 (patch) | |
| tree | 1bafdf4249909d7e80720c01582eeb79444c692b /docs/users_guide/using.xml | |
| parent | ebfc2fb884764eae65df4c5da68d2ad5aaa7b95a (diff) | |
| download | haskell-f753cf11eb9e310b54b08d9a1ea1d11540d8eb69.tar.gz | |
Allow deferred type error warnings to be suppressed
Adds a flag -fwarn-deferred-type-errors similar to -fwarn-typed-holes.
Changes the boolean flag of -fdefer-type-errors to a 3-state flag
similar to the one used by -fdefer-typed-holes/-fwarn-typed-holes.
Test Plan: Since only the absence of deferred type error warnings when
-fno-warn-deferred-type-errors is passed has to be tested, I duplicated
a test case checking -fdefer-type-errors and adjusted it accordingly.
Reviewers: nomeata, simonpj, austin, thomie, bgamari, hvr
Reviewed By: nomeata, simonpj, austin, thomie, bgamari, hvr
Subscribers: bgamari, simonpj, nomeata, thomie
Projects: #ghc
Differential Revision: https://phabricator.haskell.org/D864
GHC Trac Issues: #10283
Diffstat (limited to 'docs/users_guide/using.xml')
| -rw-r--r-- | docs/users_guide/using.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 5642ea52c9..58008a2ade 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1152,6 +1152,17 @@ test.hs:(5,4)-(6,7): </listitem> </varlistentry> + <varlistentry> + <term><option>-fwarn-type-errors</option>:</term> + <listitem> + <indexterm><primary><option>-fwarn-type-errors</option></primary> + </indexterm> + <indexterm><primary>warnings</primary></indexterm> + <para>Causes a warning to be reported when a type error is deferred + until runtime. See <xref linkend="defer-type-errors"/></para> + <para>This warning is on by default.</para> + </listitem> + </varlistentry> <varlistentry> <term><option>-fdefer-type-errors</option>:</term> |