diff options
| author | Florian Hahn <flo@fhahn.com> | 2016-04-06 23:56:16 +0200 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2016-04-06 23:56:16 +0200 |
| commit | 59af55e1a349989513795f29b96596900eddc776 (patch) | |
| tree | 7aff277043cf71a4d70857c1c80d963494441b40 | |
| parent | ce93b89a0b9d6b3b0eb828e049952c4ff84421fd (diff) | |
| download | pygments-59af55e1a349989513795f29b96596900eddc776.tar.gz | |
Update Silver lexer, add missing keywords
| -rw-r--r-- | pygments/lexers/verification.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pygments/lexers/verification.py b/pygments/lexers/verification.py index 4042d44e..3e77e04a 100644 --- a/pygments/lexers/verification.py +++ b/pygments/lexers/verification.py @@ -88,13 +88,14 @@ class SilverLexer(RegexLexer): 'assume', 'goto', 'while', 'if', 'elseif', 'else', 'fresh', 'constraining', 'Seq', 'Set', 'Multiset', 'union', 'intersection', 'setminus', 'subset', 'unfolding', 'in', 'old', 'forall', 'exists', - 'acc', 'wildcard', 'write', 'none', 'epsilon', 'perm', 'unique'), + 'acc', 'wildcard', 'write', 'none', 'epsilon', 'perm', 'unique', + 'apply', 'package', 'folding', 'label'), suffix=r'\b'), Keyword), (words(('Int', 'Perm', 'Bool', 'Ref'), suffix=r'\b'), Keyword.Type), include('numbers'), - (r'[!%&*+=|?:<>/-]', Operator), - (r"([{}():;,.])", Punctuation), + (r'[!%&*+=|?:<>/\-\[\]]', Operator), + (r'([{}():;,.])', Punctuation), # Identifier (r'[\w$]\w*', Name), ], |