diff options
| author | Eugene Akentyev <ak3ntev@gmail.com> | 2016-08-31 16:02:10 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-08-31 16:32:44 -0400 |
| commit | 75321ffa25ad377fa200485a7d58ad32a87e7d65 (patch) | |
| tree | 966d00c0e2c7441af8b6baa4a0dd409af6be3d99 /utils/mkUserGuidePart | |
| parent | ca6d0eb0f7d28b0245abc2b0783141101e51945f (diff) | |
| download | haskell-75321ffa25ad377fa200485a7d58ad32a87e7d65.tar.gz | |
Add -fdefer-out-of-scope-variables flag (#12170).
Reviewers: simonpj, thomie, austin, bgamari
Reviewed By: simonpj, thomie, bgamari
Subscribers: simonpj, thomie
Differential Revision: https://phabricator.haskell.org/D2458
GHC Trac Issues: #12170
Diffstat (limited to 'utils/mkUserGuidePart')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Warnings.hs | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/utils/mkUserGuidePart/Options/Warnings.hs b/utils/mkUserGuidePart/Options/Warnings.hs index 61e6019826..eadb60016e 100644 --- a/utils/mkUserGuidePart/Options/Warnings.hs +++ b/utils/mkUserGuidePart/Options/Warnings.hs @@ -51,7 +51,9 @@ warningsOptions = , flag { flagName = "-fdefer-type-errors" , flagDescription = "Turn type errors into warnings, :ref:`deferring the error until "++ - "runtime <defer-type-errors>`. Implies :ghc-flag:`-fdefer-typed-holes`. "++ + "runtime <defer-type-errors>`. Implies "++ + ":ghc-flag:`-fdefer-typed-holes` and "++ + ":ghc-flag:`-fdefer-out-of-scope-variables`. "++ "See also :ghc-flag:`-Wdeferred-type-errors`" , flagType = DynamicFlag , flagReverse = "-fno-defer-type-errors" @@ -65,6 +67,14 @@ warningsOptions = , flagType = DynamicFlag , flagReverse = "-fno-defer-typed-holes" } + , flag { flagName = "-fdefer-out-of-scope-variables" + , flagDescription = + "Convert variable out of scope variables errors into warnings. "++ + "Implied by :ghc-flag:`-fdefer-type-errors`. "++ + "See also :ghc-flag:`-Wdeferred-out-of-scope-variables`." + , flagType = DynamicFlag + , flagReverse = "-fno-defer-out-of-scope-variables" + } , flag { flagName = "-fhelpful-errors" , flagDescription = "Make suggestions for mis-spelled names." , flagType = DynamicFlag @@ -398,6 +408,14 @@ warningsOptions = , flagType = DynamicFlag , flagReverse = "-Wno-typed-holes" } + , flag { flagName = "-Wdeferred-out-of-scope-variables" + , flagDescription = + "Report warnings when variable out-of-scope errors are "++ + ":ref:`deferred until runtime <defer-out-of-scope-variables>`. "++ + "See :ghc-flag:`-fdefer-out-of-scope-variables`." + , flagType = DynamicFlag + , flagReverse = "-Wno-deferred-out-of-scope-variables" + } , flag { flagName = "-Wpartial-type-signatures" , flagDescription = "warn about holes in partial type signatures when "++ |