Merge #3282

3282: Bump cardano-ledger-specs and fix breaking change r=nfrisby a=kk-hainq



Co-authored-by: hainq <hai@meld.com>

cabal.project

@@ -211,8 +211,8 @@ source-repository-package
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/cardano-ledger-specs
-  tag: 51561fcb13170e3849873eef82e634c1041ee1d6
-  --sha256: 1699hbz1i92hbjjzv9ym43qzji5xiz7gqbd0y8m2ylc353c0sxzn
+  tag: 30eca73a2f5c13f1fbed9a98a59540ac3d0c8afe
+  --sha256: 02klj4zpcl98p22n2v9nkjxxdf8mmw069mw4ddhlgr931bfigz6w
   subdir:
     alonzo/impl
     alonzo/test

ouroboros-consensus-shelley/src/Ouroboros/Consensus/Shelley/Eras.hs

@@ -235,13 +235,13 @@ instance SL.PraosCrypto c => ShelleyBasedEra (AlonzoEra c) where
               ledgerEnv
               mempoolState
               wti
-              tx{Alonzo.isValidating = Alonzo.IsValidating (not flag)}
+              tx{Alonzo.isValid = Alonzo.IsValid (not flag)}
         _ -> throwError e
                -- reject the transaction, protecting the local wallet
 
 -- not exported
 --
--- The ledger failure we see when the transaction's claimed 'IsValidating'
+-- The ledger failure we see when the transaction's claimed 'IsValid'
 -- flag was incorrect
 pattern IncorrectClaimedFlag ::
      Bool
@@ -252,14 +252,14 @@ pattern IncorrectClaimedFlag claimedFlag <-
         (SL.UtxoFailure
           (Alonzo.UtxosFailure
             (Alonzo.ValidationTagMismatch
-              (Alonzo.IsValidating claimedFlag
+              (Alonzo.IsValid claimedFlag
       )))))
 
 -- | The ledger responded with Alonzo errors we were not expecting
 data UnexpectedAlonzoLedgerErrors =
     -- | We received more than one 'Alonzo.ValidationTagMismatch'
     --
-    -- The exception lists the 'Alonzo.IsValidating' flags we saw.
+    -- The exception lists the 'Alonzo.IsValid' flags we saw.
     UnexpectedAlonzoLedgerErrors [Bool]
   deriving (Show, Exception)