From faf63903ffa05a9dadd56258d737a0243393c0f5 Mon Sep 17 00:00:00 2001 From: Christian Clason Date: Fri, 6 Jun 2025 16:41:38 +0200 Subject: fix(ipkg)!: remove parser and queries grammar repo is 404 (user removed) and no forks exist --- runtime/queries/ipkg/folds.scm | 13 --------- runtime/queries/ipkg/highlights.scm | 56 ------------------------------------- runtime/queries/ipkg/indents.scm | 33 ---------------------- runtime/queries/ipkg/injections.scm | 5 ---- runtime/queries/ipkg/locals.scm | 24 ---------------- 5 files changed, 131 deletions(-) delete mode 100644 runtime/queries/ipkg/folds.scm delete mode 100644 runtime/queries/ipkg/highlights.scm delete mode 100644 runtime/queries/ipkg/indents.scm delete mode 100644 runtime/queries/ipkg/injections.scm delete mode 100644 runtime/queries/ipkg/locals.scm (limited to 'runtime') diff --git a/runtime/queries/ipkg/folds.scm b/runtime/queries/ipkg/folds.scm deleted file mode 100644 index 271654f9a..000000000 --- a/runtime/queries/ipkg/folds.scm +++ /dev/null @@ -1,13 +0,0 @@ -[ - (source_file) - (dependency_list) - (module_list) - (dependency_declaration) - (module_declaration) - (module_declaration) - (package_declaration) - (main_declaration) - (executable_declaration) - (version_declaration) - (langversion_declaration) -] @fold diff --git a/runtime/queries/ipkg/highlights.scm b/runtime/queries/ipkg/highlights.scm deleted file mode 100644 index 13c102018..000000000 --- a/runtime/queries/ipkg/highlights.scm +++ /dev/null @@ -1,56 +0,0 @@ -; Keywords -"package" @keyword.import - -[ - "authors" - "maintainers" - "license" - "brief" - "readme" - "homepage" - "sourceloc" - "bugtracker" - "opts" - "sourcedir" - "builddir" - "outputdir" - "prebuild" - "postbuild" - "preinstall" - "postinstall" - "preclean" - "postclean" - "version" - "langversion" - "modules" - "main" - "executable" - "depends" -] @keyword - -[ - "=" - (version_range_op) -] @operator - -"," @punctuation.delimiter - -; Field values -(string_value) @string - -(boolean_value) @boolean - -; Version numbers and ranges -(version_number) @string.special - -[ - (dependency_item) - (package_name) - (module_name) -] @module - -; Comments -[ - (line_comment) - (block_comment) -] @comment @spell diff --git a/runtime/queries/ipkg/indents.scm b/runtime/queries/ipkg/indents.scm deleted file mode 100644 index a596e9ebe..000000000 --- a/runtime/queries/ipkg/indents.scm +++ /dev/null @@ -1,33 +0,0 @@ -; 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 diff --git a/runtime/queries/ipkg/injections.scm b/runtime/queries/ipkg/injections.scm deleted file mode 100644 index 3cd6aac8e..000000000 --- a/runtime/queries/ipkg/injections.scm +++ /dev/null @@ -1,5 +0,0 @@ -([ - (line_comment) - (block_comment) -] @injection.content - (#set! injection.language "comment")) diff --git a/runtime/queries/ipkg/locals.scm b/runtime/queries/ipkg/locals.scm deleted file mode 100644 index c1970fcdf..000000000 --- a/runtime/queries/ipkg/locals.scm +++ /dev/null @@ -1,24 +0,0 @@ -; Scopes -(source_file) @local.scope - -; Definitions -(package_declaration - (package_name) @local.definition.import) - -(module_declaration - (module_list - (module_name) @local.definition.namespace)) - -(main_declaration - (module_name) @local.definition.import) - -(executable_declaration - (package_name) @local.definition.import) - -; References -(dependency_declaration - (dependency_list - (dependency_item - (package_name) @local.reference))) - -(module_name) @local.reference -- cgit v1.2.3-70-g09d2