Update ledger-api-1.6 and ledger-conway-1.9
Co-authored-by: Alexey Kuleshevich <[email protected]>
Co-authored-by: Alexey Kuleshevich <[email protected]>
-- Bump this if you need newer packages from Hackage
, hackage.haskell.org 2023-08-02T14:18:01Z
-- Bump this if you need newer packages from CHaP
, cardano-haskell-packages 2023-09-05T08:50:43Z
, cardano-haskell-packages 2023-09-27T09:51:59Z
packages:
ouroboros-consensus
"CHaP": {
"flake": false,
"locked": {
"lastModified": 1693917200,
"narHash": "sha256-2UWOZH7BqRzs4ep2OikwuNC89x53pvb2kVzQdreEq9A=",
"lastModified": 1695809408,
"narHash": "sha256-3RLFxpAhvZGPq+K0MrHOC46eFeXTfMevxWYHTCY8kpo=",
"owner": "input-output-hk",
"repo": "cardano-haskell-packages",
"rev": "eb24bc8faba9c5a5a1a1f3eee8231a2fcc38e9d6",
"rev": "1198d4af66ccbdf2d744bdd705f1a7af6be5effb",
"type": "github"
},
"original": {
### Non-Breaking
- Updated to newer `cardano-ledger-*` packages:
* `cardano-ledger-api-1.6`
* `cardano-ledger-core-1.7`
* `cardano-ledger-conway-1.9`
### Breaking
- `CardanoProtocolParams` now contains a `TransitionConfig` (new Ledger
concept) and the `CardanoHardForkTriggers` instead of the previous per-era
`ProtocolTransitionParams`.
- Removed `ShelleyGenesis` from `ProtocolParamsShelleyBased` as a
`TransitionConfig` already contains a `ShelleyGenesis`.
- Removed `registerInitialFunds` and `registerGenesisStaking`, these now live
in Ledger as part of the `EraTransition` class.
- Removed now-unused `Ouroboros.Consensus.Cardano.ShelleyBased` module.
Ouroboros.Consensus.Cardano.CanHardFork
Ouroboros.Consensus.Cardano.Condense
Ouroboros.Consensus.Cardano.Node
Ouroboros.Consensus.Cardano.ShelleyBased
Ouroboros.Consensus.Shelley.Crypto
Ouroboros.Consensus.Shelley.Eras
Ouroboros.Consensus.Shelley.HFEras
, cardano-crypto
, cardano-crypto-class
, cardano-crypto-wrapper
, cardano-data
, cardano-ledger-allegra
, cardano-ledger-alonzo ^>=1.4.1
, cardano-ledger-api ^>=1.5
, cardano-ledger-api ^>=1.6
, cardano-ledger-babbage ^>=1.4.4
, cardano-ledger-binary
, cardano-ledger-byron
, cardano-ledger-conway ^>=1.8
, cardano-ledger-core ^>=1.6
, cardano-ledger-conway ^>=1.9
, cardano-ledger-core ^>=1.7
, cardano-ledger-mary
, cardano-ledger-shelley ^>=1.6
, cardano-prelude
, cardano-crypto-class
, cardano-crypto-wrapper
, cardano-ledger-alonzo-test
, cardano-ledger-api
, cardano-ledger-byron
, cardano-ledger-conway-test ^>=1.2.0.5
, cardano-ledger-core:{cardano-ledger-core, testlib}
, cardano-crypto-class
, cardano-ledger-alonzo
, cardano-ledger-alonzo-test
, cardano-ledger-api
, cardano-ledger-byron
, cardano-ledger-core
, cardano-ledger-shelley
, cardano-crypto-wrapper
, cardano-ledger-allegra
, cardano-ledger-alonzo
, cardano-ledger-api
, cardano-ledger-babbage
, cardano-ledger-binary
, cardano-ledger-byron
, ProtocolCardano
, ProtocolShelley
-- * Abstract over the various protocols
, CardanoHardForkTriggers (..)
, ProtocolParams (..)
, ProtocolTransitionParams (..)
, module X
) where
import Cardano.Ledger.Hashes (EraIndependentTxBody)
import Cardano.Ledger.Keys (DSignable, Hash)
import qualified Cardano.Ledger.Shelley.API as SL
import qualified Cardano.Ledger.Shelley.Governance as SL
import qualified Cardano.Ledger.Shelley.LedgerState as SL
import Cardano.Ledger.Shelley.Translation
(toFromByronTranslationContext)
import Data.Void
import Data.Word
import GHC.Generics (Generic)
import Lens.Micro (Lens', (.~))
import Lens.Micro ((.~))
import Lens.Micro.Extras (view)
import NoThunks.Class (NoThunks)
import Ouroboros.Consensus.Block
-> LedgerState (ShelleyBlock proto (BabbageEra c))
patchGovState st =
st { shelleyLedgerState = shelleyLedgerState st
& newEpochStateGovStateL .~ newGovState
& SL.newEpochStateGovStateL .~ newGovState
}
where
-- next ledger release already provides this
newEpochStateGovStateL ::
Lens' (SL.NewEpochState era) (SL.GovState era)
newEpochStateGovStateL =
SL.nesEsL . SL.esLStateL . SL.lsUTxOStateL . SL.utxosGovStateL
newGovState =
view newEpochStateGovStateL
view SL.newEpochStateGovStateL
. tickedShelleyLedgerState
. applyChainTick
(unwrapLedgerConfig cfgBabbage)
As we removed those guards from the chain layer, it is important that the logic layer is doing this filtering.
Fix FF build
To prevent aborting the wrong Head `headId` was added to the `OnAbortTx`. Logic layer now aborts the head that is seen as initialized.
The flaky test picked up this error
# Conflicts: # package.json
* Removed call to tail, and the 'watchPulser' test Co-authored-by: Alexey Kuleshevich <[email protected]>