wip

Author: erikd

cardano-chain-gen/src/Cardano/Mock/ChainSync/Server.hs

@@ -53,8 +53,11 @@ import Data.Maybe (fromJust)
 import Data.Void (Void)
 import qualified Network.Mux as Mux
 import Ouroboros.Consensus.Block (CodecConfig, HasHeader, Point, StandardHash, castPoint)
+import Ouroboros.Consensus.Byron.Ledger ()
 import Ouroboros.Consensus.Config (TopLevelConfig, configCodec)
+import Ouroboros.Consensus.HardFork.Combinator ()
 import Ouroboros.Consensus.Ledger.Query (BlockQuery, ShowQuery)
+import Ouroboros.Consensus.Shelley.Ledger ()
 import Ouroboros.Consensus.Ledger.SupportsMempool (ApplyTxErr, GenTx, TxId)
 import Ouroboros.Consensus.Ledger.SupportsProtocol (LedgerSupportsProtocol)
 import Ouroboros.Consensus.Network.NodeToClient (Apps (..), Codecs' (..), DefaultCodecs)
@@ -294,10 +297,6 @@ runLocalServer iom codecConfig netMagic localDomainSock chainProdState =
             channel
             (Effect (forever $ threadDelay 3_600_000_000))
 
--- TODO: it should be defined somewhere in `ouroboros-consensus`
-instance ShowProxy blk => ShowProxy (TxId (GenTx blk)) where
-  showProxy _ = "TxId (GenTx (" ++ showProxy (Proxy :: Proxy blk) ++ ")"
-
 chainSyncServer ::
   forall blk m.
   ( HasHeader blk