Make plutus test pass using && .. again

cardano-scaling · Jul 29, 2021 · e0797ac · e0797ac
1 parent da605c6
commit e0797ac
Showing 1 changed file with 6 additions and 7 deletions.
diff --git a/hydra-plutus/src/Hydra/Contract/OnChain.hs b/hydra-plutus/src/Hydra/Contract/OnChain.hs
@@ -98,13 +98,11 @@ hydraValidator HeadParameters{participants, policyId} s i ctx =
             Final
           amountPaid =
             lovelaceValueOf 0
-       in and
-            [ mustBeSignedByOneOf participants ctx
-            , all (mustBurnParty ctx policyId) participants
-            , checkScriptContext @(RedeemerType Hydra) @(DatumType Hydra)
-                (mustPayToTheScript newState amountPaid)
-                ctx
-            ]
+       in mustBeSignedByOneOf participants ctx
+            && all (mustBurnParty ctx policyId) participants
+            && checkScriptContext @(RedeemerType Hydra) @(DatumType Hydra)
+              (mustPayToTheScript newState amountPaid)
+              ctx
     _ ->
       False
  where
@@ -372,6 +370,7 @@ mustForwardParty ::
   Bool
 mustForwardParty ctx policyId vk =
   traceIfFalse "PT not spent" mustSpendToken
+  -- TODO(SN): mustProduceToken
  where
   info = scriptContextTxInfo ctx