From 1bfa0f5b6d57b8220eb2fc89b64f598e664c7be3 Mon Sep 17 00:00:00 2001 From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com> Date: Fri, 4 Mar 2022 09:30:53 +0000 Subject: [PATCH] Added linting suggestions --- src/Agora/Treasury.hs | 2 +- src/Agora/Utils/Value.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Agora/Treasury.hs b/src/Agora/Treasury.hs index d487f5a..9066e1a 100644 --- a/src/Agora/Treasury.hs +++ b/src/Agora/Treasury.hs @@ -60,7 +60,7 @@ newtype PTreasuryDatum (s :: S) {- | Plutarch level type representing valid redeemers of the treasury. -} -data PTreasuryRedeemer (s :: S) +newtype PTreasuryRedeemer (s :: S) = -- | Alters treasury parameters (subject to the burning of a -- governance authority token). PAlterTrParams (Term s (PDataRecord '[])) diff --git a/src/Agora/Utils/Value.hs b/src/Agora/Utils/Value.hs index 90efdaa..e20bb5b 100644 --- a/src/Agora/Utils/Value.hs +++ b/src/Agora/Utils/Value.hs @@ -27,7 +27,7 @@ pmapAll :: (PUnsafeLiftDecl v, PIsData v) => Term s ((v :--> PBool) :--> PMap k v :--> PBool) pmapAll = plam $ \f m -> P.do - PMap builtinMap <- pmatch $ m + PMap builtinMap <- pmatch m let getV = plam $ \bip -> P.do let tuple = pfromData $ ptupleFromBuiltin (pdata bip)