Skip to content

Commit 8babae1

Browse files
committed
Remove GADT
1 parent 66f2b4f commit 8babae1

5 files changed

Lines changed: 35 additions & 303 deletions

File tree

cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -560,10 +560,10 @@ genOperationalCertificateWithCounter
560560
genOperationalCertificateWithCounter = do
561561
kesVKey <- genVerificationKey AsKesKey
562562
stkPoolOrGenDelExtSign <-
563-
Gen.either (StakePoolNormalKeyWrapper <$> genSigningKey AsAnyStakePoolKeyNormal) (genSigningKey AsGenesisDelegateExtendedKey)
563+
Gen.either (StakePoolNormalKeyWrapper <$> genSigningKey AsStakePoolKey) (genSigningKey AsGenesisDelegateExtendedKey)
564564
kesP <- genKESPeriod
565565
c <- Gen.integral $ Range.linear 0 1000
566-
let stakePoolVer = either (\x -> liftStakePoolKey x (const getVerificationKey)) (StakePoolNormalKeyWrapper . StakePoolVerificationKeyNormal . convert' . getVerificationKey) stkPoolOrGenDelExtSign
566+
let stakePoolVer = either (\x -> liftStakePoolKey x (const getVerificationKey)) (StakePoolNormalKeyWrapper . convert' . getVerificationKey) stkPoolOrGenDelExtSign
567567
iCounter = OperationalCertificateIssueCounter c stakePoolVer
568568

569569
case issueOperationalCertificate kesVKey stkPoolOrGenDelExtSign kesP iCounter of

0 commit comments

Comments
 (0)