Tidy up Test.Cardano.Ledger.Alonzo.ImpTest

IntersectMBO · Apr 30, 2024 · 324a59d · 324a59d
1 parent be59c23
commit 324a59d
Showing 1 changed file with 11 additions and 14 deletions.
diff --git a/eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Imp/UtxosSpec.hs b/eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Imp/UtxosSpec.hs
@@ -36,10 +36,8 @@ import Test.Cardano.Ledger.Alonzo.ImpTest (
   ImpTestState,
   ShelleyEraImp,
   getsNES,
-  impAnn,
   submitTxAnn,
   submitTxAnn_,
-  submitTx_,
  )
 import Test.Cardano.Ledger.Common
 import Test.Cardano.Ledger.Core.Utils (txInAt)
@@ -72,15 +70,14 @@ spec = describe "UTXOS" $ do
   it "Invalid plutus script fails in phase 2" $ do
     txIn0 <- submitProducingTx
     exUnits <- getsNES $ nesEsL . curPParamsEpochStateL . ppMaxTxExUnitsL
-    impAnn "Submitting consuming transaction" $
-      submitTx_
-        ( mkBasicTx mkBasicTxBody
-            & bodyTxL . inputsTxBodyL .~ Set.singleton txIn0
-            & isValidTxL .~ IsValid False
-            & witsTxL . rdmrsTxWitsL
-              .~ Redeemers
-                ( Map.singleton
-                    (mkSpendingPurpose $ AsIx 0)
-                    (Data $ P.I 32, exUnits)
-                )
-        )
+    submitTxAnn_ "Submitting consuming transaction" $
+      ( mkBasicTx mkBasicTxBody
+          & bodyTxL . inputsTxBodyL .~ Set.singleton txIn0
+          & isValidTxL .~ IsValid False
+          & witsTxL . rdmrsTxWitsL
+            .~ Redeemers
+              ( Map.singleton
+                  (mkSpendingPurpose $ AsIx 0)
+                  (Data $ P.I 32, exUnits)
+              )
+      )