From 7811636571c555c6138e64ec827ef6031730b876 Mon Sep 17 00:00:00 2001 From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com> Date: Thu, 5 May 2022 13:40:56 +0100 Subject: [PATCH] applied linting and formatting suggestions --- agora-test/Spec/Sample/Treasury.hs | 4 ++-- agora-test/Spec/Treasury.hs | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/agora-test/Spec/Sample/Treasury.hs b/agora-test/Spec/Sample/Treasury.hs index 529c477..9255275 100644 --- a/agora-test/Spec/Sample/Treasury.hs +++ b/agora-test/Spec/Sample/Treasury.hs @@ -175,7 +175,7 @@ walletIn = } -- | Unsupported treasury redeemer. -data BadTreasuryRedeemer +newtype BadTreasuryRedeemer = -- | Unsupported treasury redeemer. NukeTheSystem Integer deriving stock (Eq, Show, GHC.Generic) @@ -186,7 +186,7 @@ PlutusTx.makeIsDataIndexed ] -- | Plutarch implementation of `BadTreasuryRedeemer`. -data PBadTreasuryRedeemer (s :: S) +newtype PBadTreasuryRedeemer (s :: S) = PNukeTheSystem (Term s (PDataRecord '["_0" ':= PInteger])) deriving stock (GHC.Generic) deriving anyclass (Generic) diff --git a/agora-test/Spec/Treasury.hs b/agora-test/Spec/Treasury.hs index 96790f0..dd319d0 100644 --- a/agora-test/Spec/Treasury.hs +++ b/agora-test/Spec/Treasury.hs @@ -46,7 +46,7 @@ import Plutus.V1.Ledger.Scripts ( ) import Plutus.V1.Ledger.Value qualified as Value import Spec.Sample.Treasury ( - BadTreasuryRedeemer (NukeTheSystem), + -- BadTreasuryRedeemer (NukeTheSystem), gatCs, gatTn, trCredential, @@ -151,7 +151,7 @@ tests = { scriptContextTxInfo = txInfo { txInfoInputs = - [ inputs !! 0 + [ head inputs , invalidEff ] } @@ -165,7 +165,7 @@ tests = ( let txInfo = validCtx.scriptContextTxInfo inputs = txInfo.txInfoInputs newInputs = - [ inputs !! 0 + [ head inputs , walletIn ] in validCtx