정시원andgithub-actions[bot]
83ce26c209
* add minimal Ferro tree-sitter grammar * add temporary tree-sitter generation workflow * generate Ferro tree-sitter parser * drop custom grammar in favor of Rust grammar reuse * remove temporary tree-sitter generation workflow * add Zed extension manifest for Ferro * configure Ferro files for Zed * add Ferro syntax highlighting queries * remove generated custom tree-sitter parser * remove generated custom tree-sitter node types * tighten Ferro Zed highlight queries * add minimal Ferro tree-sitter grammar * point Zed at Ferro grammar * refresh Ferro highlights --------- Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
121 lines
1.9 KiB
JSON
121 lines
1.9 KiB
JSON
[
|
|
{
|
|
"type": "block_comment",
|
|
"named": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "block_comment",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "source_file",
|
|
"named": true,
|
|
"root": true,
|
|
"fields": {},
|
|
"children": {
|
|
"multiple": true,
|
|
"required": false,
|
|
"types": [
|
|
{
|
|
"type": "block_comment",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "builtin",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "builtin_type",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "char_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "integer_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "keyword",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "line_comment",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "operator",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "punctuation",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "string_literal",
|
|
"named": true
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "*/",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "/*",
|
|
"named": false
|
|
},
|
|
{
|
|
"type": "builtin",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "builtin_type",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "char_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "identifier",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "integer_literal",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "keyword",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "line_comment",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "operator",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "punctuation",
|
|
"named": true
|
|
},
|
|
{
|
|
"type": "string_literal",
|
|
"named": true
|
|
}
|
|
] |