diff options
| author | Tim Baumann <tim@timbaumann.info> | 2013-05-19 22:55:49 +0200 |
|---|---|---|
| committer | Tim Baumann <tim@timbaumann.info> | 2013-05-19 22:55:49 +0200 |
| commit | ac957840bdb18b1d4fb8202228cae6b00dd23a52 (patch) | |
| tree | ffdbddbf9f10f5f089cc4aefe37a6d08b24b0163 | |
| parent | dc6b7939eccfad4610256f76a5b2bce729d4507b (diff) | |
| download | pygments-ac957840bdb18b1d4fb8202228cae6b00dd23a52.tar.gz | |
Cosmetic changes in Agda lexer
| -rw-r--r-- | pygments/lexers/functional.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pygments/lexers/functional.py b/pygments/lexers/functional.py index 5a5097fa..b9016835 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -16,9 +16,9 @@ from pygments.token import Text, Comment, Operator, Keyword, Name, \ String, Number, Punctuation, Literal, Generic, Error __all__ = ['RacketLexer', 'SchemeLexer', 'CommonLispLexer', 'HaskellLexer', - 'LiterateHaskellLexer', 'AgdaLexer', 'LiterateAgdaLexer', + 'AgdaLexer', 'LiterateHaskellLexer', 'LiterateAgdaLexer', 'SMLLexer', 'OcamlLexer', 'ErlangLexer', 'ErlangShellLexer', - 'OpaLexer', 'CoqLexer', 'AgdaLexer', 'NewLispLexer', 'ElixirLexer', + 'OpaLexer', 'CoqLexer', 'NewLispLexer', 'ElixirLexer', 'ElixirConsoleLexer', 'KokaLexer'] @@ -1036,7 +1036,8 @@ class AgdaLexer(RegexLexer): tokens = { 'root': [ # Declaration - (r'^(\s*)([^\s\(\)\{\}]+)(\s*)(:)(\s*)', bygroups(Text, Name.Function, Text, Operator.Word, Text)), + (r'^(\s*)([^\s\(\)\{\}]+)(\s*)(:)(\s*)', + bygroups(Text, Name.Function, Text, Operator.Word, Text)), # Comments (r'--(?![!#$%&*+./<=>?@\^|_~:\\]).*?$', Comment.Single), (r'{-', Comment.Multiline, 'comment'), |