From 9e9b91000c2a6ec5acca819a2780a566c42c8d30 Mon Sep 17 00:00:00 2001 From: Luke Maurer Date: Thu, 17 Jul 2025 12:54:40 +0100 Subject: [PATCH] Support OxCaml syntactic tokens in syntax highlighter --- src/syntax_highlighter/syntax_highlighter.ml | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/src/syntax_highlighter/syntax_highlighter.ml b/src/syntax_highlighter/syntax_highlighter.ml index 2a4732f831..01bbcafe2e 100644 --- a/src/syntax_highlighter/syntax_highlighter.ml +++ b/src/syntax_highlighter/syntax_highlighter.ml @@ -7,6 +7,8 @@ let tag_of_token (tok : Parser.token) = | AND -> "AND" | AS -> "AS" | ASSERT -> "ASSERT" + | AT -> "AT" + | ATAT -> "ATAT" | BACKQUOTE -> "BACKQUOTE" | BANG -> "BANG" | BAR -> "BAR" @@ -19,6 +21,7 @@ let tag_of_token (tok : Parser.token) = | COLONCOLON -> "COLONCOLON" | COLONEQUAL -> "COLONEQUAL" | COLONGREATER -> "COLONGREATER" + | COLONRBRACKET -> "COLONRBRACKET" | COMMA -> "COMMA" | COMMENT _ -> "COMMENT" | CONSTRAINT -> "CONSTRAINT" @@ -27,6 +30,7 @@ let tag_of_token (tok : Parser.token) = | DONE -> "DONE" | DOT -> "DOT" | DOTDOT -> "DOTDOT" + | DOTHASH -> "DOTHASH" | DOWNTO -> "DOWNTO" | ELSE -> "ELSE" | END -> "END" @@ -34,6 +38,7 @@ let tag_of_token (tok : Parser.token) = | EOL -> "EOL" | EQUAL -> "EQUAL" | EXCEPTION -> "EXCEPTION" + | EXCLAVE -> "EXCLAVE" | EXTERNAL -> "EXTERNAL" | FALSE -> "FALSE" | FLOAT _ -> "FLOAT" @@ -41,9 +46,15 @@ let tag_of_token (tok : Parser.token) = | FUN -> "FUN" | FUNCTION -> "FUNCTION" | FUNCTOR -> "FUNCTOR" + | GLOBAL -> "GLOBAL" | GREATER -> "GREATER" | GREATERRBRACE -> "GREATERRBRACE" | GREATERRBRACKET -> "GREATERRBRACKET" + | HASH_FLOAT _ -> "HASH_FLOAT" + | HASH_INT _ -> "HASH_INT" + | HASH_SUFFIX -> "HASH_SUFFIX" + | HASHLBRACE -> "HASHLBRACE" + | HASHLPAREN -> "HASHLPAREN" | IF -> "IF" | IN -> "IN" | INCLUDE -> "INCLUDE" @@ -55,6 +66,8 @@ let tag_of_token (tok : Parser.token) = | INHERIT -> "INHERIT" | INITIALIZER -> "INITIALIZER" | INT _ -> "INT" + | KIND_ABBREV -> "KIND_ABBREV" + | KIND_OF -> "KIND_OF" | LABEL _ -> "LABEL" | LAZY -> "LAZY" | LBRACE -> "LBRACE" @@ -64,6 +77,7 @@ let tag_of_token (tok : Parser.token) = | LBRACKETATAT -> "LBRACKETATAT" | LBRACKETATATAT -> "LBRACKETATATAT" | LBRACKETBAR -> "LBRACKETBAR" + | LBRACKETCOLON -> "LBRACKETCOLON" | LBRACKETGREATER -> "LBRACKETGREATER" | LBRACKETLESS -> "LBRACKETLESS" | LBRACKETPERCENT -> "LBRACKETPERCENT" @@ -73,21 +87,25 @@ let tag_of_token (tok : Parser.token) = | LET -> "LET" | LIDENT "failwith" -> "failwith" | LIDENT _ -> "LIDENT" + | LOCAL -> "LOCAL" | LPAREN -> "LPAREN" | MATCH -> "MATCH" | METHOD -> "METHOD" | MINUS -> "MINUS" | MINUSDOT -> "MINUSDOT" | MINUSGREATER -> "MINUSGREATER" + | MOD -> "MOD" | MODULE -> "MODULE" | MUTABLE -> "MUTABLE" | NEW -> "NEW" | NONREC -> "NONREC" | OBJECT -> "OBJECT" | OF -> "OF" + | ONCE -> "ONCE" | OPEN -> "OPEN" | OPTLABEL _ -> "OPTLABEL" | OR -> "OR" + | OVERWRITE -> "OVERWRITE" | PERCENT -> "PERCENT" | PLUS -> "PLUS" | PLUSDOT -> "PLUSDOT" @@ -103,6 +121,7 @@ let tag_of_token (tok : Parser.token) = | SEMI -> "SEMI" | SEMISEMI -> "SEMISEMI" | SIG -> "SIG" + | STACK -> "STACK" | STAR -> "STAR" | STRING _ -> "STRING" | STRUCT -> "STRUCT" @@ -114,6 +133,7 @@ let tag_of_token (tok : Parser.token) = | TYPE -> "TYPE" | UIDENT _ -> "UIDENT" | UNDERSCORE -> "UNDERSCORE" + | UNIQUE -> "UNIQUE" | VAL -> "VAL" | VIRTUAL -> "VIRTUAL" | WHEN -> "WHEN"