Skip to content

Commit 625a664

Browse files
committed
Remove unnecessary constraints
1 parent ad57637 commit 625a664

File tree

5 files changed

+6
-23
lines changed
  • eras
    • alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo
    • babbage/impl/testlib/Test/Cardano/Ledger/Babbage
    • conway/impl/testlib/Test/Cardano/Ledger/Conway/Binary
  • libs
    • cardano-ledger-core/testlib/Test/Cardano/Ledger
    • cardano-ledger-test/bench/Bench/Cardano/Ledger

5 files changed

+6
-23
lines changed

eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/ImpTest.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -440,7 +440,7 @@ instance ShelleyEraImp AlonzoEra where
440440

441441
instance MaryEraImp AlonzoEra
442442

443-
instance MaryEraImp AlonzoEra => AlonzoEraImp AlonzoEra where
443+
instance AlonzoEraImp AlonzoEra where
444444
scriptTestContexts = plutusTestScripts SPlutusV1
445445

446446
impLookupScriptContext ::

eras/babbage/impl/testlib/Test/Cardano/Ledger/Babbage/ImpTest.hs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -104,9 +104,9 @@ impBabbageExpectTxSuccess tx = do
104104
impAnn "Collateral return should be in UTxO" $
105105
expectUTxOContent utxo [(txIn, (== Just txOut)) | (txIn, txOut) <- returns]
106106

107-
instance ShelleyEraImp BabbageEra => MaryEraImp BabbageEra
107+
instance MaryEraImp BabbageEra
108108

109-
instance ShelleyEraImp BabbageEra => AlonzoEraImp BabbageEra where
109+
instance AlonzoEraImp BabbageEra where
110110
scriptTestContexts = plutusTestScripts SPlutusV1 <> plutusTestScripts SPlutusV2
111111

112112
produceRefScript ::

eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Binary/Regression.hs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -38,9 +38,7 @@ import Test.Cardano.Ledger.Plutus.Examples (redeemerSameAsDatum)
3838

3939
spec ::
4040
forall era.
41-
( EraTx era
42-
, NFData (Tx era)
43-
) =>
41+
EraTx era =>
4442
Spec
4543
spec = describe "Regression" $ do
4644
it "DeserialiseFailure on resubmitting Conway Tx with invalid plutus script #4198" $ do

libs/cardano-ledger-core/testlib/Test/Cardano/Ledger/Era.hs

Lines changed: 2 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,6 @@ module Test.Cardano.Ledger.Era (
77

88
import Cardano.Ledger.BaseTypes
99
import Cardano.Ledger.Core
10-
import Cardano.Ledger.Genesis
1110
import Cardano.Ledger.State
1211
import Data.Functor.Identity
1312
import Test.Cardano.Ledger.Common
@@ -30,47 +29,35 @@ class
3029
, EraGov era
3130
, EraStake era
3231
, EraUTxO era
33-
, -- Other
34-
EraGenesis era
3532
, -- Arbitrary Core
3633
Arbitrary (Tx era)
3734
, Arbitrary (TxOut era)
3835
, Arbitrary (TxBody era)
3936
, Arbitrary (TxAuxData era)
4037
, Arbitrary (TxWits era)
4138
, Arbitrary (Script era)
42-
, -- , Arbitrary (PParams era)
43-
Arbitrary (PParamsHKD Identity era)
39+
, Arbitrary (PParamsHKD Identity era)
4440
, Arbitrary (PParamsHKD StrictMaybe era)
45-
, Arbitrary (TxSeq era) -- TODO: probably don't need this
4641
, Arbitrary (TxCert era)
4742
, Arbitrary (Value era)
4843
, -- Arbitrary State
4944
Arbitrary (CertState era)
5045
, Arbitrary (GovState era)
5146
, Arbitrary (InstantStake era)
52-
, -- , Arbitrary (UTxO era)
53-
-- Arbitrary Other
54-
Arbitrary (Genesis era)
5547
, -- ToExpr Core
5648
ToExpr (Tx era)
5749
, ToExpr (TxOut era)
5850
, ToExpr (TxBody era)
5951
, ToExpr (TxAuxData era)
6052
, ToExpr (TxWits era)
6153
, ToExpr (Script era)
62-
, -- , ToExpr (PParams era)
63-
ToExpr (PParamsHKD Identity era)
54+
, ToExpr (PParamsHKD Identity era)
6455
, ToExpr (PParamsHKD StrictMaybe era)
65-
, ToExpr (TxSeq era) -- TODO: probably don't need this
6656
, ToExpr (TxCert era)
6757
, ToExpr (Value era)
6858
, -- ToExpr State
6959
ToExpr (CertState era)
7060
, ToExpr (GovState era)
7161
, ToExpr (InstantStake era)
72-
, -- , ToExpr (UTxO era)
73-
-- ToExpr Other
74-
ToExpr (Genesis era)
7562
) =>
7663
EraTest era

libs/cardano-ledger-test/bench/Bench/Cardano/Ledger/ApplyTx.hs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -117,7 +117,6 @@ deserialiseTxEra ::
117117
, State (EraRule "LEDGER" era) ~ LedgerState era
118118
, Environment (EraRule "LEDGER" era) ~ LedgerEnv era
119119
, Signal (EraRule "LEDGER" era) ~ Tx era
120-
, NFData (Tx era)
121120
, EraStake era
122121
, EraGov era
123122
) =>
@@ -137,7 +136,6 @@ deserialiseAnnTxEra ::
137136
, State (EraRule "LEDGER" era) ~ LedgerState era
138137
, Environment (EraRule "LEDGER" era) ~ LedgerEnv era
139138
, Signal (EraRule "LEDGER" era) ~ Tx era
140-
, NFData (Tx era)
141139
, EraStake era
142140
, EraGov era
143141
, DecCBOR (Annotator (Tx era))

0 commit comments

Comments
 (0)