wip - tpraos: remove from testlib, empty module

Author: teodanciu

libs/cardano-protocol-tpraos/cardano-protocol-tpraos.cabal

@@ -88,7 +88,6 @@ library testlib
     cardano-crypto-class >=2.1.1,
     cardano-ledger-babbage,
     cardano-ledger-binary:{cardano-ledger-binary, testlib},
-    cardano-ledger-conway:testlib,
     cardano-ledger-core:{cardano-ledger-core, testlib},
     cardano-ledger-shelley:testlib,
     cardano-protocol-tpraos,

libs/cardano-protocol-tpraos/test/Test/Cardano/Protocol/Binary/BinarySpec.hs

@@ -8,7 +8,6 @@ module Test.Cardano.Protocol.Binary.BinarySpec (spec) where
 
 import Cardano.Ledger.Allegra (AllegraEra)
 import Cardano.Ledger.Alonzo (AlonzoEra)
-import Cardano.Ledger.Binary (DecCBOR)
 import Cardano.Ledger.Block
 import Cardano.Ledger.Core
 import Cardano.Ledger.Mary (MaryEra)
@@ -22,7 +21,6 @@ import Test.Cardano.Ledger.Alonzo.Arbitrary ()
 import Test.Cardano.Ledger.Binary (decoderEquivalenceProp, decoderEquivalenceSpec)
 import Test.Cardano.Ledger.Common
 import Test.Cardano.Ledger.Mary.Arbitrary ()
-import Test.Cardano.Protocol.Binary.Annotator
 import Test.Cardano.Protocol.TPraos.Arbitrary ()
 
 spec :: Spec
@@ -38,7 +36,6 @@ blockEraSpec ::
   forall era.
   ( EraSegWits era
   , Arbitrary (Tx era)
-  , DecCBOR (Annotator (TxSeq era))
   ) =>
   Spec
 blockEraSpec =

libs/cardano-protocol-tpraos/testlib/Test/Cardano/Protocol/Binary/Annotator.hs

@@ -6,19 +6,4 @@
 {-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
-module Test.Cardano.Protocol.Binary.Annotator (
-  module Test.Cardano.Ledger.Conway.Binary.Annotator,
-) where
-
-import Cardano.Ledger.Binary
-import Cardano.Protocol.Crypto
-import Cardano.Protocol.TPraos.BHeader
-import Test.Cardano.Ledger.Conway.Binary.Annotator
-
-instance Crypto c => DecCBOR (Annotator (BHeaderRaw c)) where
-  decCBOR = pure <$> decCBOR
-
-deriving via
-  Mem (BHeaderRaw c)
-  instance
-    Crypto c => DecCBOR (Annotator (BHeader c))
+module Test.Cardano.Protocol.Binary.Annotator where

libs/cardano-protocol-tpraos/testlib/Test/Cardano/Protocol/Binary/RoundTrip.hs

@@ -23,7 +23,6 @@ roundTripBlockSpec ::
   , DecCBOR (Annotator h)
   , EncCBOR h
   , EraSegWits era
-  , DecCBOR (Annotator (TxSeq era))
   , Arbitrary (Block h era)
   ) =>
   Spec