From a54a809a05ccb8aa0ce6c72b313831151d9abfb1 Mon Sep 17 00:00:00 2001
From: Hongrui Fang <chfanghr@gmail.com>
Date: Wed, 13 Jul 2022 16:58:13 +0800
Subject: [PATCH] remove field names from `ProposalLock`

so that ps-bridge works correctly
---
 agora/Agora/Stake.hs | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/agora/Agora/Stake.hs b/agora/Agora/Stake.hs
index b680ae7..cb14229 100644
--- a/agora/Agora/Stake.hs
+++ b/agora/Agora/Stake.hs
@@ -113,9 +113,8 @@ data ProposalLock
     --
     --   @since 0.2.0
     Created
-      { craeted :: ProposalId
+      ProposalId
       -- ^ The identifier of the proposal.
-      }
   | -- | The stake was used to vote on a proposal.
     --
     --   This kind of lock is placed while voting on a propsoal, in order to
@@ -123,11 +122,10 @@ data ProposalLock
     --
     --   @since 0.2.0
     Voted
-      { votedOn :: ProposalId
+      ProposalId
       -- ^ The identifier of the proposal.
-      , votedFor :: ResultTag
+      ResultTag
       -- ^ The option which was voted on. This allows votes to be retracted.
-      }
   deriving stock
     ( -- | @since 0.1.0
       Show