Alias 'default_case' to 'select_case'

There's not much use in the node being a different name.
This commit is contained in:
Bruno BELANYI 2024-04-09 13:09:48 +01:00
parent 8db7b053f5
commit e6a2757c51
5 changed files with 17 additions and 74 deletions

View file

@ -155,7 +155,7 @@ module.exports = grammar({
"{",
optional(trailingCommaSeparated($.select_case)),
// default *must* be the last one, enforced at parse-time...
optional(seq($.default_case, ",")),
optional(seq(alias($.default_case, $.select_case), ",")),
"}",
),