JIe
2bb7059579
Some checks failed
Detach Plugins / check (FlyGrep.vim) (push) Has been cancelled
Detach Plugins / check (GitHub.vim) (push) Has been cancelled
Detach Plugins / check (JavaUnit.vim) (push) Has been cancelled
Detach Plugins / check (SourceCounter.vim) (push) Has been cancelled
Detach Plugins / check (cpicker.nvim) (push) Has been cancelled
Detach Plugins / check (dein-ui.vim) (push) Has been cancelled
Detach Plugins / check (git.vim) (push) Has been cancelled
Detach Plugins / check (iedit.vim) (push) Has been cancelled
Detach Plugins / check (scrollbar.vim) (push) Has been cancelled
Detach Plugins / check (vim-chat) (push) Has been cancelled
Detach Plugins / check (vim-cheat) (push) Has been cancelled
Detach Plugins / check (vim-todo) (push) Has been cancelled
Detach Plugins / check (xmake.vim) (push) Has been cancelled
test / Linux (nvim, nightly) (push) Has been cancelled
test / Linux (nvim, v0.3.8) (push) Has been cancelled
test / Linux (nvim, v0.4.0) (push) Has been cancelled
test / Linux (nvim, v0.4.2) (push) Has been cancelled
test / Linux (nvim, v0.4.3) (push) Has been cancelled
test / Linux (nvim, v0.4.4) (push) Has been cancelled
test / Linux (nvim, v0.5.0) (push) Has been cancelled
test / Linux (nvim, v0.5.1) (push) Has been cancelled
test / Linux (nvim, v0.6.0) (push) Has been cancelled
test / Linux (nvim, v0.6.1) (push) Has been cancelled
test / Linux (nvim, v0.7.0) (push) Has been cancelled
test / Linux (nvim, v0.7.2) (push) Has been cancelled
test / Linux (nvim, v0.8.0) (push) Has been cancelled
test / Linux (nvim, v0.8.1) (push) Has been cancelled
test / Linux (nvim, v0.8.2) (push) Has been cancelled
test / Linux (nvim, v0.8.3) (push) Has been cancelled
test / Linux (nvim, v0.9.0) (push) Has been cancelled
test / Linux (nvim, v0.9.1) (push) Has been cancelled
test / Linux (true, vim, v7.4.052) (push) Has been cancelled
test / Linux (true, vim, v7.4.1689) (push) Has been cancelled
test / Linux (true, vim, v7.4.629) (push) Has been cancelled
test / Linux (true, vim, v8.0.0027) (push) Has been cancelled
test / Linux (true, vim, v8.0.0183) (push) Has been cancelled
test / Linux (vim, nightly) (push) Has been cancelled
test / Linux (vim, v8.0.0184) (push) Has been cancelled
test / Linux (vim, v8.0.1453) (push) Has been cancelled
test / Linux (vim, v8.1.2269) (push) Has been cancelled
test / Linux (vim, v8.2.2434) (push) Has been cancelled
test / Linux (vim, v8.2.3995) (push) Has been cancelled
test / Windows (nvim, nightly) (push) Has been cancelled
test / Windows (nvim, v0.3.8) (push) Has been cancelled
test / Windows (nvim, v0.4.2) (push) Has been cancelled
test / Windows (nvim, v0.4.3) (push) Has been cancelled
test / Windows (nvim, v0.4.4) (push) Has been cancelled
test / Windows (nvim, v0.5.0) (push) Has been cancelled
test / Windows (nvim, v0.5.1) (push) Has been cancelled
test / Windows (nvim, v0.6.0) (push) Has been cancelled
test / Windows (nvim, v0.6.1) (push) Has been cancelled
test / Windows (nvim, v0.7.0) (push) Has been cancelled
test / Windows (nvim, v0.7.2) (push) Has been cancelled
test / Windows (nvim, v0.8.0) (push) Has been cancelled
test / Windows (nvim, v0.8.1) (push) Has been cancelled
test / Windows (nvim, v0.8.2) (push) Has been cancelled
test / Windows (nvim, v0.8.3) (push) Has been cancelled
test / Windows (nvim, v0.9.0) (push) Has been cancelled
test / Windows (nvim, v0.9.1) (push) Has been cancelled
test / Windows (vim, nightly) (push) Has been cancelled
test / Windows (vim, v7.4.1185) (push) Has been cancelled
test / Windows (vim, v7.4.1689) (push) Has been cancelled
test / Windows (vim, v8.0.0027) (push) Has been cancelled
test / Windows (vim, v8.0.1453) (push) Has been cancelled
test / Windows (vim, v8.1.2269) (push) Has been cancelled
test / Windows (vim, v8.2.2434) (push) Has been cancelled
test / Windows (vim, v8.2.3995) (push) Has been cancelled
docker / docker (push) Has been cancelled
mirror / check (coding) (push) Has been cancelled
mirror / check (gitee) (push) Has been cancelled
mirror / check (gitlab) (push) Has been cancelled
172 lines
2.3 KiB
Scheme
172 lines
2.3 KiB
Scheme
;; Text
|
|
|
|
;; Imports
|
|
|
|
(missing_import) @include
|
|
|
|
(local_import) @string.special.path
|
|
|
|
(http_import) @string @text.uri
|
|
|
|
[
|
|
(env_variable)
|
|
(import_hash)
|
|
] @string.special
|
|
|
|
[ (import_as_location) (import_as_text) ] @type
|
|
|
|
;; Types
|
|
|
|
([
|
|
(let_binding (label) @type)
|
|
(union_type_entry (label) @type)
|
|
] (#lua-match? @type "^%u"))
|
|
|
|
((primitive_expression
|
|
(identifier (label) @type)
|
|
(selector (label) @type)) @variable
|
|
(#vim-match? @variable "^[A-Z][^.]*$"))
|
|
|
|
;; Parameters
|
|
|
|
(lambda_expression label: (label) @parameter)
|
|
|
|
;; Variables
|
|
|
|
(label) @variable
|
|
|
|
(identifier [
|
|
(label) @variable
|
|
(de_bruijn_index) @operator
|
|
])
|
|
|
|
(let_binding label: (label) @variable)
|
|
|
|
; Fields
|
|
|
|
(record_literal_entry (label) @field)
|
|
|
|
(record_type_entry (label) @field)
|
|
|
|
(selector
|
|
(selector_dot)
|
|
(_) @field)
|
|
|
|
;; Keywords
|
|
|
|
(env_import) @keyword
|
|
|
|
[
|
|
"let"
|
|
"in"
|
|
"assert"
|
|
] @keyword
|
|
|
|
[
|
|
"using"
|
|
"as"
|
|
"with"
|
|
] @keyword.operator
|
|
|
|
;; Operators
|
|
|
|
[
|
|
(type_operator)
|
|
(assign_operator)
|
|
(lambda_operator)
|
|
(arrow_operator)
|
|
(infix_operator)
|
|
(completion_operator)
|
|
(assert_operator)
|
|
(forall_operator)
|
|
(empty_record_literal)
|
|
] @operator
|
|
|
|
;; Builtins
|
|
|
|
(builtin_function) @function.builtin
|
|
(builtin [
|
|
"Natural"
|
|
"Natural/build"
|
|
"Natural/fold"
|
|
"Natural/isZero"
|
|
"Natural/even"
|
|
"Natural/odd"
|
|
"Natural/subtract"
|
|
"Natural/toInteger"
|
|
"Natural/show"
|
|
"Integer"
|
|
"Integer/toDouble"
|
|
"Integer/show"
|
|
"Integer/negate"
|
|
"Integer/clamp"
|
|
"Double"
|
|
"Double/show"
|
|
"List"
|
|
"List/build"
|
|
"List/fold"
|
|
"List/length"
|
|
"List/head"
|
|
"List/last"
|
|
"List/indexed"
|
|
"List/reverse"
|
|
"Text"
|
|
"Text/show"
|
|
"Text/replace"
|
|
"Optional"
|
|
"Date"
|
|
"Time"
|
|
"TimeZone"
|
|
"Type"
|
|
"Kind"
|
|
"Sort"
|
|
] @type.builtin)
|
|
|
|
;; Punctuation
|
|
|
|
[ "," "|" ] @punctuation.delimiter
|
|
(selector_dot) @punctuation.delimiter
|
|
|
|
[ "{" "}" ] @punctuation.bracket
|
|
|
|
[ "[" "]" ] @punctuation.bracket
|
|
|
|
[ "(" ")" ] @punctuation.bracket
|
|
|
|
[ "<" ">" ] @punctuation.bracket
|
|
|
|
;; Conditionals
|
|
|
|
[
|
|
"if"
|
|
"then"
|
|
"else"
|
|
] @conditional
|
|
|
|
;; Literals
|
|
|
|
(text_literal) @string
|
|
(interpolation "}" @string)
|
|
[
|
|
(double_quote_escaped)
|
|
(single_quote_escaped)
|
|
] @string.escape
|
|
|
|
[
|
|
(integer_literal)
|
|
(natural_literal)
|
|
] @number
|
|
|
|
(double_literal) @float
|
|
|
|
(boolean_literal) @boolean
|
|
|
|
(builtin "None") @constant.builtin
|
|
|
|
;; Comments
|
|
|
|
[
|
|
(line_comment)
|
|
(block_comment)
|
|
] @comment @spell
|