update flakes to compile with ghc928 and ghc962 (#3641)

* update flakes, fix implicit-hie-cradle

* bump apply-refact, 0.12 -> 0.13

* use 'implicit-hie-cradle-0.5.0.1' instead of '0.4.0.2'
(there doesn't appear to be any functional changes)

---------

Co-authored-by: Michael Peyton Jones <[email protected]>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Author: 3 people

configuration-ghc-92.nix

@@ -19,7 +19,7 @@ let
           doCheck = false;
         });
     } // (builtins.mapAttrs (_: drv: disableLibraryProfiling drv) {
-      apply-refact = hsuper.apply-refact_0_12_0_0;
+      apply-refact = hsuper.apply-refact_0_13_0_0;
 
       # ptr-poker breaks on MacOS without SSE2 optimizations
       # https://github.com/nikita-volkov/ptr-poker/issues/11
@@ -39,6 +39,8 @@ let
 
       hie-bios = hself.callCabal2nix "hie-bios" inputs.haskell-hie-bios { };
 
+      implicit-hie-cradle = hself.callCabal2nix "implicit-hie-cradle" inputs.haskell-implicit-hie-cradle { };
+
       # Re-generate HLS drv excluding some plugins
       haskell-language-server =
         hself.callCabal2nixWithOptions "haskell-language-server" ./.

configuration-ghc-94.nix

@@ -13,7 +13,7 @@ let
     {
       hlsDisabledPlugins = disabledPlugins;
     } // (builtins.mapAttrs (_: drv: disableLibraryProfiling drv) {
-      apply-refact = hsuper.apply-refact_0_12_0_0;
+      apply-refact = hsuper.apply-refact_0_13_0_0;
 
       stylish-haskell = appendConfigureFlag  hsuper.stylish-haskell "-fghc-lib";
 

configuration-ghc-96.nix

@@ -28,21 +28,29 @@ let
             broken = false;
             doCheck = false;
           });
-      apply-refact = hsuper.apply-refact_0_12_0_0;
+      apply-refact = hsuper.apply-refact_0_13_0_0;
       tagged = hself.callHackage "tagged" "0.8.7" { };
       primitive = hself.callHackage "primitive" "0.8.0.0" { };
       unix-compat = hself.callCabal2nix "unix-compat" inputs.haskell-unix-compat { };
       MonadRandom = hself.callHackage "MonadRandom" "0.6" { };
       hiedb = hself.callCabal2nix "hiedb" inputs.haskell-hiedb { };
       hie-bios = hself.callCabal2nix "hie-bios" inputs.haskell-hie-bios { };
+      implicit-hie-cradle = hself.callCabal2nix "implicit-hie-cradle" inputs.haskell-implicit-hie-cradle { };
       ghc-exactprint = hself.callCabal2nix "ghc-exactprint" inputs.haskell-ghc-exactprint { };
 
       # ptr-poker breaks on MacOS without SSE2 optimizations
       # https://github.com/nikita-volkov/ptr-poker/issues/11
       ptr-poker = hself.callCabal2nix "ptr-poker" inputs.ptr-poker { };
 
       ormolu = hself.ormolu_0_5_3_0;
-      fourmolu = hself.callCabal2nix "fourmolu" inputs.fourmolu-012 { };
+
+      # TODO: smunix: nix fails to build fourmolu-0.13 from Hackage with these errors:
+      #   tar: */fourmolu/0.13.0.0/fourmolu.json: Not found in archive
+      #   tar: */fourmolu/0.13.0.0/fourmolu.cabal: Not found in archive
+      #   tar: Exiting with failure status due to previous errors
+      # As an alternative, we could build directly from github:fourmolu. How do people
+      # feel about this?
+      fourmolu = hself.callHackage "fourmolu" "0.12.0.0" {};
 
       stylish-haskell = appendConfigureFlag  hsuper.stylish-haskell "-fghc-lib";
 

flake.lock

@@ -51,7 +51,7 @@
     };
 
     haskell-hie-bios = {
-      url = "github:mpickering/hie-bios";
+      url = "github:haskell/hie-bios";
       flake = false;
     };
 
@@ -60,8 +60,18 @@
       flake = false;
     };
 
-    fourmolu-012 = {
-      url = "https://hackage.haskell.org/package/fourmolu-0.12.0.0/fourmolu-0.12.0.0.tar.gz";
+    # smunix: github:haskell/hie-bios defines
+    #   'CabalType :: Maybe String -> Maybe FilePath -> CabalType'
+    # while the original githcom:Avi-D-coder/hie-bios still has this:
+    #   'CabalType :: Maybe String -> CabalType'
+    # We need a patched version of implicit-hie-cradle that works with hls, so I've created
+    # the repository below. Obviously, this is not sustainable as it adds more technical debt.
+    # We need a better strategy to streamline changes required by HLS from other hie-bios related
+    # packages.
+    # See details here: https://github.com/Avi-D-coder/implicit-hie-cradle/compare/master...smunix:implicit-hie-cradle:smunix-patch-hls-1?expand=1
+    #
+    haskell-implicit-hie-cradle = {
+      url = "github:smunix/implicit-hie-cradle?ref=smunix-patch-hls-0.5-1";
       flake = false;
     };
   };