Add -XStaticPointers to the flag reference.
authorFacundo Domínguez <facundo.dominguez@tweag.io>
Thu, 19 May 2016 20:44:34 +0000 (17:44 -0300)
committerFacundo Domínguez <facundo.dominguez@tweag.io>
Thu, 19 May 2016 20:44:34 +0000 (17:44 -0300)
utils/mkUserGuidePart/Options/Language.hs

index c9bb6ea..7dd8429 100644 (file)
@@ -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>`."