diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Warnings.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/utils/mkUserGuidePart/Options/Warnings.hs b/utils/mkUserGuidePart/Options/Warnings.hs index e56e04115c..c775af4f6c 100644 --- a/utils/mkUserGuidePart/Options/Warnings.hs +++ b/utils/mkUserGuidePart/Options/Warnings.hs @@ -222,6 +222,11 @@ warningsOptions = , flagType = DynamicFlag , flagReverse = "-Wno-tabs" } + , flag { flagName = "-Wtoo-many-guards" + , flagDescription = "warn when a match has too many guards" + , flagType = DynamicFlag + , flagReverse = "-Wno-too-many-guards" + } , flag { flagName = "-Wtype-defaults" , flagDescription = "warn when defaulting happens" , flagType = DynamicFlag @@ -364,4 +369,12 @@ warningsOptions = , flagType = DynamicFlag , flagReverse = "-Wno-deriving-typeable" } + , flag { flagName = "-ffull-guard-reasoning" + , flagDescription = + "enable the full reasoning of the pattern match checker "++ + "concerning guards, for more precise exhaustiveness/coverage "++ + "warnings" + , flagType = DynamicFlag + , flagReverse = "-fno-full-guard-reasoning" + } ] |