From 2a04e3d41cec0ae8e1e884bebb93cadaa8a30054 Mon Sep 17 00:00:00 2001 From: Giulio De Pasquale Date: Mon, 26 Jun 2023 20:50:33 +0200 Subject: [PATCH] helix: remove souffle --- roles/home/helix.nix | 70 -------------------------------------------- 1 file changed, 70 deletions(-) diff --git a/roles/home/helix.nix b/roles/home/helix.nix index c2d0772..04430f8 100644 --- a/roles/home/helix.nix +++ b/roles/home/helix.nix @@ -35,76 +35,6 @@ [[language]] name = "python" formatter = { command = "black", args = [ "-" ] } - - [[language]] - name = "souffle" - scope = "source.souffle" - roots = [] - file-types = [ "dl" ] - comment-token = "//" - indent = { tab-width = 2, unit = " " } - - [[grammar]] - name = "souffle" - source = { git = "https://github.com/langston-barrett/tree-sitter-souffle", rev = "8cc32019f6aa8d7ef98ff5abc643c8f35dfc1099" } - ''; - - file.".config/helix/runtime/queries/souffle/highlights.scm".text = '' - [ - (pragma) @keyword - (functor_decl) @keyword - (component_decl) @keyword - (component_init) @keyword - (directive) @keyword - (monotonic_rule) @keyword - (subsumptive_rule) @keyword - (fact) @keyword - (relation_decl) @keyword - (type_decl) @keyword - (legacy_type_decl) @keyword - ] @keyword - - [ - (primitive_type) @type - (type_synonym) @type - (subtype) @type - (type_union) @type - (type_record) @type - (adt) @type - (legacy_bare_type_decl) @type - ] @type - - [ - (block_comment) @comment - (line_comment) @comment - ] @comment - - [ - (string) @string - ] @string - - [ - (number) @constant.numeric - (integer) @constant.numeric - (decimal) @constant.numeric - (unsigned) @constant.numeric - (hex) @constant.numeric - (binary) @constant.numeric - (float) @constant.numeric - (ipv4) @constant.numeric - ] @constant.numeric - - [ - (ident) @variable - ] @variable - - [ - (qualified_name) @entity - ] @entity - - [ - (intrinsic_functor) @operator - ] @operator ''; packages = with pkgs.unstablePkgs; [