allow delegating stake for voting

2022-07-25 18:37:22 +08:00 · 2022-07-25 18:37:22 +08:00 · 8fba8e1598
commit 8fba8e1598
parent 8bea6d62ac
12 changed files with 650 additions and 585 deletions
--- a/agora-specs/Sample/Proposal/UnlockStake.hs
+++ b/agora-specs/Sample/Proposal/UnlockStake.hs
@ -177,6 +177,7 @@ mkStakeInputDatum ps =
  StakeDatum
    { stakedAmount = defStakedGTs
    , owner = defOwner
+    , delegatedTo = Nothing
    , lockedBy = mkInputStakeLocks ps
    }