diff options
Diffstat (limited to 'docs/users_guide/exts/gadt_syntax.rst')
| -rw-r--r-- | docs/users_guide/exts/gadt_syntax.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/users_guide/exts/gadt_syntax.rst b/docs/users_guide/exts/gadt_syntax.rst index c0cc6167c9..dce11eb119 100644 --- a/docs/users_guide/exts/gadt_syntax.rst +++ b/docs/users_guide/exts/gadt_syntax.rst @@ -6,8 +6,11 @@ Declaring data types with explicit constructor signatures .. extension:: GADTSyntax :shortdesc: Enable generalised algebraic data type syntax. + :implied by: :extensions:`GADTs` :since: 7.2.1 + :status: Included in :extension:`GHC2021` + Allow the use of GADT syntax in data type definitions (but not GADTs themselves; for this see :extension:`GADTs`) @@ -376,5 +379,3 @@ type declarations. infix 6 (:--:) data T a where (:--:) :: Int -> Bool -> T Int - - |