Update ContestTx data type to be similar to CloseTx

input-output-hk · Jun 16, 2021 · b875581 · b875581
1 parent c402b2d
commit b875581
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/hydra-node/src/Hydra/HeadLogic.hs b/hydra-node/src/Hydra/HeadLogic.hs
@@ -94,7 +94,7 @@ data OnChainTx tx
   | CommitTx ParticipationToken (UTxO tx)
   | CollectComTx (UTxO tx)
   | CloseTx (Snapshot tx) [tx]
-  | ContestTx
+  | ContestTx (Snapshot tx) [tx]
   | FanoutTx (UTxO tx)
 
 deriving instance Tx tx => Eq (OnChainTx tx)
@@ -332,7 +332,7 @@ update Environment{party, snapshotStrategy} ledger (HeadState p st) ev = case (s
           (ClosedState confirmedUTxO)
           [ClientEffect $ HeadIsClosed (contestationPeriod p) snapshot txs]
   --
-  (_, OnChainEvent ContestTx) ->
+  (_, OnChainEvent ContestTx{}) ->
     -- TODO: Handle contest tx
     newState p st []
   (ClosedState utxo, ShouldPostFanout) ->

diff --git a/hydra-node/test/Hydra/HeadLogicSpec.hs b/hydra-node/test/Hydra/HeadLogicSpec.hs
@@ -90,7 +90,7 @@ genOnChainTx =
     , CommitTx (ParticipationToken 1 1) [ValidTx 10]
     , CollectComTx []
     , CloseTx (Snapshot 0 mempty mempty) mempty
-    , ContestTx
+    , ContestTx (Snapshot 0 mempty mempty) mempty
     , FanoutTx [ValidTx 1]
     ]