Add haskell-language-server to dev env

Along with a hie.yaml file for configuration
input-output-hk · Jan 18, 2021 · 0c05b9f · 0c05b9f
1 parent 2e0fff5
commit 0c05b9f
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/default.nix b/default.nix
@@ -24,6 +24,7 @@ let
     withHoogle = true;
     tools = {
       cabal = "3.2.0.0";
+      haskell-language-server = "0.8.0";
     };
     buildInputs = with pkgs.haskellPackages;
       [

diff --git a/hie.yaml b/hie.yaml
@@ -0,0 +1,20 @@
+cradle:
+  cabal:
+    - path: "morpho-checkpoint-node/src"
+      component: "lib:morpho-checkpoint-node"
+
+    - path: "morpho-checkpoint-node/app"
+      component: "morpho-checkpoint-node:exe:morpho-checkpoint-node"
+
+    - path: "morpho-checkpoint-node/tests/mantis-integration-tests.hs"
+      component: "morpho-checkpoint-node:test:mantis-integration-tests"
+    - path: "morpho-checkpoint-node/tests/Test/Morpho/MantisIntegration.hs"
+      component: "morpho-checkpoint-node:test:mantis-integration-tests"
+
+    - path: "morpho-checkpoint-node/tests/state-machine-tests.hs"
+      component: "morpho-checkpoint-node:test:state-machine-tests"
+    - path: "morpho-checkpoint-node/tests/Test/Morpho/QSM.hs"
+      component: "morpho-checkpoint-node:test:state-machine-tests"
+
+    - path: "morpho-checkpoint-node/tests"
+      component: "morpho-checkpoint-node:test:test"