diff --git a/cardano-api/internal/Cardano/Api/Certificate.hs b/cardano-api/internal/Cardano/Api/Certificate.hs index d72f2bea7..761a80c0d 100644 --- a/cardano-api/internal/Cardano/Api/Certificate.hs +++ b/cardano-api/internal/Cardano/Api/Certificate.hs @@ -110,7 +110,7 @@ import Data.Text (Text) import qualified Data.Text as Text import qualified Data.Text.Encoding as Text import Data.Typeable -import GHC.Exts (IsList (..), coerce, fromString) +import GHC.Exts (IsList (..), fromString) import Network.Socket (PortNumber) -- ---------------------------------------------------------------------------- @@ -366,7 +366,7 @@ data GenesisKeyDelegationRequirements ere where :: ShelleyToBabbageEra era -> Hash GenesisKey -> Hash GenesisDelegateKey - -> Hash VrfKey + -> Ledger.VRFVerKeyHash Ledger.GenDelegVRF StandardCrypto -> GenesisKeyDelegationRequirements era makeGenesisKeyDelegationCertificate :: GenesisKeyDelegationRequirements era -> Certificate era @@ -375,14 +375,12 @@ makeGenesisKeyDelegationCertificate atMostEra (GenesisKeyHash hGenKey) (GenesisDelegateKeyHash hGenDelegKey) - (VrfKeyHash hVrfKey) + hVrfKey ) = ShelleyRelatedCertificate atMostEra $ shelleyToBabbageEraConstraints atMostEra $ Ledger.ShelleyTxCertGenesisDeleg $ - Ledger.GenesisDelegCert hGenKey hGenDelegKey $ - -- Cast key role from StakePoolVRF to GenDelegVRF - FIXME - coerce hVrfKey + Ledger.GenesisDelegCert hGenKey hGenDelegKey hVrfKey data MirCertificateRequirements era where MirCertificateRequirements