Skip to content

Commit

Permalink
Ormolize
Browse files Browse the repository at this point in the history
  • Loading branch information
Soupstraw committed Aug 8, 2022
1 parent 65cb4e4 commit f924b67
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 5 deletions.
2 changes: 1 addition & 1 deletion eras/conway/impl/src/Cardano/Ledger/Conway.hs
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@
module Cardano.Ledger.Conway (ConwayEra) where

import Cardano.Ledger.Alonzo (reapplyAlonzoTx)
import Cardano.Ledger.Alonzo.Genesis (AlonzoGenesis)
import Cardano.Ledger.Alonzo.TxInfo (ExtendedUTxO (..))
import Cardano.Ledger.Alonzo.TxWitness (TxWitness (..))
import Cardano.Ledger.Babbage.Rules (babbageMinUTxOValue)
Expand Down Expand Up @@ -40,7 +41,6 @@ import qualified Data.Map.Strict as Map
import Data.Maybe.Strict
import qualified Data.Set as Set
import Lens.Micro
import Cardano.Ledger.Alonzo.Genesis (AlonzoGenesis)

-- =====================================================

Expand Down
10 changes: 6 additions & 4 deletions eras/conway/impl/src/Cardano/Ledger/Conway/Translation.hs
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ import Cardano.Ledger.Babbage.PParams (BabbagePParamsHKD (..))
import Cardano.Ledger.Babbage.Tx (AlonzoTx (..))
import Cardano.Ledger.Babbage.TxBody (BabbageTxOut (..), Datum (..))
import Cardano.Ledger.Conway (ConwayEra)
import Cardano.Ledger.Conway.Genesis (ConwayGenesis (..))
import Cardano.Ledger.Conway.Scripts ()
import Cardano.Ledger.Conway.TxOut ()
import qualified Cardano.Ledger.Core as Core
Expand All @@ -32,15 +33,16 @@ import Cardano.Ledger.Era
)
import Cardano.Ledger.Serialization (translateViaCBORAnn)
import Cardano.Ledger.Shelley.API
( EpochState (..),
( DPState (..),
DState (..),
EpochState (..),
NewEpochState (..),
ShelleyGenesis,
StrictMaybe (..), DPState (..), DState (..)
StrictMaybe (..),
)
import qualified Cardano.Ledger.Shelley.API as API
import Cardano.Ledger.Shelley.PParams (ShelleyPParamsHKD)
import Data.Coerce
import Cardano.Ledger.Conway.Genesis (ConwayGenesis (..))

--------------------------------------------------------------------------------
-- Translation from Alonzo to Babbage
Expand Down Expand Up @@ -144,7 +146,7 @@ instance Crypto c => TranslateEra (ConwayEra c) API.LedgerState where
where
updateGenesisKeys (DPState dstate pstate) = DPState dstate' pstate
where
dstate' = dstate{_genDelegs = newGenDelegs}
dstate' = dstate {_genDelegs = newGenDelegs}

instance Crypto c => TranslateEra (ConwayEra c) API.UTxOState where
translateEra ctxt us =
Expand Down

0 comments on commit f924b67

Please sign in to comment.