diff options
| author | Thomas Winant <thomas.winant@cs.kuleuven.be> | 2014-12-23 08:48:29 -0600 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2014-12-23 08:48:30 -0600 |
| commit | 089222c9d6798c79179264e5c77c31d5c460a880 (patch) | |
| tree | ffa95ef70c92e758f817c25ea730f36e6039a6ba /docs/users_guide/flags.xml | |
| parent | 6eb86a56135a9274d2c958a2ccf4df510c9dab86 (diff) | |
| download | haskell-089222c9d6798c79179264e5c77c31d5c460a880.tar.gz | |
Rename NamedWildcards flag to NamedWildCards
Summary:
Mind the capital C. As there is already a flag RecordWildCards with a capital
C, we should at least try to be consistent in the spelling of WildCards.
Test Plan: validate
Reviewers: goldfire, simonpj, austin
Reviewed By: simonpj, austin
Subscribers: carter, thomie
Differential Revision: https://phabricator.haskell.org/D584
Diffstat (limited to 'docs/users_guide/flags.xml')
| -rw-r--r-- | docs/users_guide/flags.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 6ba0c6f164..464cce7c48 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1056,10 +1056,10 @@ <entry><option>-XNoNamedFieldPuns</option></entry> </row> <row> - <entry><option>-XNamedWildcards</option></entry> + <entry><option>-XNamedWildCards</option></entry> <entry>Enable <link linkend="named-wildcards">named wildcards</link>.</entry> <entry>dynamic</entry> - <entry><option>-XNoNamedWildcards</option></entry> + <entry><option>-XNoNamedWildCards</option></entry> </row> <row> <entry><option>-XNegativeLiterals</option></entry> |