diff options
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 "++ |