[ADP-3226] Update indexState in haskell.nix

[HeinrichApfelmus]

This pull request updates the indexState in our haskell.nix configuration, with the intent to populate the Hoogle index for the cardano-wallet-agda repository again.

This pull request also removes some cruft from our nix files.

Issue Number

ADP-3226

[Anviking]

🤔 Don't we want/need this?

[Anviking]

If we mistype a hash in the cabal.project and direnv reload we get

direnv: loading ~/IOHK/cardano-wallet/.envrc
direnv: using flake
warning: Git tree '/Users/anviking/IOHK/cardano-wallet' is dirty
warning: ignoring the client-specified setting 'system', because it is a restricted setting and you are not a trusted user
warning: ignoring the client-specified setting 'system', because it is a restricted setting and you are not a trusted user
copying '/nix/store/lnwcc18q3mhx7saikwp1v93cib179w91-source' to the storedirenv: ([/opt/homebrew/bin/direnv export fish]) is taking a while to execute. Use CTRL-C to give up.
error: hash mismatch in fixed-output derivation '/nix/store/514wdhm14ymi53aayd85qbqfzys4bsd1-cardano-wallet-agda-f3479b5.drv':
         specified: sha256-fx5hsiOJZYuo37YIMTXUWcjqtigLNvT/3Yn/wOuZpgE=
            got:    sha256-fx5hsiOJZYuo37YIMTXUWcjqtigLNvT/3Yn/wOuZpoE=
error: 1 dependencies of derivation '/nix/store/xpg5g53xkjxx3snl3zvrgbi9l9q2ky2p-source-repository-package.drv' failed to build
error:
       … while evaluating the attribute 'shell'
         at /nix/store/wzhjzixv6w1x664vhsajrckalkhgr588-source/overlays/haskell.nix:849:13:
          848|             # Default shell
          849|             shell = shellFor rawProject.args.shell;
             |             ^
          850|

       … while evaluating the attribute 'hsPkgs.shellFor'
         at /nix/store/wzhjzixv6w1x664vhsajrckalkhgr588-source/overlays/haskell.nix:693:44:
          692|               project = addProjectAndPackageAttrs rec {
          693|                   inherit (pkg-set.config) hsPkgs;
             |                                            ^
          694|                   inherit pkg-set;

       (stack trace truncated; use '--show-trace' to show the full, detailed trace)

       error: 1 dependencies of derivation '/nix/store/r4rw99sfibcayr3318mfhv74ijmw8y0d-cardano-wallet-plan-to-nix-pkgs.drv' failed to build

[HeinrichApfelmus]

Don't we want/need this?

Automatically fetching the --sha256 hashes was a more pressing issue at a time when CHaP did not yet exist, and we imported all Cardano dependencies via source-repository-package stanzas. Today, I think the cost of maintaining that automation is higher than manually adding --sha256 hashes for the few repositories that we do import in this way.

[Anviking]

I think the cost of maintaining that automation is higher than manually adding

We can't just keep the inherit (pkgs) checkCabalProject line + this call?

[HeinrichApfelmus]

Unfortunately not — the checkCabalProject is actually provided by the iohkNix input (which adds it to pkgs via the overlay mechanism), which has bitrotted to the point where importing it breaks. See also input-output-hk/iohk-nix#589 .

[Anviking]

Haven't rebuilt the world to try this locally but LGTM

[Anviking]

I think the cost of maintaining that automation is higher than manually adding

We can't just keep the inherit (pkgs) checkCabalProject line + this call?

[Anviking]

😮

[HeinrichApfelmus]

At least the list is up-to-date now. 😅

[HeinrichApfelmus]

Dang. It looks like Windows cross-compilation does not work with the new version of haskell.nix.

I will try to adapt this pull request to only remove the cruft in our .nix files and leave the update for a later pull request.

[HeinrichApfelmus]

Luckily, it seems that the commit "Update indexState to match cardano-wallet-agda" was enough to populate the Hoogle index again — it seems that there is no need to update the haskell.nix input.