diff options
| author | Georg Brandl <georg@python.org> | 2017-01-22 18:32:03 +0000 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2017-01-22 18:32:03 +0000 |
| commit | ab9b98535fa00980f9d3e86ffd7df6765b03f890 (patch) | |
| tree | 0e7fd93778f83a8d8bac405c78b2c81da8b30bba /pygments/lexers/verification.py | |
| parent | 0fa23bf835caf6dc01ddb7fde63e01113a7b10af (diff) | |
| parent | 2871ca982a7e413f7de2acb15216b53c144bdc40 (diff) | |
| download | pygments-ab9b98535fa00980f9d3e86ffd7df6765b03f890.tar.gz | |
Merged in zhouzhen1/pygments-main/perllexer (pull request #688)
Fix Perl5 lexer for namespaces/modules.
Diffstat (limited to 'pygments/lexers/verification.py')
| -rw-r--r-- | pygments/lexers/verification.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/verification.py b/pygments/lexers/verification.py index 3e77e04a..1ffee0ab 100644 --- a/pygments/lexers/verification.py +++ b/pygments/lexers/verification.py @@ -69,7 +69,7 @@ class SilverLexer(RegexLexer): """ name = 'Silver' aliases = ['silver'] - filenames = ['*.sil'] + filenames = ['*.sil', '*.vpr'] tokens = { 'root': [ @@ -89,7 +89,7 @@ class SilverLexer(RegexLexer): 'constraining', 'Seq', 'Set', 'Multiset', 'union', 'intersection', 'setminus', 'subset', 'unfolding', 'in', 'old', 'forall', 'exists', 'acc', 'wildcard', 'write', 'none', 'epsilon', 'perm', 'unique', - 'apply', 'package', 'folding', 'label'), + 'apply', 'package', 'folding', 'label', 'forperm'), suffix=r'\b'), Keyword), (words(('Int', 'Perm', 'Bool', 'Ref'), suffix=r'\b'), Keyword.Type), include('numbers'), |