[Git][ghc/ghc][wip/ghc2024] docs: Annotate the new extensions

[Joachim Breitner (@nomeata)]

Joachim Breitner pushed to branch wip/ghc2024 at Glasgow Haskell Compiler / GHC


Commits:
2985442a by Joachim Breitner at 2024-01-09T21:32:19+01:00
docs: Annotate the new extensions

- - - - -


8 changed files:

- docs/users_guide/exts/data_kinds.rst
- docs/users_guide/exts/deriving_strategies.rst
- docs/users_guide/exts/disambiguate_record_fields.rst
- docs/users_guide/exts/explicit_namespaces.rst
- docs/users_guide/exts/gadt.rst
- docs/users_guide/exts/lambda_case.rst
- docs/users_guide/exts/let_generalisation.rst
- docs/users_guide/exts/roles.rst


Changes:

=====================================
docs/users_guide/exts/data_kinds.rst
=====================================
@@ -8,6 +8,8 @@ Datatype promotion
 
     :since: 7.4.1
 
+    :status: Included in :extension:`GHC2024`
+
     Allow promotion of data types to kind level.
 
 This section describes *data type promotion*, an extension to the kind


=====================================
docs/users_guide/exts/deriving_strategies.rst
=====================================
@@ -8,6 +8,8 @@ Deriving strategies
 
     :since: 8.2.1
 
+    :status: Included in :extension:`GHC2024`
+
     Allow multiple ``deriving``, each optionally qualified with a *strategy*.
 
 In most scenarios, every ``deriving`` statement generates a typeclass instance


=====================================
docs/users_guide/exts/disambiguate_record_fields.rst
=====================================
@@ -9,6 +9,7 @@ Record field disambiguation
 
     :since: 6.8.1
     :implied by: :extension:`RecordWildCards`, :extension:`DuplicateRecordFields`
+    :status: Included in :extension:`GHC2024`
 
     Allow the compiler to automatically choose between identically-named record
     fields (if the choice is unambiguous).


=====================================
docs/users_guide/exts/explicit_namespaces.rst
=====================================
@@ -10,6 +10,7 @@ Explicit namespaces in import/export
 
     :implied by: :extension:`TypeOperators`, :extension:`TypeFamilies`
     :since: 7.6.1
+    :status: Included in :extension:`GHC2024`
 
     Enable use of explicit namespaces in module export lists, patterns, and expressions.
 
@@ -48,4 +49,4 @@ keyword in patterns and expressions::
   f (type t) x = ...       -- in a pattern
   r = f (type Integer) 10  -- in an expression
 
-This is used in conjunction with :extension:`RequiredTypeArguments`.
\ No newline at end of file
+This is used in conjunction with :extension:`RequiredTypeArguments`.


=====================================
docs/users_guide/exts/gadt.rst
=====================================
@@ -9,6 +9,7 @@ Generalised Algebraic Data Types (GADTs)
 
     :implies: :extension:`MonoLocalBinds`, :extension:`GADTSyntax`
     :since: 6.8.1
+    :status: Included in :extension:`GHC2024`
 
     Allow use of Generalised Algebraic Data Types (GADTs).
 


=====================================
docs/users_guide/exts/lambda_case.rst
=====================================
@@ -7,6 +7,7 @@ Lambda-case
     :shortdesc: Enable lambda-case expressions.
 
     :since: 7.6.1
+    :status: Included in :extension:`GHC2024`
 
     Allow the use of lambda-case syntax.
 


=====================================
docs/users_guide/exts/let_generalisation.rst
=====================================
@@ -9,6 +9,7 @@ Let-generalisation
 
     :implied by: :extension:`TypeFamilies`, :extension:`GADTs`
     :since: 6.12.1
+    :status: Included in :extension:`GHC2024`
 
     Infer less polymorphic types for local bindings by default.
 


=====================================
docs/users_guide/exts/roles.rst
=====================================
@@ -151,6 +151,7 @@ Role annotations
     :shortdesc: Enable role annotations.
 
     :since: 7.8.1
+    :status: Included in :extension:`GHC2024`
 
     Allow role annotation syntax.
 



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2985442a98c861997fdddcac96adc767394a8426

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2985442a98c861997fdddcac96adc767394a8426
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240109/7540a96c/attachment-0001.html>