diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-11-08 14:58:28 -0500 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-11-15 09:51:50 -0500 |
commit | d3239805e7e612ba62948a78db84389eaa204888 (patch) | |
tree | a7118eb89424f571d3a49e6cda295642b9e6665a | |
parent | 46afc380b1445d6bcff0c954569a59420c847534 (diff) | |
download | haskell-wip/T17329.tar.gz |
users-guide: Address #17329wip/T17329
Adopts the language suggested by @JakobBruenker.
-rw-r--r-- | docs/users_guide/glasgow_exts.rst | 14 |
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 |