Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

switch to TermCont; fix a bunch of compilation errors; format

Browse source
This commit is contained in:
fanghr 2022-05-16 21:24:43 +08:00
parent 2e21e4c94a
commit 1e55827d8b
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
4 changed files with 32 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

6
agora-test/Spec/Effect/GovernorMutation.hs
View file

@ -4,10 +4,10 @@ import Agora.Effect.GovernorMutation (MutateGovernorDatum (..), mutateGovernorVa
import Agora.Governor (GovernorDatum (..))
import Agora.Proposal (ProposalId (..))
import Plutus.V1.Ledger.Api (TxOutRef (..))
import Spec.Sample.Effect.GovernorMutation
import Spec.Sample.Shared
import Spec.Util (effectSucceedsWith)
import Sample.Effect.GovernorMutation (validContext)
import Sample.Shared (defaultProposalThresholds, governor)
import Test.Tasty (TestTree, testGroup)
import Test.Util (effectSucceedsWith)
tests :: [TestTree]
tests =