diff options
| -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 |