diff options
| author | Georg Brandl <georg@python.org> | 2019-11-24 15:59:10 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2019-11-24 15:59:10 +0100 |
| commit | 866366793756226e46d0fecc2dc874aa140a7746 (patch) | |
| tree | ad8ed3e1f748cd2a34288620c595b1d71318aa82 /pygments/lexers/haskell.py | |
| parent | f6846060c619a2fa62df81671a256a2b4f8acf75 (diff) | |
| download | pygments-git-866366793756226e46d0fecc2dc874aa140a7746.tar.gz | |
Agda: some fixes (bitbucket PR #826)
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 d9eecaaf..0bac41d5 100644 --- a/pygments/lexers/haskell.py +++ b/pygments/lexers/haskell.py @@ -325,10 +325,10 @@ class AgdaLexer(RegexLexer): # Identifiers (r'\b(%s)(?!\')\b' % '|'.join(reserved), Keyword.Reserved), (r'(import|module)(\s+)', bygroups(Keyword.Reserved, Text), 'module'), - (r'\b(Set|Prop)\b', Keyword.Type), + (u'\\b(Set|Prop)[\u2080-\u2089]*\\b', Keyword.Type), # Special Symbols (r'(\(|\)|\{|\})', Operator), - (u'(\\.{1,3}|\\||\u039B|\u2200|\u2192|:|=|->)', Operator.Word), + (u'(\\.{1,3}|\\||\u03BB|\u2200|\u2192|:|=|->)', Operator.Word), # Numbers (r'\d+[eE][+-]?\d+', Number.Float), (r'\d+\.\d+([eE][+-]?\d+)?', Number.Float), |