Skip to content

Conversation

kderme
Copy link
Contributor

@kderme kderme commented Sep 4, 2025

Description

Continuation of #1998

Checklist

  • Commit sequence broadly makes sense
  • Commits have useful messages
  • New tests are added if needed and existing tests are updated
  • Any changes are noted in the changelog
  • Code is formatted with fourmolu on version 0.10.1.0 (which can be run with scripts/fourmolize.sh)
  • Self-reviewed the diff

Migrations

  • The pr causes a breaking change of type a,b or c
  • If there is a breaking change, the pr includes a database migration and/or a fix process for old values, so that upgrade is possible
  • Resyncing and running the migrations provided will result in the same database semantically

If there is a breaking change, especially a big one, please add a justification here. Please elaborate
more what the migration achieves, what it cannot achieve or why a migration is not possible.

sgillespie and others added 3 commits September 4, 2025 14:01
This still suffers from IntersectMBO/ouroboros-consensus#1577
so Byron snapshots don't deserialise, until we update CHaP further
@kderme kderme requested a review from a team as a code owner September 4, 2025 11:05
Cmdv
Cmdv previously approved these changes Sep 4, 2025
@sgillespie sgillespie mentioned this pull request Sep 11, 2025
9 tasks
Fixes the following error:

 > error: executing '/nix/store/xy4jjgw87sbgwylm5kn047d9gkbhsr9x-bash-5.2p37/bin/bash':
 > Argument list too long

We are attempting to reduce the number of packages required for the
shell by disabling haddock and hoogle. Longer term, it would be better
to disable devShells for cross builds entirely.
GHC 8.10 was dropped from Hydra (CI) some time ago, so it needs to be
dropped from GitHub CI too. GHC 9.10 was broken a while ago in the
upstream devShell (input-output-hk/devx), but hopefully it is fixed now.
lState <- decodeExt
eBlockNo <- fromCBOR
lTables <- valuesMKDecoder lState
pure $ CardanoLedgerState lState lTables eBlockNo
Copy link
Contributor

@sgillespie sgillespie Sep 19, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do you think

CardanoLedgerState 
  <$> decodeExt 
  <*> valuesMKDecoder lstate
  <*> fromCBOR

Reads better or worse?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually forget I said that. It's a record, so I think it would be more maintainable with a record constructor.

deriving (Eq, Ord, Show, Functor)

type State block = Consensus.ExtLedgerState block
type State block = (Consensus.ExtLedgerState block EmptyMK, Consensus.LedgerTables (Consensus.ExtLedgerState block) ValuesMK)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are the outer parentheses necessary?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants