Merge pull request #5428 from IntersectMBO/carlos/update-fls-enable-tests-4

Update formal-ledger-specifications

Author: lehins

cabal.project

@@ -16,7 +16,7 @@ source-repository-package
   subdir: hs
   -- !WARNING!:
   -- MAKE SURE THIS POINTS TO A COMMIT IN `*-artifacts` BEFORE MERGE!
-  tag: 7a4c75d285595b7d21228a6208a99ca436aa88f4
+  tag: 209fbde423c0ee900cdfce694f2c5c5c24382482
 
 source-repository-package
   type: git

flake.lock

@@ -44,7 +44,7 @@ deriving instance Ord DrepThresholds
 
 deriving instance Ord PParamsUpdate
 
-deriving instance Ord RwdAddr
+deriving instance Ord RewardAddress
 
 deriving instance Ord GovAction
 
@@ -56,7 +56,7 @@ instance NFData a => NFData (HSSet a)
 
 instance NFData PParamsUpdate
 
-instance NFData RwdAddr
+instance NFData RewardAddress
 
 instance NFData GovAction
 
@@ -174,7 +174,7 @@ instance (ToExpr k, ToExpr v) => ToExpr (HSMap k v)
 
 instance ToExpr PParamsUpdate
 
-instance ToExpr RwdAddr
+instance ToExpr RewardAddress
 
 instance ToExpr GovAction
 
@@ -351,7 +351,7 @@ instance SpecNormalize Agda.Rational where
 
 instance SpecNormalize PParamsUpdate
 
-instance SpecNormalize RwdAddr
+instance SpecNormalize RewardAddress
 
 instance SpecNormalize GovAction
 

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/Orphans.hs

@@ -397,7 +397,7 @@ instance
         \(cred, Coin amount) -> do
           agdaCred <- toSpecRep cred
           network <- toSpecRep Testnet -- TODO where should this really come from?
-          pure (Agda.RwdAddr network agdaCred, amount)
+          pure (Agda.RewardAddress network agdaCred, amount)
       transHashProtected x h = do
         committee <- toSpecRep x
         agdaLastId <- case h of

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Base.hs

@@ -166,9 +166,9 @@ instance SpecTranslate ctx ExUnits where
   toSpecRep (ExUnits a b) = pure (toInteger a, toInteger b)
 
 instance SpecTranslate ctx RewardAccount where
-  type SpecRep RewardAccount = Agda.RwdAddr
+  type SpecRep RewardAccount = Agda.RewardAddress
 
-  toSpecRep (RewardAccount n c) = Agda.RwdAddr <$> toSpecRep n <*> toSpecRep c
+  toSpecRep (RewardAccount n c) = Agda.RewardAddress <$> toSpecRep n <*> toSpecRep c
 
 instance
   ( SpecRep DataHash ~ Agda.DataHash