diff options
| author | Tim Baumann <tim@timbaumann.info> | 2014-08-31 19:06:15 +0200 |
|---|---|---|
| committer | Tim Baumann <tim@timbaumann.info> | 2014-08-31 19:06:15 +0200 |
| commit | eba3e1877925003f42ef352404a6f5c8fbe768ab (patch) | |
| tree | f04cb9371d5a704b6ee8988ce4e1b5cb326cdd3c /pygments/lexers/functional.py | |
| parent | fb36a5cea3738b96036b9d536e54cd3d2b4261d6 (diff) | |
| download | pygments-eba3e1877925003f42ef352404a6f5c8fbe768ab.tar.gz | |
Idris lexer: add new directives
Diffstat (limited to 'pygments/lexers/functional.py')
| -rw-r--r-- | pygments/lexers/functional.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pygments/lexers/functional.py b/pygments/lexers/functional.py index 2c7e03ed..8f2697d5 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -1537,13 +1537,13 @@ class IdrisLexer(RegexLexer): 'DC[1-4]','NAK','SYN','ETB','CAN', 'EM','SUB','ESC','[FGRU]S','SP','DEL'] - annotations = ['assert_total','lib','link','include','provide','access', - 'default'] + directives = ['lib','link','flag','include','hide','freeze','access', + 'default','logging','dynamic','name','error_handlers','language'] tokens = { 'root': [ # Comments - (r'^(\s*)(%%%s)' % '|'.join(annotations), + (r'^(\s*)(%%%s)' % '|'.join(directives), bygroups(Text, Keyword.Reserved)), (r'(\s*)(--(?![!#$%&*+./<=>?@\^|_~:\\]).*?)$', bygroups(Text, Comment.Single)), (r'(\s*)(\|{3}.*?)$', bygroups(Text, Comment.Single)), |