docs: Merge #3700 3700: Fix index-state syntax r=Anviking a=andreabed…

…ini The second index-state stanza completely ovverides the first, resetting hackage index state to HEAD. See haskell/cabal#8568
 
 
 <!--
 Detail in a few bullet points the work accomplished in this PR.
 
 Before you submit, don't forget to:
 
 CODE-OF-CONDUCT.md LICENSE README.md bors.toml cabal.project default.nix docker-compose.yml docs flake.lock flake.nix floskell.json hie-direnv.yaml lib nix prototypes reports scripts shell.nix specifications test touch.me.CI weeder.dhall Make sure the GitHub PR fields are correct:
 ✓ Set a good Title for your PR.
 ✓ Assign yourself to the PR.
 ✓ Assign one or more reviewer(s).
 ✓ Link to a Jira issue, and/or other GitHub issues or PRs.
 ✓ In the PR description delete any empty sections
 and all text commented in <!--, so that this text does not appear
 in merge commit messages.
 
 CODE-OF-CONDUCT.md LICENSE README.md bors.toml cabal.project default.nix docker-compose.yml docs flake.lock flake.nix floskell.json hie-direnv.yaml lib nix prototypes reports scripts shell.nix specifications test touch.me.CI weeder.dhall Don't waste reviewers' time:
 ✓ If it's a draft, select the Create Draft PR option.
 ✓ Self-review your changes to make sure nothing unexpected slipped through.
 
 CODE-OF-CONDUCT.md LICENSE README.md bors.toml cabal.project default.nix docker-compose.yml docs flake.lock flake.nix floskell.json hie-direnv.yaml lib nix prototypes reports scripts shell.nix specifications test touch.me.CI weeder.dhall Try to make your intent clear:
 ✓ Write a good Description that explains what this PR is meant to do.
 ✓ Jira will detect and link to this PR once created, but you can also
 link this PR in the description of the corresponding Jira ticket.
 ✓ Highlight what Testing you have done.
 ✓ Acknowledge any changes required to the Documentation.
 -->
 
 
 - [ ] I have ...
 
 ### Comments
 
 <!-- Additional comments, links, or screenshots to attach, if any. -->
 
 ### Issue Number
 
 <!-- Reference the Jira/GitHub issue that this PR relates to, and which requirements it tackles.
 Note: Jira issues of the form ADP- will be auto-linked. -->
 Co-authored-by: Andrea Bedini <[email protected]> Source commit: 6dca83f

-/all.html

@@ -26,7 +26,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

-/tags.html

@@ -26,7 +26,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

-/tasks.html

@@ -26,7 +26,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

archives.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

archives/jormungandr.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

archives/jormungandr/Docker-jormungandr.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

archives/jormungandr/cardano-wallet-jormungandr-manual.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

concepts.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

concepts/address-derivation.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

concepts/byron-address-format.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

concepts/coin-selection.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

concepts/hierarchical-deterministic-wallets.html

@@ -37,7 +37,7 @@
 <script async id='MathJax-script' src='https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js'></script>
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

concepts/master-key-generation.html

@@ -30,7 +30,7 @@
 <script src='https://cdnjs.cloudflare.com/ajax/libs/prism/1.26.0/plugins/autoloader/prism-autoloader.min.js'></script>
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

concepts/recovery-phrases.html

@@ -31,7 +31,7 @@
 <script async id='MathJax-script' src='https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js'></script>
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

concepts/transaction-lifecycle.html

@@ -49,7 +49,7 @@
 </script>
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

concepts/utxo.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

contributing.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

contributing/Logging-Guidelines.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

contributing/Nix.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

contributing/Notes-from-upgrading-GHC-version.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>
@@ -2398,77 +2398,14 @@ <h2 id='process' class='inline-block mt-6 mb-4 text-4xl font-bold text-gray-700
     <ul class='my-3 ml-6 space-y-1 list-disc'>
 
         <li>
-          Update “compiler-nix-name” in nix/overlays/build-tools
-        </li>
-
-    </ul>
-  <div class='py-0.5 mb-3 text-sm'><pre><code class='diff language-diff'>diff --git a/nix/overlays/build-tools.nix b/nix/overlays/build-tools.nix
-index 28c46f2e4df..6b0778eb5d0 100644
---- a/nix/overlays/build-tools.nix
-+++ b/nix/overlays/build-tools.nix
-@@ -41,7 +41,7 @@ let
-     weeder.version                  = "2.1.3";
-   };
-
--  compiler-nix-name = "ghc8105";  # TODO: get it from the project
-+  compiler-nix-name = "ghc8107";  # TODO: get it from the project
- in
-
- pkgs: super: let</code></pre></div>
-    <ul class='my-3 ml-6 space-y-1 list-disc'>
-
-        <li>
-          Update haskell.nix <code class='py-0.5 px-0.5 bg-gray-100'>niv update haskell.nix -b master</code>.
-        </li>
-
-        <li>
-          Run nix/regenerate.sh.
+          Update haskell.nix <code class='py-0.5 px-0.5 bg-gray-100'>nix flake lock --update-input haskellNix</code>.
         </li>
 
     </ul>
   <h2 id='troubleshooting' class='inline-block mt-6 mb-4 text-4xl font-bold text-gray-700 border-b-2'>Troubleshooting</h2>
     <p class='mb-3'>
       The following is a list of issues encountered so far while executing this process:
     </p>
-  <h3 id='nixregeneratesh-fails' class='mt-6 mb-2 text-3xl font-bold text-gray-700'>nix/regenerate.sh fails</h3>
-    <p class='mb-3'>
-      For example:
-    </p>
-  <div class='py-0.5 mb-3 text-sm'><pre><code class='language-none'>error: assertion ((final).buildPackages.haskell-nix.compiler."${compiler-nix-name'}".version == (final).buildPackages.haskell-nix.compiler."${(((plan-pkgs).pkgs  hackage)).compiler.nix-name}".version) failed at /nix/store/zs00ba6w5972g0sy95r89z4nzbm16kqi-haskell.nix-src/overlays/haskell.nix:152:15</code></pre></div>
-    <p class='mb-3'>
-      This particular issue was caused by a mismatch in the GHC versions of the Nix expressions updated above, and the GHC version listed in the materialized (cached) files. Regenerate should change the cached files, but instead was failing with the above error.
-    </p>
-
-    <p class='mb-3'>
-      To fix this, I had to:
-    </p>
-
-    <ul class='my-3 ml-6 space-y-1 list-disc'>
-
-        <li>
-          Navigate to overlays/build-tools.nix, and change the following lines:
-        </li>
-
-    </ul>
-  <div class='py-0.5 mb-3 text-sm'><pre><code class='diff language-diff'>diff --git a/nix/overlays/build-tools.nix b/nix/overlays/build-tools.nix
-index 28c46f2e4..3e80caad4 100644
---- a/nix/overlays/build-tools.nix
-+++ b/nix/overlays/build-tools.nix
-@@ -50,7 +50,7 @@ pkgs: super: let
-   mkTool = name: args: pkgs.haskell-nix.hackage-package ({
-     inherit name index-state compiler-nix-name;
-   } // pkgs.lib.optionalAttrs enableMaterialization {
--    checkMaterialization = false;
-+    checkMaterialization = true;
-     materialized = ../materialized + "/${name}";
-   } // builtins.removeAttrs args ["exe"]);</code></pre></div>
-    <p class='mb-3'>
-      Re-run nix/regenerate.sh and it should fail with an error that contains an <code class='py-0.5 px-0.5 bg-gray-100'>updateMaterialized</code> script to run. Run that script, and return <code class='py-0.5 px-0.5 bg-gray-100'>checkMaterialization</code> to <code class='py-0.5 px-0.5 bg-gray-100'>false</code>.
-    </p>
-
-    <p class='mb-3'>
-      Alternatively, running <code class='py-0.5 px-0.5 bg-gray-100'>s/ghc8105/ghc8107/</code>, then re-running nix/regenerate.sh, would have done the trick.
-    </p>
   <h3 id='compile-time-error-when-building-a-package-or-dependency' class='mt-6 mb-2 text-3xl font-bold text-gray-700'>Compile-time error when building a package or dependency</h3>
     <p class='mb-3'>
       For example:

contributing/Release-Process.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

contributing/Swagger-Development.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

contributing/Testing.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

contributing/Updating-Dependencies.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

design.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

design/Eras.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

design/Notes-about-BIP-44.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

design/Specifying-exceptions-with-Servant-and-Swagger.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

design/WalletId.html

@@ -41,7 +41,7 @@
 <script async id='MathJax-script' src='https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js'></script>
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

design/records.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

design/records/2021-01-17-nix-flake.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

design/specs.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

design/specs/light-mode.html

@@ -49,7 +49,7 @@
 </script>
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

developers.html

@@ -27,7 +27,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>

developers/Architecture.html

@@ -49,7 +49,7 @@
 </script>
 
 
-  <link href='tailwind.css?instanceId=279af4f6-f11f-49d3-b1b0-344eedcc764f' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=63174943-5013-4cd8-8a1d-b3bd57a8b02a' rel='stylesheet' type='text/css' />
 
   <!-- Heist error element -->
   <style type='text/css'>