diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Warnings.hs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/utils/mkUserGuidePart/Options/Warnings.hs b/utils/mkUserGuidePart/Options/Warnings.hs index 688a7e691b..593a20cf7e 100644 --- a/utils/mkUserGuidePart/Options/Warnings.hs +++ b/utils/mkUserGuidePart/Options/Warnings.hs @@ -145,6 +145,18 @@ warningsOptions = , flagType = DynamicFlag , flagReverse = "-fno-warn-missing-local-sigs" } + , flag { flagName = "-fwarn-missed-specialisations" + , flagDescription = + "warn when specialisation of an imported, overloaded function fails." + , flagType = DynamicFlag + , flagReverse = "-fno-warn-missed-specialisations" + } + , flag { flagName = "-fwarn-all-missed-specialisations" + , flagDescription = + "warn when specialisation of any overloaded function fails." + , flagType = DynamicFlag + , flagReverse = "-fno-warn-all-missed-specialisations" + } , flag { flagName = "-fwarn-monomorphism-restriction" , flagDescription = "warn when the Monomorphism Restriction is applied" , flagType = DynamicFlag |