diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-07-23 14:13:16 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-23 15:47:26 -0400 |
| commit | 2dff2c7fbb5aa68445e617d691451c0427fad0a5 (patch) | |
| tree | 104e4e6cb9fa87e679700215fe18c3e41a715caa /docs/users_guide/using-warnings.rst | |
| parent | c9451959d8796ee5458cd0666dd2bc2114ac10d7 (diff) | |
| download | haskell-2dff2c7fbb5aa68445e617d691451c0427fad0a5.tar.gz | |
Fix more documentation wibbles
Fixes #14020, #14016, #14015, #14019
Diffstat (limited to 'docs/users_guide/using-warnings.rst')
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index ce2de5c3ac..48a9296b1a 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -186,7 +186,7 @@ of ``-W(no-)*``. .. ghc-flag:: -fdefer-out-of-scope-variables - Defer variable out of scope errors (errors about names without a leading underscore) + Defer variable out-of-scope errors (errors about names without a leading underscore) until runtime. This will turn variable-out-of-scope errors into warnings. Using a value that depends on a typed hole produces a runtime error, the same as :ghc-flag:`-fdefer-type-errors` (which implies this option). @@ -194,6 +194,10 @@ of ``-W(no-)*``. Implied by :ghc-flag:`-fdefer-type-errors`. See also :ghc-flag:`-Wdeferred-out-of-scope-variables`. +.. ghc-flag:: -Wdeferred-out-of-scope-variables + + Warn when a deferred out-of-scope variable is encountered. + .. ghc-flag:: -Wpartial-type-signatures Determines whether the compiler reports holes in partial type @@ -472,7 +476,7 @@ of ``-W(no-)*``. declaration. This option is on by default. As usual you can suppress it on a - per-module basis with :ghc-flag:`-Wno-redundant-constraints`. + per-module basis with :ghc-flag:`-Wno-redundant-constraints <-Wredundant-constraints>`. Occasionally you may specifically want a function to have a more constrained signature than necessary, perhaps to leave yourself wiggle-room for changing the implementation without changing the @@ -791,7 +795,8 @@ of ``-W(no-)*``. f :: Eq a => a -> a This option is on by default. As usual you can suppress it on a - per-module basis with :ghc-flag:`-Wno-simplifiable-class-constraints`. + per-module basis with :ghc-flag:`-Wno-simplifiable-class-constraints + <-Wsimplifiable-class-constraints>`. .. ghc-flag:: -Wtabs @@ -996,7 +1001,7 @@ of ``-W(no-)*``. type instance F _x _y = [] - Unlike :ghc-flag:`-Wunused-matches`, :ghc-flag:`-Wunused-type-variables` is + Unlike :ghc-flag:`-Wunused-matches`, :ghc-flag:`-Wunused-type-patterns` is not implied by :ghc-flag:`-Wall`. The rationale for this decision is that unlike term-level pattern names, type names are often chosen expressly for documentation purposes, so using underscores in type names can make the |