Update GHC and tools in Nix shell/GHA (#1171)

 - Update cabal-install to 3.12.1.0
 - Update GHC to 9.6.6
 - Update HLS to 2.9.0.0
 - Update cabal-gild to 1.5.0.0
 - Update cabal-docspec to 0.0.0.20240703
 - Update hlint to 2.8.0

Also, we enable the new [`multi-repl`
feature](https://well-typed.com/blog/2023/03/cabal-multi-unit/) by
default. For example, you can now easily spawn a single `ghcid` session
for all of Consensus via

```
ghcid --target all
```

Also, this enables the (experimental) `multipleComponents` session
loading mode of HLS, which is promising to increase robustness (locally,
I haven't gotten spurious "overlapping instance" errors for example).
See eg emacs-lsp/lsp-haskell#184 or
haskell/vscode-haskell#1077 how to enable that
in your editor. Also see https://well-typed.com/blog/2024/07/hls-multi/.

Author: amesgen

.github/workflows/checks.yml

@@ -95,8 +95,8 @@ jobs:
       uses: input-output-hk/actions/haskell@latest
       id: setup-haskell
       with:
-        cabal-version: "3.10.1.0"
-        ghc-version: "9.6.5"
+        cabal-version: "3.12.1.0"
+        ghc-version: "9.6.6"
 
     - name: Install base libraries
       uses: input-output-hk/actions/base@latest

.github/workflows/ci.yml

@@ -29,16 +29,16 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ghc: ["8.10.7", "9.6.5", "9.8.2"]
+        ghc: ["8.10.7", "9.6.6", "9.8.2"]
         variant: [default, no-thunks]
         exclude:
           - variant:
               ${{ (github.event_name == 'schedule' || inputs.nothunks) && 'default' || 'no-thunks' }}
     env:
       # Modify this value to "invalidate" the Cabal cache.
-      CABAL_CACHE_VERSION: "2024-01-29"
+      CABAL_CACHE_VERSION: "2024-07-04"
 
-      CABAL: "3.10.3.0"
+      CABAL: "3.12.1.0"
 
     steps:
     - uses: actions/checkout@v4
@@ -186,7 +186,7 @@ jobs:
       if: |
         github.event_name == 'push'
         && github.ref == 'refs/heads/main'
-        && matrix.ghc=='9.6.5'
+        && matrix.ghc=='9.6.6'
       run: |
         # need for latex, dvisvgm and standalone
         sudo apt install texlive-latex-extra texlive-latex-base
@@ -201,7 +201,7 @@ jobs:
       if: |
         github.event_name == 'push'
         && github.ref == 'refs/heads/main'
-        && matrix.ghc=='9.6.5'
+        && matrix.ghc=='9.6.6'
       uses: actions/upload-artifact@v4
       with:
         name: haddocks

.github/workflows/hlint.yml

@@ -29,7 +29,7 @@ jobs:
     - name: 'Set up HLint'
       uses: haskell-actions/hlint-setup@v2
       with:
-        version: 3.6.1
+        version: 3.8
 
     - name: 'Run HLint'
       uses: haskell-actions/hlint-run@v2

cabal.project

@@ -30,6 +30,8 @@ packages:
 tests: true
 benchmarks: true
 
+multi-repl: True
+
 import: ./asserts.cabal
 
 -- We need to disable bitvec's SIMD for now, as it breaks during cross compilation.

flake.lock

@@ -33,7 +33,7 @@
     };
     # for cabal-docspec
     cabal-extras = {
-      url = "github:phadej/cabal-extras/cabal-docspec-0.0.0.20240414";
+      url = "github:phadej/cabal-extras/cabal-docspec-0.0.0.20240703";
       flake = false;
     };
     gentle-introduction = {

flake.nix

@@ -14,7 +14,7 @@ let
   };
   hsPkgs = haskell-nix.cabalProject {
     src = ./..;
-    compiler-nix-name = "ghc965";
+    compiler-nix-name = "ghc966";
     flake.variants = {
       ghc810 = { compiler-nix-name = lib.mkForce "ghc8107"; };
       ghc98 = { compiler-nix-name = lib.mkForce "ghc982"; };

nix/haskell.nix

@@ -6,7 +6,6 @@ in
 hsPkgs.shellFor {
   nativeBuildInputs = [
     pkgs.cabal
-    pkgs.cabal-multi-repl
     pkgs.cabal-docspec
     pkgs.fd
     pkgs.nixpkgs-fmt
@@ -24,7 +23,7 @@ hsPkgs.shellFor {
   # version as used in hsPkgs.
   tools = {
     haskell-language-server = {
-      src = inputs.haskellNix.inputs."hls-2.8";
+      src = inputs.haskellNix.inputs."hls-2.9";
       configureArgs = "--disable-benchmarks --disable-tests";
     };
   };

nix/shell.nix

@@ -2,7 +2,7 @@ inputs: final: prev:
 
 let
   inherit (final) lib;
-  tool-index-state = "2024-05-31T00:00:00Z";
+  tool-index-state = "2024-07-04T00:00:00Z";
   tool = name: version: other:
     final.haskell-nix.tool final.hsPkgs.args.compiler-nix-name name ({
       version = version;
@@ -12,29 +12,7 @@ in
 {
   inherit tool-index-state;
 
-  cabal = tool "cabal" "latest" { };
-
-  cabal-multi-repl = (final.haskell-nix.cabalProject {
-    # cabal master commit containing https://github.com/haskell/cabal/pull/8726
-    src = final.fetchFromGitHub {
-      owner = "haskell";
-      repo = "cabal";
-      rev = "adc283a0f06c7d24aeed67e69aca3d71c04010b3";
-      hash = "sha256-3K9WVR/tINK3PyGlXpypSpp1pguHTnolDruHNE+VvE4=";
-    };
-    index-state = tool-index-state;
-    inherit (final.hsPkgs.args) compiler-nix-name;
-    cabalProject = ''
-      packages: Cabal-syntax Cabal cabal-install-solver cabal-install
-    '';
-    configureArgs = "--disable-benchmarks --disable-tests";
-    modules = [{
-      packages.cabal-install.components.exes.cabal.postInstall = ''
-        mv $out/bin/cabal $out/bin/cabal-multi-repl
-        wrapProgram $out/bin/cabal-multi-repl --add-flags --enable-multi-repl
-      '';
-    }];
-  }).cabal-install.components.exes.cabal;
+  cabal = tool "cabal" "3.12.1.0" { };
 
   cabal-docspec = tool "cabal-docspec" "git" {
     compiler-nix-name = "ghc98";
@@ -55,7 +33,7 @@ in
 
   stylish-haskell = tool "stylish-haskell" "0.14.6.0" { };
 
-  cabal-gild = tool "cabal-gild" "1.3.1.2" { };
+  cabal-gild = tool "cabal-gild" "1.5.0.1" { };
 
   haskellBuildUtils = prev.haskellBuildUtils.override {
     inherit (final.hsPkgs.args) compiler-nix-name;

nix/tools.nix

@@ -61,7 +61,7 @@ common common-bench
   -- We use this option to avoid skewed results due to changes in cache-line
   -- alignment. See
   -- https://github.com/Bodigrim/tasty-bench#comparison-against-baseline
-  if impl(ghc >= 8.6)
+  if impl(ghc >=8.6)
     ghc-options: -fproc-alignment=64
 
 library