UTxO-HD targeting main

[jasagredo]

Changelog

- description: |
    Implement changes needed for UTxO-HD Consensus feature.
    - Minor adjust on number of parameters of `AnyNewEpochState`.
# uncomment types applicable to the change:
  type:
  # - feature        # introduces a new feature
  # - breaking       # the API has changed in a breaking way
  - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - refactoring    # QoL changes
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

See the cardano-api PR

How to trust this PR

Highlight important bits of the PR that will make the review faster. If there are commands the reviewer can run to observe the new behavior, describe them.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[Jimbo4350]

Points for the comment 👍. Which repo is having issues with cabal-doctest?

[jasagredo]

Ah that is from @neilmayhew's commits. Mine is just the last one. But I think it is consensus the one that had this problem. https://github.com/IntersectMBO/ouroboros-consensus/blob/main/cabal.project#L48-L49

[neilmayhew]

The problem occurred in api, cli and node as well as consensus. I think the problem arises because of the extra-packages: Cabal line. This allows a newer version of Cabal than would otherwise be chosen by the solver, which breaks cabal-doctest. However, there's been a release of cabal-doctest since I made this change, so it may be possible to drop it now.

[neilmayhew]

I tested this, and the constraint can be taken out in consensus, api and cli. However, it can't be taken out in node because it depends (indirectly) on entropy which uses a custom Setup.hs that isn't compatible with Cabal-3.14 when built with ghc8107.

[neilmayhew]

Actually, that isn't correct. It's a haskell.nix problem. The cabal file for entropy has setup-depends: Cabal >= 1.10 && < 3.13 and when building with cabal outside of haskell.nix it uses Cabal-3.12.1.0 as expected, with both ghc8 and ghc9. However, haskell.nix uses Cabal-3.14.1.0 for both.

However, this affects only node (⟶ systemd ⟶ uuid ⟶ entropy) so the constraint can be removed in consensus, api and cli.

It needs to be retained in node, but I'll push a commit that changes the comment.

[neilmayhew]

I've pushed a commit to my branch in cli that removes the constraint. You can just rebase on that.

[neilmayhew]

I've discovered that the problem can be worked around more cleanly in node by updating the Hackage index, because entropy was updated to be compatible with Cabal-3.14 on Jan 1.