remove unnecessary choice
This commit is contained in:
parent
03904d1cd3
commit
16d8b4c5f7
4 changed files with 43 additions and 49 deletions
|
@ -132,14 +132,12 @@ module.exports = grammar({
|
||||||
),
|
),
|
||||||
|
|
||||||
text_block: ($) =>
|
text_block: ($) =>
|
||||||
choice(
|
|
||||||
seq(
|
seq(
|
||||||
alias($._text_block_start, "|"),
|
alias($._text_block_start, "|"),
|
||||||
optional($.language),
|
optional($.language),
|
||||||
/\s/,
|
/\s/,
|
||||||
alias($._text_block_raw_text, $.raw_text),
|
alias($._text_block_raw_text, $.raw_text),
|
||||||
alias($._text_block_end, "|")
|
alias($._text_block_end, "|")
|
||||||
)
|
|
||||||
),
|
),
|
||||||
|
|
||||||
language: ($) => /\w+/,
|
language: ($) => /\w+/,
|
||||||
|
|
|
@ -9,5 +9,6 @@ if [ ! -z $(git diff --cached --name-only | grep -e "^grammar.js$") ]
|
||||||
then
|
then
|
||||||
make build
|
make build
|
||||||
make build-wasm
|
make build-wasm
|
||||||
|
git add src bindings *.wasm
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
|
@ -538,9 +538,6 @@
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
"text_block": {
|
"text_block": {
|
||||||
"type": "CHOICE",
|
|
||||||
"members": [
|
|
||||||
{
|
|
||||||
"type": "SEQ",
|
"type": "SEQ",
|
||||||
"members": [
|
"members": [
|
||||||
{
|
{
|
||||||
|
@ -587,8 +584,6 @@
|
||||||
"value": "|"
|
"value": "|"
|
||||||
}
|
}
|
||||||
]
|
]
|
||||||
}
|
|
||||||
]
|
|
||||||
},
|
},
|
||||||
"language": {
|
"language": {
|
||||||
"type": "PATTERN",
|
"type": "PATTERN",
|
||||||
|
|
Binary file not shown.
Loading…
Reference in a new issue