diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2020-09-08 20:33:25 +0200 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2020-09-08 20:33:25 +0200 |
| commit | 203ef1eff6daebab6f95b0b49e6e6a58168073fb (patch) | |
| tree | 7defa199f48a34787f980b6400d8bbaa9380039a /pygments/lexers/haskell.py | |
| parent | e09d4e0cf23d7c6069ddc690942ceb4cd23fd556 (diff) | |
| parent | b2c91c70ee536b0472100d1273818f8bb45529fe (diff) | |
| download | pygments-git-bug/angular-html.tar.gz | |
Merge branch 'master' into bug/angular-htmlbug/angular-html
# Conflicts:
# tests/test_shell.py
Diffstat (limited to 'pygments/lexers/haskell.py')
| -rw-r--r-- | pygments/lexers/haskell.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/haskell.py b/pygments/lexers/haskell.py index da86a507..497d4cf3 100644 --- a/pygments/lexers/haskell.py +++ b/pygments/lexers/haskell.py @@ -327,10 +327,10 @@ class AgdaLexer(RegexLexer): # Identifiers (r'\b(%s)(?!\')\b' % '|'.join(reserved), Keyword.Reserved), (r'(import|module)(\s+)', bygroups(Keyword.Reserved, Text), 'module'), - (u'\\b(Set|Prop)[\u2080-\u2089]*\\b', Keyword.Type), + (r'\b(Set|Prop)[\u2080-\u2089]*\b', Keyword.Type), # Special Symbols (r'(\(|\)|\{|\})', Operator), - (u'(\\.{1,3}|\\||\u03BB|\u2200|\u2192|:|=|->)', Operator.Word), + (r'(\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)', Operator.Word), # Numbers (r'\d+[eE][+-]?\d+', Number.Float), (r'\d+\.\d+([eE][+-]?\d+)?', Number.Float), |