remove protocol rules from era mappings

IntersectMBO · Oct 13, 2021 · 7fd7993 · 7fd7993
1 parent c0eb3fb
commit 7fd7993
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 21 deletions.
diff --git a/eras/alonzo/impl/src/Cardano/Ledger/Alonzo.hs b/eras/alonzo/impl/src/Cardano/Ledger/Alonzo.hs
@@ -86,8 +86,6 @@ import Cardano.Ledger.Shelley.UTxO (balance)
 import Cardano.Ledger.ShelleyMA.Rules.Utxo (consumed)
 import Cardano.Ledger.ShelleyMA.Timelocks (validateTimelock)
 import Cardano.Ledger.Val (Val (inject), coin, (<->))
-import qualified Cardano.Protocol.TPraos.Rules.OCert as Shelley
-import qualified Cardano.Protocol.TPraos.Rules.Overlay as Shelley
 import Control.Arrow (left)
 import Control.Monad.Except (liftEither)
 import Control.Monad.Reader (runReader)
@@ -264,10 +262,6 @@ type instance Core.EraRule "NEWEPOCH" (AlonzoEra c) = API.NEWEPOCH (AlonzoEra c)
 
 type instance Core.EraRule "NEWPP" (AlonzoEra c) = Shelley.NEWPP (AlonzoEra c)
 
-type instance Core.EraRule "OCERT" (AlonzoEra c) = Shelley.OCERT (AlonzoEra c)
-
-type instance Core.EraRule "OVERLAY" (AlonzoEra c) = Shelley.OVERLAY (AlonzoEra c)
-
 type instance Core.EraRule "POOL" (AlonzoEra c) = API.POOL (AlonzoEra c)
 
 type instance Core.EraRule "POOLREAP" (AlonzoEra c) = API.POOLREAP (AlonzoEra c)

diff --git a/eras/shelley-ma/impl/src/Cardano/Ledger/ShelleyMA/Rules/EraMapping.hs b/eras/shelley-ma/impl/src/Cardano/Ledger/ShelleyMA/Rules/EraMapping.hs
@@ -16,8 +16,6 @@ import qualified Cardano.Ledger.Shelley.Rules.Upec as Shelley
 import Cardano.Ledger.ShelleyMA (ShelleyMAEra)
 import Cardano.Ledger.ShelleyMA.Rules.Utxo (UTXO)
 import Cardano.Ledger.ShelleyMA.Rules.Utxow (UTXOW)
-import qualified Cardano.Protocol.TPraos.Rules.OCert as Shelley
-import qualified Cardano.Protocol.TPraos.Rules.Overlay as Shelley
 
 -- These rules are all inherited from Shelley
 
@@ -41,10 +39,6 @@ type instance Core.EraRule "NEWEPOCH" (ShelleyMAEra ma c) = Shelley.NEWEPOCH (Sh
 
 type instance Core.EraRule "NEWPP" (ShelleyMAEra ma c) = Shelley.NEWPP (ShelleyMAEra ma c)
 
-type instance Core.EraRule "OCERT" (ShelleyMAEra ma c) = Shelley.OCERT (ShelleyMAEra ma c)
-
-type instance Core.EraRule "OVERLAY" (ShelleyMAEra ma c) = Shelley.OVERLAY (ShelleyMAEra ma c)
-
 type instance Core.EraRule "POOL" (ShelleyMAEra ma c) = Shelley.POOL (ShelleyMAEra ma c)
 
 type instance Core.EraRule "POOLREAP" (ShelleyMAEra ma c) = Shelley.POOLREAP (ShelleyMAEra ma c)

diff --git a/eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/EraMapping.hs b/eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/EraMapping.hs
@@ -26,9 +26,6 @@ import Cardano.Ledger.Shelley.Rules.Tick (TICK, TICKF)
 import Cardano.Ledger.Shelley.Rules.Upec (UPEC)
 import Cardano.Ledger.Shelley.Rules.Utxo (UTXO)
 import Cardano.Ledger.Shelley.Rules.Utxow (UTXOW)
-import Cardano.Protocol.TPraos.Rules.OCert (OCERT)
-import Cardano.Protocol.TPraos.Rules.Overlay (OVERLAY)
-import Cardano.Protocol.TPraos.Rules.Tickn (TICKN)
 
 type instance Core.EraRule "BBODY" (ShelleyEra c) = BBODY (ShelleyEra c)
 
@@ -50,10 +47,6 @@ type instance Core.EraRule "NEWEPOCH" (ShelleyEra c) = NEWEPOCH (ShelleyEra c)
 
 type instance Core.EraRule "NEWPP" (ShelleyEra c) = NEWPP (ShelleyEra c)
 
-type instance Core.EraRule "OCERT" (ShelleyEra c) = OCERT (ShelleyEra c)
-
-type instance Core.EraRule "OVERLAY" (ShelleyEra c) = OVERLAY (ShelleyEra c)
-
 type instance Core.EraRule "POOL" (ShelleyEra c) = POOL (ShelleyEra c)
 
 type instance Core.EraRule "POOLREAP" (ShelleyEra c) = POOLREAP (ShelleyEra c)
@@ -68,8 +61,6 @@ type instance Core.EraRule "TICK" (ShelleyEra c) = TICK (ShelleyEra c)
 
 type instance Core.EraRule "TICKF" (ShelleyEra c) = TICKF (ShelleyEra c)
 
-type instance Core.EraRule "TICKN" (ShelleyEra c) = TICKN
-
 type instance Core.EraRule "UPEC" (ShelleyEra c) = UPEC (ShelleyEra c)
 
 type instance Core.EraRule "UTXO" (ShelleyEra c) = UTXO (ShelleyEra c)