Remove Fields types from Generic tests

Author: Soupstraw

eras/allegra/impl/testlib/Test/Cardano/Ledger/Allegra/Era.hs

@@ -9,9 +9,9 @@ module Test.Cardano.Ledger.Allegra.Era (
 import Cardano.Ledger.Allegra
 import Cardano.Ledger.Allegra.Core
 import Cardano.Ledger.Allegra.Scripts
+import Cardano.Ledger.Plutus (emptyCostModels)
 import Test.Cardano.Ledger.Allegra.Arbitrary ()
 import Test.Cardano.Ledger.Allegra.TreeDiff ()
-import Test.Cardano.Ledger.Era
 import Test.Cardano.Ledger.Shelley.Era
 
 class
@@ -22,7 +22,8 @@ class
   ) =>
   AllegraEraTest era
 
-instance EraTest AllegraEra
+instance EraTest AllegraEra where
+  zeroCostModels = emptyCostModels
 
 instance ShelleyEraTest AllegraEra
 

eras/alonzo/impl/CHANGELOG.md

@@ -2,6 +2,7 @@
 
 ## 1.14.0.0
 
+* Add `Generic` instance to `TransactionScriptFailure`
 * Fix `AlonzoPlutusPurpose` CBOR(Group) instances. #5135
   * Reset shuffled serialization indexes for `AlonzoPlutusPurpose AsItem`.
 * Deprecated `toAlonzoTransitionConfigPairs`

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Plutus/Evaluate.hs

@@ -268,6 +268,7 @@ data TransactionScriptFailure era
     NoCostModelInLedgerState !Language
   | -- | Error that can happen during plutus context translation
     ContextError !(ContextError era)
+  deriving (Generic)
 
 deriving instance
   ( Era era

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

@@ -1,4 +1,7 @@
 {-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableSuperClasses #-}
@@ -12,12 +15,13 @@ module Test.Cardano.Ledger.Alonzo.Era (
 import Cardano.Ledger.Alonzo
 import Cardano.Ledger.Alonzo.Core
 import Cardano.Ledger.Alonzo.Plutus.Context
-import Cardano.Ledger.Alonzo.Scripts ()
 import Cardano.Ledger.Alonzo.UTxO
+import Cardano.Ledger.Plutus (Language (..))
 import Data.TreeDiff
 import Test.Cardano.Ledger.Alonzo.Arbitrary ()
 import Test.Cardano.Ledger.Alonzo.TreeDiff ()
 import Test.Cardano.Ledger.Mary.Era
+import Test.Cardano.Ledger.Plutus (zeroTestingCostModels)
 
 class
   ( MaryEraTest era
@@ -32,7 +36,8 @@ class
   ) =>
   AlonzoEraTest era
 
-instance EraTest AlonzoEra
+instance EraTest AlonzoEra where
+  zeroCostModels = zeroTestingCostModels [PlutusV1]
 
 instance ShelleyEraTest AlonzoEra
 

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

@@ -31,6 +31,7 @@ import Cardano.Ledger.Compactible
 import Cardano.Ledger.Plutus.Evaluate (PlutusWithContext (..))
 import Cardano.Ledger.Shelley.Rules
 import qualified Data.TreeDiff.OMap as OMap
+import PlutusLedgerApi.Common (EvaluationError (..), ExBudget, ExCPU, ExMemory, SatInt)
 import Test.Cardano.Ledger.Mary.TreeDiff
 
 -- Scripts
@@ -179,3 +180,22 @@ instance
 instance
   ToExpr (PredicateFailure (EraRule "LEDGERS" era)) =>
   ToExpr (AlonzoBbodyPredFailure era)
+
+instance ToExpr EvaluationError where
+  toExpr = toExpr . show
+
+instance ToExpr SatInt
+
+instance ToExpr ExCPU
+
+instance ToExpr ExMemory
+
+instance ToExpr ExBudget
+
+instance
+  ( ToExpr (PlutusPurpose AsIx era)
+  , ToExpr (PlutusPurpose AsItem era)
+  , ToExpr (PlutusScript era)
+  , ToExpr (ContextError era)
+  ) =>
+  ToExpr (TransactionScriptFailure era)

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

@@ -8,9 +8,11 @@ module Test.Cardano.Ledger.Babbage.Era (
 
 import Cardano.Ledger.Babbage
 import Cardano.Ledger.Babbage.Core
+import Cardano.Ledger.Plutus (Language (..))
 import Test.Cardano.Ledger.Alonzo.Era
 import Test.Cardano.Ledger.Babbage.Arbitrary ()
 import Test.Cardano.Ledger.Babbage.TreeDiff ()
+import Test.Cardano.Ledger.Plutus (zeroTestingCostModels)
 
 class
   ( AlonzoEraTest era
@@ -19,7 +21,8 @@ class
   ) =>
   BabbageEraTest era
 
-instance EraTest BabbageEra
+instance EraTest BabbageEra where
+  zeroCostModels = zeroTestingCostModels [PlutusV1 .. PlutusV2]
 
 instance ShelleyEraTest BabbageEra
 

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

@@ -10,9 +10,11 @@ import Cardano.Ledger.Conway
 import Cardano.Ledger.Conway.Core
 import Cardano.Ledger.Conway.Governance
 import Cardano.Ledger.Conway.State
+import Cardano.Ledger.Plutus (Language (..))
 import Test.Cardano.Ledger.Babbage.Era
 import Test.Cardano.Ledger.Conway.Arbitrary ()
 import Test.Cardano.Ledger.Conway.TreeDiff ()
+import Test.Cardano.Ledger.Plutus (zeroTestingCostModels)
 
 class
   ( BabbageEraTest era
@@ -22,7 +24,8 @@ class
   ) =>
   ConwayEraTest era
 
-instance EraTest ConwayEra
+instance EraTest ConwayEra where
+  zeroCostModels = zeroTestingCostModels [PlutusV1 .. PlutusV3]
 
 instance ShelleyEraTest ConwayEra
 

eras/dijkstra/testlib/Test/Cardano/Ledger/Dijkstra/Era.hs

@@ -1,21 +1,19 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 
-module Test.Cardano.Ledger.Dijkstra.Era () where
+module Test.Cardano.Ledger.Dijkstra.Era (
+  module Test.Cardano.Ledger.Conway.Era,
+) where
 
 import Cardano.Ledger.Dijkstra (DijkstraEra)
-import Test.Cardano.Ledger.Conway.Era (
-  AllegraEraTest,
-  AlonzoEraTest,
-  BabbageEraTest,
-  ConwayEraTest,
-  EraTest,
-  MaryEraTest,
-  ShelleyEraTest,
- )
+import Cardano.Ledger.Plutus (Language (..))
+import Test.Cardano.Ledger.Conway.Era
 import Test.Cardano.Ledger.Dijkstra.Arbitrary ()
 import Test.Cardano.Ledger.Dijkstra.TreeDiff ()
+import Test.Cardano.Ledger.Plutus (zeroTestingCostModels)
 
-instance EraTest DijkstraEra
+instance EraTest DijkstraEra where
+  -- TODO add PlutusV4?
+  zeroCostModels = zeroTestingCostModels [PlutusV1 .. PlutusV3]
 
 instance ShelleyEraTest DijkstraEra
 

eras/mary/impl/testlib/Test/Cardano/Ledger/Mary/Era.hs

@@ -8,6 +8,7 @@ module Test.Cardano.Ledger.Mary.Era (
 
 import Cardano.Ledger.Mary
 import Cardano.Ledger.Mary.Core
+import Cardano.Ledger.Plutus (emptyCostModels)
 import Test.Cardano.Ledger.Allegra.Era
 import Test.Cardano.Ledger.Mary.Arbitrary ()
 import Test.Cardano.Ledger.Mary.TreeDiff ()
@@ -18,7 +19,8 @@ class
   ) =>
   MaryEraTest era
 
-instance EraTest MaryEra
+instance EraTest MaryEra where
+  zeroCostModels = emptyCostModels
 
 instance ShelleyEraTest MaryEra
 

eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Era.hs

@@ -1,12 +1,14 @@
 {-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE UndecidableSuperClasses #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 module Test.Cardano.Ledger.Shelley.Era (
-  EraTest,
+  EraTest (..),
   ShelleyEraTest,
 ) where
 
+import Cardano.Ledger.Plutus (emptyCostModels)
 import Cardano.Ledger.Shelley
 import Cardano.Ledger.Shelley.LedgerState
 import Cardano.Ledger.Shelley.Scripts
@@ -33,6 +35,7 @@ class
   ) =>
   ShelleyEraTest era
 
-instance EraTest ShelleyEra
+instance EraTest ShelleyEra where
+  zeroCostModels = emptyCostModels
 
 instance ShelleyEraTest ShelleyEra