diff options
| author | Georg Brandl <georg@python.org> | 2014-01-18 16:44:49 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-01-18 16:44:49 +0100 |
| commit | 97703d63f39e6086d497a6a749c9eee3293dcbeb (patch) | |
| tree | c970bf2a7bc17aa7053f3621e299a01fb9695342 /pygments/lexers/functional.py | |
| parent | 5500fd3a6d0c5ece01826606fcf2d684407b9cc6 (diff) | |
| download | pygments-97703d63f39e6086d497a6a749c9eee3293dcbeb.tar.gz | |
Finalize single-source port for Py2.[67] and Py3.3+.
Diffstat (limited to 'pygments/lexers/functional.py')
| -rw-r--r-- | pygments/lexers/functional.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/functional.py b/pygments/lexers/functional.py index 9df88d97..690a7d4d 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -1049,12 +1049,12 @@ class AgdaLexer(RegexLexer): (r'{!', Comment.Directive, 'hole'), # Lexemes: # Identifiers - (ur'\b(%s)(?!\')\b' % '|'.join(reserved), Keyword.Reserved), + (r'\b(%s)(?!\')\b' % '|'.join(reserved), Keyword.Reserved), (r'(import|module)(\s+)', bygroups(Keyword.Reserved, Text), 'module'), (r'\b(Set|Prop)\b', Keyword.Type), # Special Symbols (r'(\(|\)|\{|\})', Operator), - (ur'(\.{1,3}|\||[\u039B]|[\u2200]|[\u2192]|:|=|->)', Operator.Word), + (u'(\\.{1,3}|\\||[\u039B]|[\u2200]|[\u2192]|:|=|->)', Operator.Word), # Numbers (r'\d+[eE][+-]?\d+', Number.Float), (r'\d+\.\d+([eE][+-]?\d+)?', Number.Float), |