diff options
Diffstat (limited to 'utils/mkUserGuidePart/Options/Warnings.hs')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Warnings.hs | 7 |
1 files changed, 0 insertions, 7 deletions
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 |