feat(ipkg): add parser and queries (#7277)

Co-authored-by: ObserverOfTime <chronobserver@disroot.org>
This commit is contained in:
Serhii Khoma 2024-12-30 23:48:20 +07:00 committed by GitHub
parent a295ba13d2
commit f87c8956ae
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 143 additions and 0 deletions

33
queries/ipkg/indents.scm Normal file
View file

@ -0,0 +1,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