summaryrefslogtreecommitdiff
path: root/lexer.py
diff options
context:
space:
mode:
authorChloe Brown <chloe.brown.00@outlook.com>2025-04-25 13:34:10 +0100
committerChloe Brown <chloe.brown.00@outlook.com>2025-04-25 13:34:10 +0100
commit7408a6b9aa210f06912d18cbf19b703446087c0a (patch)
tree9c422a71a8f9c84c9758b92ae8ce0cd84a789318 /lexer.py
parent6ca26199d5b57ebc0c33d1009d8bff8be92142c1 (diff)
Give examples for phase 1.
Diffstat (limited to 'lexer.py')
-rw-r--r--lexer.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/lexer.py b/lexer.py
index a16a38a..6963b77 100644
--- a/lexer.py
+++ b/lexer.py
@@ -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):