diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-06-13 15:46:50 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-14 15:37:14 -0400 |
| commit | 502647f7583be626319482adf4ea3d905db0006d (patch) | |
| tree | 75874fb78afe0e2c518ace9a023a30829f28e1b3 /docs/users_guide | |
| parent | 01f7052cc182c0ced85522dc775ebc490bf094ce (diff) | |
| download | haskell-502647f7583be626319482adf4ea3d905db0006d.tar.gz | |
Fix "ndecreasingIndentation" in manual (#18116)
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/flags.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/users_guide/flags.py b/docs/users_guide/flags.py index fb4592a2b2..2f0bda23b9 100644 --- a/docs/users_guide/flags.py +++ b/docs/users_guide/flags.py @@ -255,14 +255,16 @@ class LanguageExtension(GenericFlag): # Invert the flag @staticmethod def _noname(name): - if name[:2] == "No": + # We check isupper() so that NondecreasingIndentation + # is not counted as "No-decreasingIndentation" + if name[:2] == "No" and name[2].isupper(): return name[2:] else: return "No%s" % name @staticmethod def _onname(name): - if name[:2] == "No": + if name[:2] == "No" and name[2].isupper(): return name[2:] else: return name |