summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-11-08 14:58:28 -0500
committerBen Gamari <ben@smart-cactus.org>2019-11-17 06:58:17 -0500
commitca89dd3b591f82e73a88cf433d280ece317ace5e (patch)
tree07a64e1a90c18f906fe135c93fb86482541a3921
parent002b284269de63504ed3b0c1e22c8ecfd74e78d9 (diff)
downloadhaskell-ca89dd3b591f82e73a88cf433d280ece317ace5e.tar.gz
users-guide: Address #17329
Adopts the language suggested by @JakobBruenker.
-rw-r--r--docs/users_guide/glasgow_exts.rst14
1 files changed, 7 insertions, 7 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 5d708e1aa3..ec015aa673 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