diff options
author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-25 13:34:10 +0100 |
---|---|---|
committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-04-25 13:34:10 +0100 |
commit | 7408a6b9aa210f06912d18cbf19b703446087c0a (patch) | |
tree | 9c422a71a8f9c84c9758b92ae8ce0cd84a789318 /lexer.py | |
parent | 6ca26199d5b57ebc0c33d1009d8bff8be92142c1 (diff) |
Give examples for phase 1.
Diffstat (limited to 'lexer.py')
-rw-r--r-- | lexer.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ class SystemTLexer(OcamlLexer): aliases = ['syst'] filenames = ['*.syst'] - EXTRA_KEYWORDS = ['primrec', 'fold', 'foldmatch', 'roll'] + EXTRA_KEYWORDS = ['primrec', 'fold', 'foldmatch', 'roll', 'roll2'] def get_tokens_unprocessed(self, text): for index, token, value in OcamlLexer.get_tokens_unprocessed(self, text): |