diff options
Diffstat (limited to 'lexer.py')
-rw-r--r-- | lexer.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -7,9 +7,9 @@ from pathlib import Path class SystemTLexer(OcamlLexer): name = 'System T' aliases = ['syst'] - filenames = ['*.syst'] # just to have one if you whant to use + filenames = ['*.syst'] - EXTRA_KEYWORDS = ['primrec', 'prl', 'prr', 'fold'] + EXTRA_KEYWORDS = ['primrec', 'fold', 'foldmatch', 'roll'] def get_tokens_unprocessed(self, text): for index, token, value in OcamlLexer.get_tokens_unprocessed(self, text): |