Merge pull request #2577 from input-output-hk/lehins/add-intern-const…

…raint Add `Intern` constraint to `ShelleyBasedEra`
IntersectMBO · Dec 7, 2021 · 0c941e2 · 0c941e2
2 parents 7155301 + b495c49
commit 0c941e2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/eras/shelley/impl/src/Cardano/Ledger/Shelley/API.hs b/eras/shelley/impl/src/Cardano/Ledger/Shelley/API.hs
@@ -30,6 +30,7 @@ import Cardano.Ledger.Shelley.Constraints
     UsesValue,
   )
 import Control.State.Transition (State)
+import Data.Sharing (Interns, Share)
 
 class
   ( PraosCrypto (Crypto era),
@@ -44,7 +45,8 @@ class
     UsesTxOut era,
     UsesPParams era,
     ChainData (State (Core.EraRule "PPUP" era)),
-    SerialisableData (State (Core.EraRule "PPUP" era))
+    SerialisableData (State (Core.EraRule "PPUP" era)),
+    Share (Core.TxOut era) ~ Interns (Credential 'Staking (Crypto era))
   ) =>
   ShelleyBasedEra era