From d72192179eff51e8b8f82524703427c406f139ff Mon Sep 17 00:00:00 2001 From: Bromel777 Date: Wed, 11 Jan 2023 21:45:02 +0100 Subject: [PATCH] wip --- .../ErgoDex/PContracts/PVestingWithPeriod.hs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/cardano-dex-contracts-onchain/ErgoDex/PContracts/PVestingWithPeriod.hs b/cardano-dex-contracts-onchain/ErgoDex/PContracts/PVestingWithPeriod.hs index e4bc017..86975ce 100644 --- a/cardano-dex-contracts-onchain/ErgoDex/PContracts/PVestingWithPeriod.hs +++ b/cardano-dex-contracts-onchain/ErgoDex/PContracts/PVestingWithPeriod.hs @@ -104,7 +104,7 @@ vestingWithPeriodValidatorT = plam $ \conf' redeemer' ctx' -> unTermCont $ do tlet . ptraceShowId $ validTime tlet . ptraceShowId $ validSignature tlet . ptraceShowId $ correctReward - pure $ validTime + pure $ validTime #&& validSignature #&& correctReward @@ -116,9 +116,5 @@ checkRewardCorrectness = selfOutput = phead # selfOutputsList selfValue = pfield @"value" # selfOutput correctOutQty = totalVested - (periodId * periodVested) - tlet . ptraceShowId $ correctOutQty - let realOutQty = assetClassValueOf # selfValue # vestingAC - tlet . ptraceShowId $ vestingAC - tlet . ptraceShowId $ realOutQty pure $ realOutQty #== correctOutQty \ No newline at end of file