diff options
| author | abel <abel@agda> | 2014-10-02 23:31:45 +0200 |
|---|---|---|
| committer | abel <abel@agda> | 2014-10-02 23:31:45 +0200 |
| commit | 1c26f1a864cbc8deee3fef0cb292e3e67c084200 (patch) | |
| tree | 9171027bb9ea1b5ea2ab9d3ed6bfe2d29735e573 /pygments/lexers/haskell.py | |
| parent | 55e07ae2d60f3807bfee30b52f06be6cfccc2fc1 (diff) | |
| download | pygments-1c26f1a864cbc8deee3fef0cb292e3e67c084200.tar.gz | |
Added 5 keywords to Agda lexer. Extended test.
Added 'instance', 'postulate', 'renaming', 'tactic', 'unquoteDecl'.
Added the first three to test.agda.
Diffstat (limited to 'pygments/lexers/haskell.py')
| -rw-r--r-- | pygments/lexers/haskell.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pygments/lexers/haskell.py b/pygments/lexers/haskell.py index a6aa55f6..6cee1223 100644 --- a/pygments/lexers/haskell.py +++ b/pygments/lexers/haskell.py @@ -275,10 +275,11 @@ class AgdaLexer(RegexLexer): reserved = ['abstract', 'codata', 'coinductive', 'constructor', 'data', 'field', 'forall', 'hiding', 'in', 'inductive', 'infix', - 'infixl', 'infixr', 'let', 'open', 'pattern', 'primitive', - 'private', 'mutual', 'quote', 'quoteGoal', 'quoteTerm', - 'record', 'syntax', 'rewrite', 'unquote', 'using', 'where', - 'with'] + 'infixl', 'infixr', 'instance', 'let', 'mutual', 'open', + 'pattern', 'postulate', 'primitive', 'private', + 'quote', 'quoteGoal', 'quoteTerm', + 'record', 'renaming', 'rewrite', 'syntax', 'tactic', + 'unquote', 'unquoteDecl', 'using', 'where', 'with'] tokens = { 'root': [ |