2023-07-15 22:58:17 +02:00
|
|
|
;; ----------------------------------------------------------------------------
|
|
|
|
;; Literals and comments
|
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
(line_comment) @comment.line
|
|
|
|
|
|
|
|
(block_comment) @comment.block
|
|
|
|
|
|
|
|
(xml_doc) @comment.block.documentation
|
|
|
|
|
|
|
|
(const
|
|
|
|
[
|
|
|
|
(_) @constant
|
|
|
|
(unit) @constant.builtin
|
|
|
|
])
|
2023-07-15 22:58:17 +02:00
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
(primary_constr_args (_) @variable.parameter)
|
|
|
|
|
|
|
|
((identifier_pattern (long_identifier (identifier) @special))
|
|
|
|
(#match? @special "^\_.*"))
|
|
|
|
|
|
|
|
((long_identifier
|
|
|
|
(identifier)+
|
|
|
|
.
|
|
|
|
(identifier) @variable.other.member))
|
2023-07-15 22:58:17 +02:00
|
|
|
|
|
|
|
;; ----------------------------------------------------------------------------
|
|
|
|
;; Punctuation
|
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
(wildcard_pattern) @string.special
|
|
|
|
|
|
|
|
(type_name type_name: (_) @type)
|
|
|
|
|
|
|
|
[
|
|
|
|
(type)
|
|
|
|
(atomic_type)
|
|
|
|
] @type
|
|
|
|
|
|
|
|
(member_signature
|
|
|
|
.
|
|
|
|
(identifier) @function.method
|
|
|
|
(curried_spec
|
|
|
|
(arguments_spec
|
|
|
|
"*"* @operator
|
|
|
|
(argument_spec
|
|
|
|
(argument_name_spec
|
|
|
|
"?"? @special
|
|
|
|
name: (_) @variable.parameter)))))
|
|
|
|
|
|
|
|
(union_type_case) @constant
|
|
|
|
|
|
|
|
(rules
|
|
|
|
(rule
|
|
|
|
pattern: (_) @constant
|
|
|
|
block: (_)))
|
|
|
|
|
|
|
|
(identifier_pattern
|
|
|
|
.
|
|
|
|
(_) @constant
|
|
|
|
.
|
|
|
|
(_) @variable)
|
|
|
|
|
|
|
|
(fsi_directive_decl . (string) @namespace)
|
|
|
|
|
|
|
|
(import_decl . (_) @namespace)
|
|
|
|
(named_module
|
|
|
|
name: (_) @namespace)
|
|
|
|
(namespace
|
|
|
|
name: (_) @namespace)
|
|
|
|
(module_defn
|
|
|
|
.
|
|
|
|
(_) @namespace)
|
|
|
|
|
|
|
|
(ce_expression
|
|
|
|
.
|
|
|
|
(_) @function.macro)
|
|
|
|
|
|
|
|
(field_initializer
|
|
|
|
field: (_) @variable.other.member)
|
|
|
|
|
|
|
|
(record_fields
|
|
|
|
(record_field
|
|
|
|
.
|
|
|
|
(identifier) @variable.other.member))
|
|
|
|
|
|
|
|
(dot_expression
|
|
|
|
base: (_) @namespace
|
|
|
|
field: (_) @variable.other.member)
|
|
|
|
|
|
|
|
(value_declaration_left . (_) @variable)
|
|
|
|
|
|
|
|
(function_declaration_left
|
|
|
|
. (_) @function
|
|
|
|
[
|
|
|
|
(argument_patterns)
|
|
|
|
(argument_patterns (long_identifier (identifier)))
|
|
|
|
] @variable.parameter)
|
|
|
|
|
|
|
|
(member_defn
|
|
|
|
(method_or_prop_defn
|
|
|
|
[
|
|
|
|
(property_or_ident) @function
|
|
|
|
(property_or_ident
|
|
|
|
instance: (identifier) @variable.builtin
|
|
|
|
method: (identifier) @function.method)
|
|
|
|
]
|
|
|
|
args: (_)* @variable.parameter))
|
|
|
|
|
|
|
|
(application_expression
|
|
|
|
.
|
|
|
|
[
|
|
|
|
(long_identifier_or_op [
|
|
|
|
(long_identifier (identifier)* (identifier) @function)
|
|
|
|
(identifier) @function
|
|
|
|
])
|
|
|
|
(typed_expression . (long_identifier_or_op (long_identifier (identifier)* . (identifier) @function.call)))
|
|
|
|
(dot_expression base: (_) @variable.other.member field: (_) @function)
|
|
|
|
] @function)
|
|
|
|
|
|
|
|
((infix_expression
|
|
|
|
.
|
|
|
|
(_)
|
|
|
|
.
|
|
|
|
(infix_op) @operator
|
|
|
|
.
|
|
|
|
(_) @function
|
|
|
|
)
|
|
|
|
(#eq? @operator "|>")
|
|
|
|
)
|
|
|
|
|
|
|
|
((infix_expression
|
|
|
|
.
|
|
|
|
(_) @function
|
|
|
|
.
|
|
|
|
(infix_op) @operator
|
|
|
|
.
|
|
|
|
(_)
|
|
|
|
)
|
|
|
|
(#eq? @operator "<|")
|
|
|
|
)
|
|
|
|
|
|
|
|
[
|
|
|
|
(xint)
|
|
|
|
(int)
|
|
|
|
(int16)
|
|
|
|
(uint16)
|
|
|
|
(int32)
|
|
|
|
(uint32)
|
|
|
|
(int64)
|
|
|
|
(uint64)
|
|
|
|
(nativeint)
|
|
|
|
(unativeint)
|
|
|
|
] @constant.numeric.integer
|
|
|
|
|
|
|
|
[
|
|
|
|
(ieee32)
|
|
|
|
(ieee64)
|
|
|
|
(float)
|
|
|
|
(decimal)
|
|
|
|
] @constant.numeric.float
|
|
|
|
|
|
|
|
(bool) @constant.builtin.boolean
|
|
|
|
|
|
|
|
([
|
|
|
|
(string)
|
|
|
|
(triple_quoted_string)
|
|
|
|
(verbatim_string)
|
|
|
|
(char)
|
|
|
|
] @string)
|
|
|
|
|
|
|
|
(compiler_directive_decl) @keyword.directive
|
|
|
|
|
|
|
|
(attribute) @attribute
|
|
|
|
|
2023-07-15 22:58:17 +02:00
|
|
|
[
|
|
|
|
"("
|
|
|
|
")"
|
|
|
|
"{"
|
|
|
|
"}"
|
|
|
|
"["
|
|
|
|
"]"
|
|
|
|
"[|"
|
|
|
|
"|]"
|
2024-08-09 17:34:08 +02:00
|
|
|
"{|"
|
|
|
|
"|}"
|
2023-07-15 22:58:17 +02:00
|
|
|
"[<"
|
|
|
|
">]"
|
|
|
|
] @punctuation.bracket
|
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
(format_string_eval
|
|
|
|
[
|
|
|
|
"{"
|
|
|
|
"}"
|
|
|
|
] @punctuation.special)
|
|
|
|
|
2023-07-15 22:58:17 +02:00
|
|
|
[
|
2024-08-09 17:34:08 +02:00
|
|
|
","
|
2023-07-15 22:58:17 +02:00
|
|
|
";"
|
|
|
|
] @punctuation.delimiter
|
|
|
|
|
|
|
|
[
|
2024-08-09 17:34:08 +02:00
|
|
|
"|"
|
2023-07-15 22:58:17 +02:00
|
|
|
"="
|
|
|
|
">"
|
|
|
|
"<"
|
|
|
|
"-"
|
|
|
|
"~"
|
2024-08-09 17:34:08 +02:00
|
|
|
"->"
|
|
|
|
"<-"
|
|
|
|
"&&"
|
|
|
|
"||"
|
|
|
|
":>"
|
|
|
|
":?>"
|
2023-07-15 22:58:17 +02:00
|
|
|
(infix_op)
|
|
|
|
(prefix_op)
|
|
|
|
] @operator
|
|
|
|
|
|
|
|
[
|
|
|
|
"if"
|
|
|
|
"then"
|
|
|
|
"else"
|
|
|
|
"elif"
|
|
|
|
"when"
|
|
|
|
"match"
|
|
|
|
"match!"
|
2024-08-09 17:34:08 +02:00
|
|
|
] @keyword.control.conditional
|
|
|
|
|
|
|
|
[
|
2023-07-15 22:58:17 +02:00
|
|
|
"and"
|
|
|
|
"or"
|
2024-08-09 17:34:08 +02:00
|
|
|
"not"
|
|
|
|
"upcast"
|
|
|
|
"downcast"
|
|
|
|
] @keyword.operator
|
2023-07-15 22:58:17 +02:00
|
|
|
|
|
|
|
[
|
|
|
|
"return"
|
|
|
|
"return!"
|
2024-08-09 17:34:08 +02:00
|
|
|
"yield"
|
|
|
|
"yield!"
|
2023-07-15 22:58:17 +02:00
|
|
|
] @keyword.control.return
|
|
|
|
|
|
|
|
[
|
|
|
|
"for"
|
|
|
|
"while"
|
2024-08-09 17:34:08 +02:00
|
|
|
"downto"
|
|
|
|
"to"
|
|
|
|
] @keyword.control.repeat
|
2023-07-15 22:58:17 +02:00
|
|
|
|
|
|
|
|
|
|
|
[
|
|
|
|
"open"
|
|
|
|
"#r"
|
|
|
|
"#load"
|
|
|
|
] @keyword.control.import
|
|
|
|
|
|
|
|
[
|
|
|
|
"abstract"
|
|
|
|
"delegate"
|
|
|
|
"static"
|
|
|
|
"inline"
|
|
|
|
"mutable"
|
|
|
|
"override"
|
|
|
|
"rec"
|
2024-08-09 17:34:08 +02:00
|
|
|
"global"
|
|
|
|
(access_modifier)
|
2023-07-15 22:58:17 +02:00
|
|
|
] @keyword.storage.modifier
|
|
|
|
|
|
|
|
[
|
|
|
|
"let"
|
|
|
|
"let!"
|
2024-08-09 17:34:08 +02:00
|
|
|
"use"
|
|
|
|
"use!"
|
2023-07-15 22:58:17 +02:00
|
|
|
"member"
|
2024-08-09 17:34:08 +02:00
|
|
|
] @keyword.function
|
|
|
|
|
|
|
|
[
|
|
|
|
"enum"
|
2023-07-15 22:58:17 +02:00
|
|
|
"type"
|
2024-08-09 17:34:08 +02:00
|
|
|
"inherit"
|
|
|
|
"interface"
|
|
|
|
] @keyword.storage.type
|
|
|
|
|
|
|
|
(try_expression
|
|
|
|
[
|
|
|
|
"try"
|
|
|
|
"with"
|
|
|
|
"finally"
|
|
|
|
] @keyword.control.exception)
|
|
|
|
|
|
|
|
((identifier) @keyword.control.exception
|
|
|
|
(#any-of? @keyword.control.exception "failwith" "failwithf" "raise" "reraise"))
|
2023-07-15 22:58:17 +02:00
|
|
|
|
|
|
|
[
|
|
|
|
"as"
|
|
|
|
"assert"
|
|
|
|
"begin"
|
2024-08-09 17:34:08 +02:00
|
|
|
"end"
|
|
|
|
"done"
|
2023-07-15 22:58:17 +02:00
|
|
|
"default"
|
2024-08-09 17:34:08 +02:00
|
|
|
"in"
|
2023-07-15 22:58:17 +02:00
|
|
|
"do"
|
|
|
|
"do!"
|
|
|
|
"event"
|
|
|
|
"field"
|
|
|
|
"fun"
|
|
|
|
"function"
|
|
|
|
"get"
|
2024-08-09 17:34:08 +02:00
|
|
|
"set"
|
2023-07-15 22:58:17 +02:00
|
|
|
"lazy"
|
|
|
|
"new"
|
|
|
|
"of"
|
|
|
|
"param"
|
|
|
|
"property"
|
|
|
|
"struct"
|
|
|
|
"val"
|
2024-08-09 17:34:08 +02:00
|
|
|
"module"
|
|
|
|
"namespace"
|
2023-07-15 22:58:17 +02:00
|
|
|
"with"
|
|
|
|
] @keyword
|
|
|
|
|
|
|
|
[
|
2024-08-09 17:34:08 +02:00
|
|
|
"null"
|
|
|
|
] @constant.builtin
|
2023-07-15 22:58:17 +02:00
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
(match_expression "with" @keyword.control.conditional)
|
2023-07-15 22:58:17 +02:00
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
((type
|
|
|
|
(long_identifier (identifier) @type.builtin))
|
|
|
|
(#any-of? @type.builtin "bool" "byte" "sbyte" "int16" "uint16" "int" "uint" "int64" "uint64" "nativeint" "unativeint" "decimal" "float" "double" "float32" "single" "char" "string" "unit"))
|
2023-07-15 22:58:17 +02:00
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
(preproc_if
|
|
|
|
[
|
|
|
|
"#if" @keyword.directive
|
|
|
|
"#endif" @keyword.directive
|
|
|
|
]
|
|
|
|
condition: (_)? @keyword.directive)
|
2023-07-15 22:58:17 +02:00
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
(preproc_else
|
|
|
|
"#else" @keyword.directive)
|
2023-07-15 22:58:17 +02:00
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
((long_identifier
|
|
|
|
(identifier)+ @namespace
|
|
|
|
.
|
|
|
|
(identifier)))
|
2023-07-15 22:58:17 +02:00
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
(long_identifier_or_op
|
|
|
|
(op_identifier) @operator)
|
2023-07-15 22:58:17 +02:00
|
|
|
|
2024-08-09 17:34:08 +02:00
|
|
|
((identifier) @namespace
|
|
|
|
(#any-of? @namespace "Array" "Async" "Directory" "File" "List" "Option" "Path" "Map" "Set" "Lazy" "Seq" "Task" "String" "Result" ))
|