Added nix LSP

input-output-hk · Nov 29, 2022 · baf601c · baf601c
1 parent 6e57a11
commit baf601c
Show file tree

Hide file tree

Showing 2 changed files with 94 additions and 15 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -12,10 +12,12 @@
     # texlive-nixpkgs.url = "nixpkgs/nixos-22.05";
 
     tullia.url = "github:input-output-hk/tullia";
+
+    nixLsp.url = "github:oxalica/nil";
   };
 
 
-  outputs = { self, flake-utils, nixpkgs, haskellNix, isabelle-nixpkgs, tullia }:
+  outputs = { self, flake-utils, nixpkgs, haskellNix, isabelle-nixpkgs, tullia, nixLsp }:
     let
       inherit (flake-utils.lib) eachSystem system;
 
@@ -26,7 +28,7 @@
         let
           evalSystem = evalSystem';
 
-          overlays = [ haskellNix.overlay ];
+          overlays = [ haskellNix.overlay nixLsp.overlays.nil];
 
           pkgs = import nixpkgs { inherit system overlays; inherit (haskellNix) config; };
 
@@ -89,7 +91,7 @@
             shell.tools.cabal = { inherit evalSystem; };
             shell.tools.haskell-language-server = { inherit evalSystem; };
             shell.inputsFrom = [ packages.isabelle-test ];
-            shell.nativeBuildInputs = [build-marlowe-proofs edit-marlowe-proofs build-marlowe-docs latex pkgs.haskellPackages.lhs2tex tulliaPackage];
+            shell.nativeBuildInputs = [build-marlowe-proofs edit-marlowe-proofs build-marlowe-docs latex pkgs.haskellPackages.lhs2tex tulliaPackage pkgs.nil];
           };
 
           flake = project.flake { };