Skip to content

Commit 548f2dc

Browse files
committed
Remove GADT
1 parent 5f20ee4 commit 548f2dc

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
@@ -558,10 +558,10 @@ genOperationalCertificateWithCounter
558558
genOperationalCertificateWithCounter = do
559559
kesVKey <- genVerificationKey AsKesKey
560560
stkPoolOrGenDelExtSign <-
561-
Gen.either (StakePoolNormalKeyWrapper <$> genSigningKey AsAnyStakePoolKeyNormal) (genSigningKey AsGenesisDelegateExtendedKey)
561+
Gen.either (StakePoolNormalKeyWrapper <$> genSigningKey AsStakePoolKey) (genSigningKey AsGenesisDelegateExtendedKey)
562562
kesP <- genKESPeriod
563563
c <- Gen.integral $ Range.linear 0 1000
564-
let stakePoolVer = either (\x -> liftStakePoolKey x (const getVerificationKey)) (StakePoolNormalKeyWrapper . StakePoolVerificationKeyNormal . convert' . getVerificationKey) stkPoolOrGenDelExtSign
564+
let stakePoolVer = either (\x -> liftStakePoolKey x (const getVerificationKey)) (StakePoolNormalKeyWrapper . convert' . getVerificationKey) stkPoolOrGenDelExtSign
565565
iCounter = OperationalCertificateIssueCounter c stakePoolVer
566566

567567
case issueOperationalCertificate kesVKey stkPoolOrGenDelExtSign kesP iCounter of

0 commit comments

Comments
 (0)