applied linting and formatting suggestions
This commit is contained in:
parent
51ffd56203
commit
3d71a1195d
2 changed files with 5 additions and 5 deletions
|
|
@ -175,7 +175,7 @@ walletIn =
|
||||||
}
|
}
|
||||||
|
|
||||||
-- | Unsupported treasury redeemer.
|
-- | Unsupported treasury redeemer.
|
||||||
data BadTreasuryRedeemer
|
newtype BadTreasuryRedeemer
|
||||||
= -- | Unsupported treasury redeemer.
|
= -- | Unsupported treasury redeemer.
|
||||||
NukeTheSystem Integer
|
NukeTheSystem Integer
|
||||||
deriving stock (Eq, Show, GHC.Generic)
|
deriving stock (Eq, Show, GHC.Generic)
|
||||||
|
|
@ -186,7 +186,7 @@ PlutusTx.makeIsDataIndexed
|
||||||
]
|
]
|
||||||
|
|
||||||
-- | Plutarch implementation of `BadTreasuryRedeemer`.
|
-- | Plutarch implementation of `BadTreasuryRedeemer`.
|
||||||
data PBadTreasuryRedeemer (s :: S)
|
newtype PBadTreasuryRedeemer (s :: S)
|
||||||
= PNukeTheSystem (Term s (PDataRecord '["_0" ':= PInteger]))
|
= PNukeTheSystem (Term s (PDataRecord '["_0" ':= PInteger]))
|
||||||
deriving stock (GHC.Generic)
|
deriving stock (GHC.Generic)
|
||||||
deriving anyclass (Generic)
|
deriving anyclass (Generic)
|
||||||
|
|
|
||||||
|
|
@ -46,7 +46,7 @@ import Plutus.V1.Ledger.Scripts (
|
||||||
)
|
)
|
||||||
import Plutus.V1.Ledger.Value qualified as Value
|
import Plutus.V1.Ledger.Value qualified as Value
|
||||||
import Spec.Sample.Treasury (
|
import Spec.Sample.Treasury (
|
||||||
BadTreasuryRedeemer (NukeTheSystem),
|
-- BadTreasuryRedeemer (NukeTheSystem),
|
||||||
gatCs,
|
gatCs,
|
||||||
gatTn,
|
gatTn,
|
||||||
trCredential,
|
trCredential,
|
||||||
|
|
@ -151,7 +151,7 @@ tests =
|
||||||
{ scriptContextTxInfo =
|
{ scriptContextTxInfo =
|
||||||
txInfo
|
txInfo
|
||||||
{ txInfoInputs =
|
{ txInfoInputs =
|
||||||
[ inputs !! 0
|
[ head inputs
|
||||||
, invalidEff
|
, invalidEff
|
||||||
]
|
]
|
||||||
}
|
}
|
||||||
|
|
@ -165,7 +165,7 @@ tests =
|
||||||
( let txInfo = validCtx.scriptContextTxInfo
|
( let txInfo = validCtx.scriptContextTxInfo
|
||||||
inputs = txInfo.txInfoInputs
|
inputs = txInfo.txInfoInputs
|
||||||
newInputs =
|
newInputs =
|
||||||
[ inputs !! 0
|
[ head inputs
|
||||||
, walletIn
|
, walletIn
|
||||||
]
|
]
|
||||||
in validCtx
|
in validCtx
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue