diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2016-02-16 22:45:33 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-16 22:45:44 +0100 |
| commit | ad30c760f55205174b3b3472bbcd85fc51fb65d0 (patch) | |
| tree | 88e34c27079323db286a444aeb1f045eae1be546 | |
| parent | 5fc06b97b320e98febaa925085dac03e5b01fc5a (diff) | |
| download | haskell-ad30c760f55205174b3b3472bbcd85fc51fb65d0.tar.gz | |
Remove documentation for -Wlazy-unlifted-bindings
This flag was supposed to be removed in 7.10. This finally resolves
Trac #8022.
Test Plan: Read it
Reviewers: austin
Reviewed By: austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1922
GHC Trac Issues: #8022
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 4 | ||||
| -rw-r--r-- | utils/mkUserGuidePart/Options/Warnings.hs | 7 |
2 files changed, 0 insertions, 11 deletions
diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index 5727b829eb..e71ae927ef 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -371,10 +371,6 @@ of ``-W(no-)*``. Causes a warning to be emitted if an enumeration is empty, e.g. ``[5 .. 3]``. -.. ghc-flag:: -Wlazy-unlifted-bindings - - This flag is a no-op, and will be removed in GHC 7.10. - .. ghc-flag:: -Wduplicate-constraints .. index:: diff --git a/utils/mkUserGuidePart/Options/Warnings.hs b/utils/mkUserGuidePart/Options/Warnings.hs index de5e1592ce..37597f8e0f 100644 --- a/utils/mkUserGuidePart/Options/Warnings.hs +++ b/utils/mkUserGuidePart/Options/Warnings.hs @@ -117,13 +117,6 @@ warningsOptions = , flagType = DynamicFlag , flagReverse = "-Wno-incomplete-record-updates" } - , flag { flagName = "-Wlazy-unlifted-bindings" - , flagDescription = - "*(deprecated)* warn when a pattern binding looks lazy but "++ - "must be strict" - , flagType = DynamicFlag - , flagReverse = "-Wno-lazy-unlifted-bindings" - } , flag { flagName = "-Wmissing-fields" , flagDescription = "warn when fields of a record are uninitialised" , flagType = DynamicFlag |