blob: a596e9ebe6a533e81c2eeeac2b358884d6107d52 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
; Indentation rules for Idris .ipkg files
[
(package_declaration)
(field_declaration)
(main_declaration)
(executable_declaration)
(version_declaration)
(langversion_declaration)
] @indent.begin
(dependency_declaration
"=" @indent.begin
(dependency_list
"," @indent.begin))
(module_declaration
"=" @indent.begin
(module_list
"," @indent.begin))
(field_declaration
"=" @indent.begin)
"=" @indent.branch
(string_value) @indent.begin
[
(line_comment)
(block_comment)
] @indent.ignore
(ERROR) @indent.auto
|
