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