applied linting and formatting suggestions

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)

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