From ca89dd3b591f82e73a88cf433d280ece317ace5e Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Fri, 8 Nov 2019 14:58:28 -0500
Subject: [PATCH] users-guide: Address #17329

Adopts the language suggested by @JakobBruenker.
---
 docs/users_guide/glasgow_exts.rst | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 5d708e1aa3a..ec015aa673b 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -12545,13 +12545,13 @@ Partial Type Signatures
     Type checker will allow inferred types for holes.
 
 A partial type signature is a type signature containing special
-placeholders written with a leading underscore (e.g., "``_``",
-"``_foo``", "``_bar``") called *wildcards*. Partial type signatures are
-to type signatures what :ref:`typed-holes` are to expressions. During
-compilation these wildcards or holes will generate an error message that
-describes which type was inferred at the hole's location, and
-information about the origin of any free type variables. GHC reports
-such error messages by default.
+placeholders called *wildcards*. A wildcard is written as an underscore (e.g. "``_``")
+or, if :extension:`NamedWildCards` is enabled, any identifier with a leading
+underscore (e.g. "``_foo``", "``_bar``"). Partial type signatures are to type
+signatures what :ref:`typed-holes` are to expressions. During compilation these
+wildcards or holes will generate an error message that describes which type was
+inferred at the hole's location, and information about the origin of any free
+type variables. GHC reports such error messages by default.
 
 Unlike :ref:`typed-holes`, which make the program incomplete and will
 generate errors when they are evaluated, this needn't be the case for
-- 
GitLab