Reapply review suggestions

Author: Soupstraw

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

@@ -287,9 +287,9 @@ fixupDatums tx = impAnn "fixupDatums" $ do
     getData txOut =
       let sh = txOutScriptHash txOut
        in case txOut ^. datumTxOutF of
-            DatumHash _dh -> case Map.lookup sh (scriptTestContexts @era) of
-              Just x -> pure . Just $ spendDatum x
-              Nothing -> do
+            DatumHash dh -> case Map.lookup sh (scriptTestContexts @era) of
+              Just x | hashData @era (spendDatum x) == dh -> pure . Just $ spendDatum x
+              _ -> do
                 logText $
                   "Script not found in `scriptTestContexts`:\n"
                     <> T.pack (show sh)

eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs

@@ -232,7 +232,9 @@ disjointRefInputs ::
   Test (BabbageUtxoPredFailure era)
 disjointRefInputs pp inputs refInputs =
   when
-    (pvMajor (pp ^. ppProtocolVersionL) == natVersion @10)
+    ( pvMajor (pp ^. ppProtocolVersionL) > eraProtVerHigh @BabbageEra
+        && pvMajor (pp ^. ppProtocolVersionL) < natVersion @11
+    )
     (failureOnNonEmpty common BabbageNonDisjointRefInputs)
   where
     common = inputs `Set.intersection` refInputs

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

@@ -13,11 +13,10 @@ import Cardano.Ledger.Babbage.Core (
   EraTx (..),
   EraTxBody (..),
   EraTxOut (..),
-  KeyRole (..),
  )
 import Cardano.Ledger.BaseTypes (Inject (..))
 import Cardano.Ledger.Coin (Coin (..))
-import Cardano.Ledger.Credential (Credential (..), StakeReference (..))
+import Cardano.Ledger.Credential (StakeReference (..))
 import Cardano.Ledger.Plutus (
   Data (..),
   Datum (..),
@@ -49,11 +48,11 @@ spec = describe "UTXO" $ do
         txOut =
           mkBasicTxOut
             ( mkAddr
-                (ScriptHashObj @'Payment $ hashPlutusScript (inputsOverlapsWithRefInputs SPlutusV2))
+                (hashPlutusScript (inputsOverlapsWithRefInputs SPlutusV2))
                 StakeRefNull
             )
             (inject $ Coin 1_000_000)
-            & datumTxOutL .~ (Datum . dataToBinaryData . Data . PV1.I $ 0)
+            & datumTxOutL .~ Datum (dataToBinaryData . Data $ PV1.I 0)
       tx <-
         submitTx $
           mkBasicTx mkBasicTxBody

eras/conway/impl/src/Cardano/Ledger/Conway/TxInfo.hs

@@ -118,6 +118,7 @@ import Control.DeepSeq (NFData)
 import Control.Monad (unless, when, zipWithM)
 import Data.Aeson (ToJSON (..), (.=))
 import Data.Foldable as F (Foldable (..))
+import Data.List.NonEmpty (NonEmpty (..))
 import qualified Data.Map.Strict as Map
 import qualified Data.OSet.Strict as OSet
 import qualified Data.Set as Set
@@ -166,7 +167,7 @@ data ConwayContextError era
   | VotingProceduresFieldNotSupported !(VotingProcedures era)
   | ProposalProceduresFieldNotSupported !(OSet.OSet (ProposalProcedure era))
   | TreasuryDonationFieldNotSupported !Coin
-  | ReferenceInputsNotDisjointFromInputs !(Set.Set TxIn)
+  | ReferenceInputsNotDisjointFromInputs !(NonEmpty TxIn)
   deriving (Generic)
 
 deriving instance
@@ -472,8 +473,9 @@ instance EraPlutusTxInfo 'PlutusV3 ConwayEra where
     refInputsInfo <- mapM (transTxInInfoV3 ltiUTxO) (Set.toList refInputs)
     let
       commonInputs = txInputs `Set.intersection` refInputs
-    unless (pvMajor ltiProtVer < natVersion @11 || Set.null commonInputs) . Left $
-      ReferenceInputsNotDisjointFromInputs commonInputs
+    unless (pvMajor ltiProtVer < natVersion @11) $ case toList commonInputs of
+      (x : xs) -> Left $ ReferenceInputsNotDisjointFromInputs $ x :| xs
+      _ -> Right ()
     outputs <-
       zipWithM
         (Babbage.transTxOutV2 . TxOutFromOutput)

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

@@ -90,7 +90,6 @@ spec ::
   , ToExpr (Event (EraRule "ENACT" era))
   , Eq (Event (EraRule "ENACT" era))
   , Typeable (Event (EraRule "ENACT" era))
-  , ContextError era ~ ConwayContextError era
   ) =>
   Spec
 spec = do
@@ -126,7 +125,6 @@ conwaySpec ::
   , ToExpr (Event (EraRule "ENACT" era))
   , Eq (Event (EraRule "ENACT" era))
   , Typeable (Event (EraRule "ENACT" era))
-  , ContextError era ~ ConwayContextError era
   ) =>
   SpecWith (ImpInit (LedgerSpec era))
 conwaySpec = do

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

@@ -58,7 +58,6 @@ spec ::
   ( ConwayEraImp era
   , InjectRuleFailure "LEDGER" BabbageUtxoPredFailure era
   , InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era
-  , ContextError era ~ ConwayContextError era
   ) =>
   SpecWith (ImpInit (LedgerSpec era))
 spec =
@@ -110,11 +109,7 @@ spec =
             (tx txIn)
             [ injectFailure $
                 CollectErrors
-                  [ BadTranslation
-                      ( ReferenceInputsNotDisjointFromInputs
-                          (Set.singleton txIn)
-                      )
-                  ]
+                  [inject (ReferenceInputsNotDisjointFromInputs (Set.singleton txIn))]
             ]
   where
     checkMinFee :: HasCallStack => NativeScript era -> [Script era] -> ImpTestM era ()