diff options
| -rw-r--r-- | utils/mkUserGuidePart/Options/Language.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/utils/mkUserGuidePart/Options/Language.hs b/utils/mkUserGuidePart/Options/Language.hs index c9bb6ea6c0..7dd8429ed7 100644 --- a/utils/mkUserGuidePart/Options/Language.hs +++ b/utils/mkUserGuidePart/Options/Language.hs @@ -637,6 +637,13 @@ languageOptions = , flagReverse = "-XNoStandaloneDeriving" , flagSince = "6.8.1" } + , flag { flagName = "-XStaticPointers" + , flagDescription = + "Enable :ref:`static pointers <static-pointers>`." + , flagType = DynamicFlag + , flagReverse = "-XNoStaticPointers" + , flagSince = "7.10.1" + } , flag { flagName = "-XStrictData" , flagDescription = "Enable :ref:`default strict datatype fields <strict-data>`." |