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

@@ -49,11 +49,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

@@ -166,7 +166,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

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,7 +109,7 @@ spec =
             (tx txIn)
             [ injectFailure $
                 CollectErrors
-                  [ BadTranslation
+                  [ inject
                       ( ReferenceInputsNotDisjointFromInputs
                           (Set.singleton txIn)
                       )