File tree Expand file tree Collapse file tree 5 files changed +5
-6
lines changed
cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway
cardano-ledger-test/src/Test/Cardano/Ledger
Constrained/Conway/LedgerTypes Expand file tree Collapse file tree 5 files changed +5
-6
lines changed Original file line number Diff line number Diff line change @@ -57,9 +57,9 @@ library
5757 Cardano.Ledger.Dijkstra.Rules.Utxo
5858 Cardano.Ledger.Dijkstra.Rules.Utxos
5959 Cardano.Ledger.Dijkstra.Rules.Utxow
60+ Cardano.Ledger.Dijkstra.State.Account
6061 Cardano.Ledger.Dijkstra.State.CertState
6162 Cardano.Ledger.Dijkstra.State.Stake
62- Cardano.Ledger.Dijkstra.State.Account
6363
6464 hs-source-dirs : src
6565 default-language : Haskell2010
Original file line number Diff line number Diff line change @@ -21,8 +21,8 @@ import Cardano.Ledger.Conway.Rules (
2121import Cardano.Ledger.Conway.State
2222import Cardano.Ledger.Conway.TxCert (
2323 ConwayDelegCert (.. ),
24- getStakePoolDelegatee ,
2524 getDRepDelegatee ,
25+ getStakePoolDelegatee ,
2626 )
2727import Cardano.Ledger.Core
2828import Cardano.Ledger.Credential (Credential )
Original file line number Diff line number Diff line change @@ -267,8 +267,7 @@ shelleyDStateSpec ::
267267 Term ChainAccountState ->
268268 Term (Map (Credential 'Staking) (KeyHash 'StakePool)) ->
269269 Specification (DState era )
270- shelleyDStateSpec = undefined
271-
270+ shelleyDStateSpec = undefined
272271
273272conwayDStateSpec ::
274273 forall era .
Original file line number Diff line number Diff line change @@ -27,6 +27,7 @@ import Cardano.Ledger.BaseTypes (
2727import Cardano.Ledger.Coin (Coin (.. ))
2828import Cardano.Ledger.Compactible (fromCompact )
2929import Cardano.Ledger.Conway.Core
30+ import Cardano.Ledger.Conway.State
3031import Cardano.Ledger.Credential (Credential , StakeReference (.. ))
3132import Cardano.Ledger.Plutus.Data (Datum (.. ), binaryDataToData , hashData )
3233import Cardano.Ledger.Plutus.ExUnits (ExUnits (.. ))
@@ -38,7 +39,6 @@ import Cardano.Ledger.Shelley.LedgerState (
3839 NewEpochState (.. ),
3940 UTxOState (.. ),
4041 )
41- import Cardano.Ledger.Conway.State
4242import Cardano.Ledger.Shelley.TxOut (ShelleyTxOut (.. ))
4343import Cardano.Ledger.TxIn (TxIn (.. ))
4444import Cardano.Ledger.Val (Val ((<+>) , (<->) ), inject )
Original file line number Diff line number Diff line change @@ -37,7 +37,7 @@ module Test.Cardano.Ledger.Generic.ModelState where
3737
3838import Cardano.Ledger.BaseTypes (BlocksMade (.. ))
3939import Cardano.Ledger.Coin (Coin (.. ), CompactForm (CompactCoin ))
40- import Cardano.Ledger.Conway.State (ConwayEraCertState (.. ), VState (.. ), Accounts )
40+ import Cardano.Ledger.Conway.State (Accounts , ConwayEraCertState (.. ), VState (.. ))
4141import Cardano.Ledger.Hashes (GenDelegs (.. ))
4242import Cardano.Ledger.PoolParams (PoolParams (.. ))
4343import Cardano.Ledger.Shelley.Core
You can’t perform that action at this time.
0 commit comments