From 28c60d266c176f6e2c5eac9f3231bfc5fd0f7b23 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 15 Aug 2022 14:15:02 -0400 Subject: users-guide: Fix incorrect reference to `:extension: role --- docs/users_guide/exts/gadt_syntax.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/users_guide') diff --git a/docs/users_guide/exts/gadt_syntax.rst b/docs/users_guide/exts/gadt_syntax.rst index dce11eb119..40e5086d05 100644 --- a/docs/users_guide/exts/gadt_syntax.rst +++ b/docs/users_guide/exts/gadt_syntax.rst @@ -6,7 +6,7 @@ Declaring data types with explicit constructor signatures .. extension:: GADTSyntax :shortdesc: Enable generalised algebraic data type syntax. - :implied by: :extensions:`GADTs` + :implied by: :extension:`GADTs` :since: 7.2.1 :status: Included in :extension:`GHC2021` -- cgit v1.2.1