diff options
| author | Georg Brandl <georg@python.org> | 2016-02-26 10:09:18 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2016-02-26 10:09:18 +0100 |
| commit | 1e3fa4bde6827107e7f5d6a3f38f57c51618ba82 (patch) | |
| tree | 1ea6d3e16393aa41f2e647c09d6f979d34cc79da /pygments/lexers/haskell.py | |
| parent | d75dd4a9501658a05db7475b4b6d5800a1a92700 (diff) | |
| parent | 4611730d0ca3cc6baad598f1802759bbf5bcad38 (diff) | |
| download | pygments-git-1e3fa4bde6827107e7f5d6a3f38f57c51618ba82.tar.gz | |
merge with stable
Diffstat (limited to 'pygments/lexers/haskell.py')
| -rw-r--r-- | pygments/lexers/haskell.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/haskell.py b/pygments/lexers/haskell.py index 95e68a33..ffc3a3a2 100644 --- a/pygments/lexers/haskell.py +++ b/pygments/lexers/haskell.py @@ -321,7 +321,7 @@ class AgdaLexer(RegexLexer): 'module': [ (r'\{-', Comment.Multiline, 'comment'), (r'[a-zA-Z][\w.]*', Name, '#pop'), - (r'[^a-zA-Z]+', Text) + (r'[\W0-9_]+', Text) ], 'comment': HaskellLexer.tokens['comment'], 'character': HaskellLexer.tokens['character'], |