diff options
Diffstat (limited to 'utils/mkUserGuidePart')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Language.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/utils/mkUserGuidePart/Options/Language.hs b/utils/mkUserGuidePart/Options/Language.hs index 0d9014e40d..c2012af915 100644 --- a/utils/mkUserGuidePart/Options/Language.hs +++ b/utils/mkUserGuidePart/Options/Language.hs @@ -603,14 +603,6 @@ languageOptions = , flagReverse = "-XNoRecursiveDo" , flagSince = "6.8.1" } - , flag { flagName = "-XRelaxedPolyRec" - , flagDescription = - "*(deprecated)* Relaxed checking for :ref:`mutually-recursive "++ - "polymorphic functions <typing-binds>`." - , flagType = DynamicFlag - , flagReverse = "-XNoRelaxedPolyRec" - , flagSince = "6.8.1" - } , flag { flagName = "-XRoleAnnotations" , flagDescription = "Enable :ref:`role annotations <role-annotations>`." |