Remove babbageEraSpecificSpec

No longer necessary since the introduction of `genRegTxCert`,
`genUnRegTxCert` `ShelleyEraImp` typeclass methods.

Author: Lucsanszky

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

@@ -6,7 +6,7 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
-module Test.Cardano.Ledger.Babbage.Imp (spec, babbageEraSpecificSpec) where
+module Test.Cardano.Ledger.Babbage.Imp (spec) where
 
 import Cardano.Ledger.Alonzo.Plutus.Context (ContextError)
 import Cardano.Ledger.Alonzo.Rules (
@@ -15,7 +15,7 @@ import Cardano.Ledger.Alonzo.Rules (
   AlonzoUtxowPredFailure,
  )
 import Cardano.Ledger.Babbage (BabbageEra)
-import Cardano.Ledger.Babbage.Core (BabbageEraTxBody, InjectRuleFailure, ShelleyEraTxCert)
+import Cardano.Ledger.Babbage.Core (BabbageEraTxBody, InjectRuleFailure)
 import Cardano.Ledger.Babbage.Rules (BabbageUtxoPredFailure, BabbageUtxowPredFailure)
 import Cardano.Ledger.Babbage.TxInfo (BabbageContextError)
 import Cardano.Ledger.BaseTypes (Inject)
@@ -55,19 +55,6 @@ spec = do
       Utxow.spec
       Utxos.spec @era
 
-babbageEraSpecificSpec ::
-  forall era.
-  ( AlonzoEraImp era
-  , ShelleyEraTxCert era
-  , BabbageEraTxBody era
-  ) =>
-  SpecWith (ImpInit (LedgerSpec era))
-babbageEraSpecificSpec = do
-  describe "Babbage era specific Imp spec" $
-    describe "Certificates without deposits" $
-      describe "UTXOW" Utxow.babbageEraSpecificSpec
-
 instance EraSpecificSpec BabbageEra where
   eraSpecificSpec =
     AlonzoImp.alonzoEraSpecificSpec
-      >> babbageEraSpecificSpec

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

@@ -4,11 +4,11 @@
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 
-module Test.Cardano.Ledger.Babbage.Imp.UtxowSpec (spec, babbageEraSpecificSpec) where
+module Test.Cardano.Ledger.Babbage.Imp.UtxowSpec (spec) where
 
 import Cardano.Ledger.Alonzo.Plutus.Context (ContextError)
 import Cardano.Ledger.Alonzo.Rules (AlonzoUtxosPredFailure, AlonzoUtxowPredFailure)
-import Cardano.Ledger.Babbage.Core (BabbageEraTxBody, InjectRuleFailure, ShelleyEraTxCert)
+import Cardano.Ledger.Babbage.Core (BabbageEraTxBody, InjectRuleFailure)
 import Cardano.Ledger.Babbage.Rules (BabbageUtxowPredFailure)
 import Cardano.Ledger.Babbage.TxInfo (BabbageContextError)
 import Cardano.Ledger.BaseTypes (Inject)
@@ -33,14 +33,3 @@ spec = do
   describe "UTXOW" $ do
     Valid.spec
     Invalid.spec
-
-babbageEraSpecificSpec ::
-  forall era.
-  ( AlonzoEraImp era
-  , BabbageEraTxBody era
-  , ShelleyEraTxCert era
-  ) =>
-  SpecWith (ImpInit (LedgerSpec era))
-babbageEraSpecificSpec = do
-  describe "UTXOW - certificates without deposits" $ do
-    Valid.babbageEraSpecificSpec

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

@@ -3,7 +3,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications #-}
 
-module Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Valid (spec, babbageEraSpecificSpec) where
+module Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Valid (spec) where
 
 import Cardano.Ledger.Alonzo.TxWits (unTxDatsL)
 import Cardano.Ledger.Babbage.Core
@@ -171,17 +171,6 @@ spec = describe "Valid" $ do
                 & bodyTxL . inputsTxBodyL .~ [txInAt 0 txInitial]
                 & bodyTxL . referenceInputsTxBodyL .~ [txInAt 1 txInitial]
 
-babbageEraSpecificSpec ::
-  forall era.
-  ( AlonzoEraImp era
-  , BabbageEraTxBody era
-  , ShelleyEraTxCert era
-  ) =>
-  SpecWith (ImpInit (LedgerSpec era))
-babbageEraSpecificSpec = describe "Valid" $ do
-  forM_ @[] [PlutusV2 .. eraMaxLanguage @era] $ \slang -> do
-    describe (show slang) $ do
-      withSLanguage slang $ \lang -> do
         it "Use a reference script to authorize a delegation certificate" $ do
           addr <- freshKeyAddr_
           plutus <- mkPlutusScript $ alwaysSucceedsNoDatum lang
@@ -196,9 +185,10 @@ babbageEraSpecificSpec = describe "Valid" $ do
             submitTx $
               mkBasicTx mkBasicTxBody
                 & bodyTxL . outputsTxBodyL .~ [txOut, txOutRef]
+          cert <- genRegTxCert $ ScriptHashObj $ hashScript script
           submitTx_ $
             mkBasicTx mkBasicTxBody
               & bodyTxL . inputsTxBodyL .~ [txInAt 0 txInitial]
               & bodyTxL . referenceInputsTxBodyL .~ [txInAt 1 txInitial]
               & bodyTxL . certsTxBodyL
-                .~ [RegTxCert . ScriptHashObj $ hashScript script]
+                .~ [cert]

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

@@ -157,5 +157,4 @@ conwayEraSpecificSpec = do
 instance EraSpecificSpec ConwayEra where
   eraSpecificSpec =
     AlonzoImp.alonzoEraSpecificSpec
-      >> BabbageImp.babbageEraSpecificSpec
       >> conwayEraSpecificSpec