Skip to content

Commit 615523d

Browse files
lehinslehins
committed
Switch to capitalized rules imports for ImpSpec
1 parent ba81b08 commit 615523d

6 files changed

Lines changed: 70 additions & 69 deletions

File tree

  • eras
    • alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo
    • babbage/impl/testlib/Test/Cardano/Ledger/Babbage
    • conway/impl/testlib/Test/Cardano/Ledger/Conway
    • dijkstra/impl/testlib/Test/Cardano/Ledger/Dijkstra
    • mary/impl/testlib/Test/Cardano/Ledger/Mary
    • shelley/impl/testlib/Test/Cardano/Ledger/Shelley

‎eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Imp.hs‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -8,10 +8,10 @@ module Test.Cardano.Ledger.Alonzo.Imp where
88
import Cardano.Ledger.Core
99
import Cardano.Ledger.Shelley.Core (ShelleyEraTxCert)
1010
import Cardano.Ledger.Shelley.Rules
11-
import qualified Test.Cardano.Ledger.Alonzo.Imp.BbodySpec as Bbody
12-
import qualified Test.Cardano.Ledger.Alonzo.Imp.UtxoSpec as Utxo
13-
import qualified Test.Cardano.Ledger.Alonzo.Imp.UtxosSpec as Utxos
14-
import qualified Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec as Utxow
11+
import qualified Test.Cardano.Ledger.Alonzo.Imp.BbodySpec as BBODY
12+
import qualified Test.Cardano.Ledger.Alonzo.Imp.UtxoSpec as UTXO
13+
import qualified Test.Cardano.Ledger.Alonzo.Imp.UtxosSpec as UTXOS
14+
import qualified Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec as UTXOW
1515
import Test.Cardano.Ledger.Alonzo.ImpTest
1616
import Test.Cardano.Ledger.Imp.Common
1717
import qualified Test.Cardano.Ledger.Mary.Imp as Mary
@@ -25,15 +25,15 @@ spec ::
2525
spec era = do
2626
Mary.spec era
2727
describe "AlonzoEra Onwards" $ withImpInitEachEraVersion era $ do
28-
Bbody.spec
29-
Utxo.spec
30-
Utxos.spec
31-
Utxow.spec
28+
BBODY.spec
29+
UTXO.spec
30+
UTXOS.spec
31+
UTXOW.spec
3232

3333
alonzoEraSpecificSpec ::
3434
(AlonzoEraImp era, ShelleyEraTxCert era) =>
3535
proxy era ->
3636
Spec
3737
alonzoEraSpecificSpec era = withImpInitEachEraVersion era $ do
3838
describe "AlonzoEra Specific" $ do
39-
Utxow.alonzoEraSpecificSpec
39+
UTXOW.alonzoEraSpecificSpec

‎eras/babbage/impl/testlib/Test/Cardano/Ledger/Babbage/Imp.hs‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -15,10 +15,10 @@ import Cardano.Ledger.Babbage.State
1515
import Cardano.Ledger.Shelley.Rules
1616
import qualified Test.Cardano.Ledger.Alonzo.Imp as Alonzo
1717
import Test.Cardano.Ledger.Alonzo.ImpTest
18-
import qualified Test.Cardano.Ledger.Babbage.Imp.PoolSpec as Pool
19-
import qualified Test.Cardano.Ledger.Babbage.Imp.UtxoSpec as Utxo
20-
import qualified Test.Cardano.Ledger.Babbage.Imp.UtxosSpec as Utxos
21-
import qualified Test.Cardano.Ledger.Babbage.Imp.UtxowSpec as Utxow
18+
import qualified Test.Cardano.Ledger.Babbage.Imp.PoolSpec as POOL
19+
import qualified Test.Cardano.Ledger.Babbage.Imp.UtxoSpec as UTXO
20+
import qualified Test.Cardano.Ledger.Babbage.Imp.UtxosSpec as UTXOS
21+
import qualified Test.Cardano.Ledger.Babbage.Imp.UtxowSpec as UTXOW
2222
import Test.Cardano.Ledger.Babbage.ImpTest (BabbageEraImp)
2323
import Test.Cardano.Ledger.Imp.Common
2424

@@ -31,9 +31,9 @@ spec ::
3131
spec era = do
3232
Alonzo.spec era
3333
describe "BabbageEra Onwards" $ withImpInitEachEraVersion era $ do
34-
Utxo.spec
35-
Utxow.spec
36-
Utxos.spec
34+
UTXO.spec
35+
UTXOW.spec
36+
UTXOS.spec
3737

3838
babbageEraSpecificSpec ::
3939
( BabbageEraImp era
@@ -44,4 +44,4 @@ babbageEraSpecificSpec ::
4444
Spec
4545
babbageEraSpecificSpec era = do
4646
describe "BabbageEra Specific" $ withImpInitEachEraVersion era $ do
47-
Pool.babbageEraSpecificSpec
47+
POOL.babbageEraSpecificSpec

‎eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp.hs‎

Lines changed: 28 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -20,19 +20,19 @@ import Cardano.Ledger.Shelley.Rules (RupdEvent)
2020
import Control.State.Transition.Extended
2121
import Data.Proxy
2222
import qualified Test.Cardano.Ledger.Babbage.Imp as Babbage
23-
import qualified Test.Cardano.Ledger.Conway.Imp.BbodySpec as Bbody
24-
import qualified Test.Cardano.Ledger.Conway.Imp.CertsSpec as Certs
25-
import qualified Test.Cardano.Ledger.Conway.Imp.DelegSpec as Deleg
26-
import qualified Test.Cardano.Ledger.Conway.Imp.EnactSpec as Enact
27-
import qualified Test.Cardano.Ledger.Conway.Imp.EpochSpec as Epoch
28-
import qualified Test.Cardano.Ledger.Conway.Imp.GovCertSpec as GovCert
29-
import qualified Test.Cardano.Ledger.Conway.Imp.GovSpec as Gov
30-
import qualified Test.Cardano.Ledger.Conway.Imp.HardForkSpec as HardFork
31-
import qualified Test.Cardano.Ledger.Conway.Imp.LedgerSpec as Ledger
32-
import qualified Test.Cardano.Ledger.Conway.Imp.RatifySpec as Ratify
33-
import qualified Test.Cardano.Ledger.Conway.Imp.UtxoSpec as Utxo
34-
import qualified Test.Cardano.Ledger.Conway.Imp.UtxosSpec as Utxos
35-
import qualified Test.Cardano.Ledger.Conway.Imp.UtxowSpec as Utxow
23+
import qualified Test.Cardano.Ledger.Conway.Imp.BbodySpec as BBODY
24+
import qualified Test.Cardano.Ledger.Conway.Imp.CertsSpec as CERTS
25+
import qualified Test.Cardano.Ledger.Conway.Imp.DelegSpec as DELEG
26+
import qualified Test.Cardano.Ledger.Conway.Imp.EnactSpec as ENACT
27+
import qualified Test.Cardano.Ledger.Conway.Imp.EpochSpec as EPOCH
28+
import qualified Test.Cardano.Ledger.Conway.Imp.GovCertSpec as GOVCERT
29+
import qualified Test.Cardano.Ledger.Conway.Imp.GovSpec as GOV
30+
import qualified Test.Cardano.Ledger.Conway.Imp.HardForkSpec as HARDFORK
31+
import qualified Test.Cardano.Ledger.Conway.Imp.LedgerSpec as LEDGER
32+
import qualified Test.Cardano.Ledger.Conway.Imp.RatifySpec as RATIFY
33+
import qualified Test.Cardano.Ledger.Conway.Imp.UtxoSpec as UTXO
34+
import qualified Test.Cardano.Ledger.Conway.Imp.UtxosSpec as UTXOS
35+
import qualified Test.Cardano.Ledger.Conway.Imp.UtxowSpec as UTXOW
3636
import Test.Cardano.Ledger.Conway.ImpTest
3737
import Test.Cardano.Ledger.Imp.Common
3838

@@ -48,21 +48,22 @@ spec ::
4848
spec era = do
4949
Babbage.spec era
5050
describe "ConwayEra Onwards" $ withImpInitEachEraVersion era $ do
51-
Bbody.spec
52-
Deleg.spec
53-
Enact.spec
54-
Epoch.spec
55-
Gov.spec
56-
GovCert.spec
57-
Ledger.spec
58-
HardFork.spec
59-
Ratify.spec
60-
Utxo.spec
61-
Utxos.spec
62-
Utxow.spec
51+
BBODY.spec
52+
DELEG.spec
53+
ENACT.spec
54+
EPOCH.spec
55+
GOV.spec
56+
GOVCERT.spec
57+
LEDGER.spec
58+
HARDFORK.spec
59+
RATIFY.spec
60+
UTXO.spec
61+
UTXOS.spec
62+
UTXOW.spec
6363

6464
conwayEraSpecificSpec :: Spec
6565
conwayEraSpecificSpec = do
6666
describe "ConwayEra Specific" $ withImpInitEachEraVersion (Proxy @ConwayEra) $ do
67-
Certs.spec
68-
Utxo.conwayEraSpecificSpec
67+
-- TODO: move to `spec` when ready: https://github.com/IntersectMBO/cardano-ledger/issues/5805
68+
CERTS.spec
69+
UTXO.conwayEraSpecificSpec

‎eras/dijkstra/impl/testlib/Test/Cardano/Ledger/Dijkstra/Imp.hs‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,11 @@ import Cardano.Ledger.Dijkstra.Core
1010
import Cardano.Ledger.Shelley.Rules
1111
import Test.Cardano.Ledger.Common
1212
import qualified Test.Cardano.Ledger.Conway.Imp as ConwayImp
13-
import qualified Test.Cardano.Ledger.Dijkstra.Imp.CertSpec as Cert
14-
import qualified Test.Cardano.Ledger.Dijkstra.Imp.CertsSpec as Certs
15-
import qualified Test.Cardano.Ledger.Dijkstra.Imp.LedgerSpec as Ledger
16-
import qualified Test.Cardano.Ledger.Dijkstra.Imp.UtxoSpec as Utxo
17-
import qualified Test.Cardano.Ledger.Dijkstra.Imp.UtxowSpec as Utxow
13+
import qualified Test.Cardano.Ledger.Dijkstra.Imp.CertSpec as CERT
14+
import qualified Test.Cardano.Ledger.Dijkstra.Imp.CertsSpec as CERTS
15+
import qualified Test.Cardano.Ledger.Dijkstra.Imp.LedgerSpec as LEDGER
16+
import qualified Test.Cardano.Ledger.Dijkstra.Imp.UtxoSpec as UTXO
17+
import qualified Test.Cardano.Ledger.Dijkstra.Imp.UtxowSpec as UTXOW
1818
import Test.Cardano.Ledger.Dijkstra.ImpTest
1919

2020
spec ::
@@ -29,8 +29,8 @@ spec ::
2929
spec era = do
3030
ConwayImp.spec era
3131
describe "DijkstraEra Onwards" $ withImpInitEachEraVersion era $ do
32-
Ledger.spec
33-
Cert.spec
34-
Certs.spec
35-
Utxow.spec
36-
Utxo.spec
32+
LEDGER.spec
33+
CERT.spec
34+
CERTS.spec
35+
UTXOW.spec
36+
UTXO.spec

‎eras/mary/impl/testlib/Test/Cardano/Ledger/Mary/Imp.hs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ import Cardano.Ledger.Core
1010
import Cardano.Ledger.Shelley.Rules
1111
import qualified Test.Cardano.Ledger.Allegra.Imp as Allegra
1212
import Test.Cardano.Ledger.Imp.Common
13-
import qualified Test.Cardano.Ledger.Mary.Imp.UtxoSpec as Utxo
13+
import qualified Test.Cardano.Ledger.Mary.Imp.UtxoSpec as UTXO
1414
import Test.Cardano.Ledger.Mary.ImpTest
1515

1616
spec ::
@@ -23,4 +23,4 @@ spec era = do
2323
Allegra.spec era
2424
describe "MaryEra Onwards" $
2525
withImpInitEachEraVersion era $ do
26-
Utxo.spec
26+
UTXO.spec

‎eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Imp.hs‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -12,12 +12,12 @@ import Cardano.Ledger.Shelley.Rules (RupdEvent)
1212
import Cardano.Ledger.Shelley.State (ShelleyEraAccounts)
1313
import Control.State.Transition (Event)
1414
import Test.Cardano.Ledger.Imp.Common
15-
import qualified Test.Cardano.Ledger.Shelley.Imp.DelegSpec as Deleg
16-
import qualified Test.Cardano.Ledger.Shelley.Imp.EpochSpec as Epoch
17-
import qualified Test.Cardano.Ledger.Shelley.Imp.LedgerSpec as Ledger
18-
import qualified Test.Cardano.Ledger.Shelley.Imp.PoolSpec as Pool
19-
import qualified Test.Cardano.Ledger.Shelley.Imp.UtxoSpec as Utxo
20-
import qualified Test.Cardano.Ledger.Shelley.Imp.UtxowSpec as Utxow
15+
import qualified Test.Cardano.Ledger.Shelley.Imp.DelegSpec as DELEG
16+
import qualified Test.Cardano.Ledger.Shelley.Imp.EpochSpec as EPOCH
17+
import qualified Test.Cardano.Ledger.Shelley.Imp.LedgerSpec as LEDGER
18+
import qualified Test.Cardano.Ledger.Shelley.Imp.PoolSpec as POOL
19+
import qualified Test.Cardano.Ledger.Shelley.Imp.UtxoSpec as UTXO
20+
import qualified Test.Cardano.Ledger.Shelley.Imp.UtxowSpec as UTXOW
2121
import Test.Cardano.Ledger.Shelley.ImpTest
2222
import qualified Test.Cardano.Ledger.Shelley.UnitTests.InstantStakeTest as Instant
2323

@@ -30,12 +30,12 @@ spec ::
3030
Spec
3131
spec era = do
3232
describe "ShelleyEra Onwards" $ withImpInitEachEraVersion era $ do
33-
Deleg.spec
34-
Epoch.spec
35-
Ledger.spec
36-
Pool.spec
37-
Utxow.spec
38-
Utxo.spec
33+
DELEG.spec
34+
EPOCH.spec
35+
LEDGER.spec
36+
POOL.spec
37+
UTXOW.spec
38+
UTXO.spec
3939
describe "ShelleyEraPureTests" $ do
4040
Instant.spec @era
4141

@@ -47,4 +47,4 @@ shelleyEraSpecificSpec ::
4747
Spec
4848
shelleyEraSpecificSpec era = withImpInitEachEraVersion era $ do
4949
describe "ShelleyEra Specific" $
50-
Deleg.shelleyEraSpecificSpec
50+
DELEG.shelleyEraSpecificSpec

0 commit comments

Comments
 (0)