refactor(format): drop extra indentation for field

This commit is contained in:
Phạm Huy Hoàng 2024-03-21 20:44:35 +09:00 committed by Christian Clason
parent c28396de30
commit 722617e672
140 changed files with 2146 additions and 2766 deletions

View file

@ -43,9 +43,8 @@
parameter: (identifier) @local.definition.parameter)
(module_definition
parameter:
(operator_declaration
name: (_) @local.definition.parameter))
parameter: (operator_declaration
name: (_) @local.definition.parameter))
(operator_definition
name: (_) @local.definition.macro
@ -55,9 +54,8 @@
parameter: (identifier) @local.definition.parameter)
(operator_definition
parameter:
(operator_declaration
name: (_) @local.definition.parameter))
parameter: (operator_declaration
name: (_) @local.definition.parameter))
(quantifier_bound
(identifier) @local.definition.parameter)