Add tests for Metadata serialisation.

- Round-tripping of MA-era Metadata
- Check that Shelley-era metadata deserialises as MA-era.

shelley-ma/impl/src/Cardano/Ledger/ShelleyMA/Metadata.hs

@@ -121,7 +121,7 @@ instance
 encMetadataRaw ::
   (Core.AnnotatedData (Core.Script era)) =>
   MetadataRaw era ->
-  Encode ('Closed 'Dense) (MetadataRaw era)
+  Encode ( 'Closed 'Dense) (MetadataRaw era)
 encMetadataRaw (MetadataRaw blob sp) =
   Rec MetadataRaw
     !> To blob

shelley-ma/shelley-ma-test/src/Test/Cardano/Ledger/ShelleyMA/Serialisation/CDDL.hs

@@ -1,38 +1,43 @@
-{-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TypeApplications #-}
 
-module Test.Cardano.Ledger.ShelleyMA.Serialisation.CDDL 
+module Test.Cardano.Ledger.ShelleyMA.Serialisation.CDDL
   ( cddlTests,
   )
 where
 
-
+import Cardano.Ledger.Allegra (AllegraEra)
+import qualified Cardano.Ledger.Core as Core
+import Cardano.Ledger.Mary (MaryEra)
+import Cardano.Ledger.Shelley (ShelleyEra)
+import qualified Data.ByteString.Lazy as BSL
+import Test.Shelley.Spec.Ledger.ConcreteCryptoTypes (C_Crypto)
 import Test.Shelley.Spec.Ledger.Serialisation.CDDLUtils
   ( cddlTest,
     cddlTest',
   )
+import Test.Tasty (TestTree, testGroup, withResource)
 
-
-import qualified Cardano.Ledger.Core as Core
-import Test.Shelley.Spec.Ledger.ConcreteCryptoTypes (C_Crypto)
-import Cardano.Ledger.Mary (MaryEra)
-import Cardano.Ledger.Allegra (AllegraEra)
-
-import Test.Tasty (TestTree, withResource, testGroup)
-import qualified Data.ByteString.Lazy as BSL
+type S = ShelleyEra C_Crypto
 
 type A = AllegraEra C_Crypto
+
 type M = MaryEra C_Crypto
 
 cddlTests :: Int -> TestTree
 cddlTests n = withResource combinedCDDL (const (pure ())) $ \cddl ->
   testGroup "CDDL roundtrip tests" $
-    [ cddlTest @(Core.Value A) n "coin"
-    --, cddlTest @(Core.Value M) n "value"
-    -- , cddlTest' @(Core.TxBody M) n "transaction_body"
-    -- , cddlTest' @(Core.TxBody A) n "transaction_body"
-    , cddlTest' @(Core.Script M) n "native_script"
-    , cddlTest' @(Core.Script A) n "native_script"
+    [ cddlTest @(Core.Value A) n "coin",
+      --, cddlTest @(Core.Value M) n "value"
+      -- , cddlTest' @(Core.TxBody M) n "transaction_body"
+      -- , cddlTest' @(Core.TxBody A) n "transaction_body"
+      cddlTest' @(Core.Script M) n "native_script",
+      cddlTest' @(Core.Script A) n "native_script",
+      -- Verify that Shelley-era metadata will validate correctly as MA-era
+      -- metadata
+      cddlTest' @(Core.Metadata S) n "metadata",
+      cddlTest' @(Core.Metadata M) n "metadata",
+      cddlTest' @(Core.Metadata A) n "metadata"
     ]
       <*> pure cddl