Skip to content

Commit

Permalink
Merge pull request #1291 from input-output-hk/fix-hls
Browse files Browse the repository at this point in the history
Work around an issue in HLS 2.6
  • Loading branch information
ch1bo authored Feb 6, 2024
2 parents 0684dbe + 0b8776a commit 1321711
Show file tree
Hide file tree
Showing 3 changed files with 27 additions and 3 deletions.
18 changes: 18 additions & 0 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 6 additions & 0 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,12 @@
url = "github:input-output-hk/cardano-haskell-packages?ref=repo";
flake = false;
};
# Use a patched 2.6.0.0 as we are also affected by
# https://github.com/haskell/haskell-language-server/issues/4046
hls = {
url = "github:cardano-scaling/haskell-language-server?ref=2.6-patched";
flake = false;
};
cardano-node.url = "github:intersectmbo/cardano-node/8.7.3";
mithril.url = "github:input-output-hk/mithril/2347.0";
};
Expand Down
6 changes: 3 additions & 3 deletions nix/hydra/shell.nix
Original file line number Diff line number Diff line change
Expand Up @@ -14,10 +14,10 @@ let

cabal = pkgs.haskell-nix.cabal-install.${compiler};

# Build HLS form our fork (see flake.nix)
haskell-language-server = pkgs.haskell-nix.tool compiler "haskell-language-server" rec {
src = pkgs.haskell-nix.sources."hls-2.6";
src = inputs.hls;
cabalProject = builtins.readFile (src + "/cabal.project");
sha256map."https://github.com/pepeiborra/ekg-json"."7a0af7a8fd38045fd15fb13445bdcc7085325460" = "sha256-fVwKxGgM0S4Kv/4egVAAiAjV7QB5PBqMVMCfsv7otIQ=";
};

libs = [
Expand Down Expand Up @@ -57,7 +57,7 @@ let
];

devInputs = if withoutDevTools then [ ] else [
# Essenetial for a good IDE
# Essential for a good IDE
haskell-language-server
# The interactive Glasgow Haskell Compiler as a Daemon
pkgs.haskellPackages.ghcid
Expand Down

0 comments on commit 1321711

Please sign in to comment.