Add RefScriptSizeTooBig predicate failure to ConwayBbodyPredFailure

IntersectMBO · Jun 27, 2024 · 3fd77f4 · 3fd77f4
1 parent 4189450
commit 3fd77f4
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Bbody.hs b/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Bbody.hs
@@ -104,6 +104,11 @@ data ConwayBbodyPredFailure era
       !ExUnits
       -- | Maximum allowed by protocal parameters
       !ExUnits
+  | RefScriptsSizeTooBig
+      -- | Computed sum of reference script size
+      Int
+      -- | Maximum allowed total reference script size
+      Int
   deriving (Generic)
 
 deriving instance
@@ -130,6 +135,7 @@ instance
       InvalidBodyHashBBODY x y -> Sum (InvalidBodyHashBBODY @era) 1 !> To x !> To y
       LedgersFailure x -> Sum (LedgersFailure @era) 2 !> To x
       TooManyExUnits x y -> Sum TooManyExUnits 3 !> To x !> To y
+      RefScriptsSizeTooBig x y -> Sum RefScriptsSizeTooBig 4 !> To x !> To y
 
 instance
   ( Era era
@@ -142,6 +148,7 @@ instance
     1 -> SumD InvalidBodyHashBBODY <! From <! From
     2 -> SumD LedgersFailure <! From
     3 -> SumD TooManyExUnits <! From <! From
+    4 -> SumD RefScriptsSizeTooBig <! From <! From
     n -> Invalid n
 
 type instance EraRuleFailure "BBODY" (ConwayEra c) = ConwayBbodyPredFailure (ConwayEra c)

diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/PrettyCore.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/PrettyCore.hs
@@ -1656,6 +1656,12 @@ instance Reflect era => PrettyA (ShelleyBbodyPredFailure era) where
 
 -- ================
 ppConwayBbodyPredFail :: forall era. Reflect era => ConwayBbodyPredFailure era -> PDoc
+ppConwayBbodyPredFail (ConwayRules.RefScriptsSizeTooBig s1 s2) =
+  ppRecord
+    "RefScriptsSizeTooBig"
+    [ ("Computed sum of reference script size", ppInt s1)
+    , ("Maximum allowed total reference script size", ppInt s2)
+    ]
 ppConwayBbodyPredFail (ConwayRules.TooManyExUnits e1 e2) =
   ppRecord
     "TooManyExUnits"