From 3160855158810224341e17d1042e10e3de8c8b6c Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Thu, 22 Jul 2010 12:21:37 +0200 Subject: [PATCH] Added missing syntax highlighting for arrays. --- tools/hept_pygments/hept_pygments/__init__.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/hept_pygments/hept_pygments/__init__.py b/tools/hept_pygments/hept_pygments/__init__.py index 6ef48f5..ec20bbd 100644 --- a/tools/hept_pygments/hept_pygments/__init__.py +++ b/tools/hept_pygments/hept_pygments/__init__.py @@ -13,13 +13,14 @@ class HeptagonLexer(RegexLexer): (r'open', Keyword.Namespace), (r'returns|let|tel|automaton|state|until|unless|if|then|else|end', Keyword), + (r'map|fold|mapfold', Keyword), (r'when|merge|fby|do', Keyword), (r'present', Keyword.Reserved), (r'int|bool', Keyword.Type), (r'pre|\-\>|\+|\-|\/|=|&|not|\*|<=|>=|\^', Operator), (r'\d+', Number.Integer), (r' |\t', Whitespace), - (r'\(|\)|;|\||:|,|\]|\[|\.', Punctuation), + (r'\(|\)|;|\||:|,|\]|\[|\.|<|>', Punctuation), (r'true|false', Literal), (r'[A-Z]\w*', String.Symbol), (r'\w+', Name) @@ -39,6 +40,7 @@ class MLSLexer(RegexLexer): (r'open', Keyword.Namespace), (r'returns|let|tel|if|then|else|end', Keyword), + (r'map|fold|mapfold', Keyword), (r'when|merge|fby|do', Keyword), (r'present', Keyword.Reserved), (r'int|bool', Keyword.Type),