diff options
| author | Georg Brandl <georg@python.org> | 2020-09-08 20:20:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-08 20:20:19 +0200 |
| commit | 9f5672672bd61f7149d2a165b49f0617a1a9fe8e (patch) | |
| tree | ad3d62c5c167c6a75edf67a88c20341c77566c7e /pygments/lexers/whiley.py | |
| parent | d9a9e9ee40eb9815ecc3d9ec9d6f5e57499009d2 (diff) | |
| download | pygments-git-9f5672672bd61f7149d2a165b49f0617a1a9fe8e.tar.gz | |
all: remove "u" string prefix (#1536)
* all: remove "u" string prefix
* util: remove unirange
Since Python 3.3, all builds are wide unicode compatible.
* unistring: remove support for narrow-unicode builds
which stopped being relevant with Python 3.3
Diffstat (limited to 'pygments/lexers/whiley.py')
| -rw-r--r-- | pygments/lexers/whiley.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pygments/lexers/whiley.py b/pygments/lexers/whiley.py index 255e9d22..fad94e90 100644 --- a/pygments/lexers/whiley.py +++ b/pygments/lexers/whiley.py @@ -97,11 +97,11 @@ class WhileyLexer(RegexLexer): # operators and punctuation (r'[{}()\[\],.;]', Punctuation), - (u'[+\\-*/%&|<>^!~@=:?' + (r'[+\-*/%&|<>^!~@=:?' # unicode operators - u'\u2200\u2203\u2205\u2282\u2286\u2283\u2287' - u'\u222A\u2229\u2264\u2265\u2208\u2227\u2228' - u']', Operator), + r'\u2200\u2203\u2205\u2282\u2286\u2283\u2287' + r'\u222A\u2229\u2264\u2265\u2208\u2227\u2228' + r']', Operator), # identifier (r'[a-zA-Z_]\w*', Name), |