From 5bccc83a58af3c7b339f969d76cd080d0f4d2ba4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emilio=20L=C3=B3pez?= Date: Fri, 13 Dec 2024 10:14:32 +0100 Subject: [PATCH] Cleanups from GHC 9.8 --- lib/Echidna/Campaign.hs | 2 +- lib/Echidna/Exec.hs | 2 +- src/test/Common.hs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/Echidna/Campaign.hs b/lib/Echidna/Campaign.hs index 2f3085884..589adab23 100644 --- a/lib/Echidna/Campaign.hs +++ b/lib/Echidna/Campaign.hs @@ -48,7 +48,7 @@ import Echidna.Types.Config import Echidna.Types.Signature (FunctionName) import Echidna.Types.Test import Echidna.Types.Test qualified as Test -import Echidna.Types.Tx (TxCall(..), Tx(..), call) +import Echidna.Types.Tx (TxCall(..), Tx(..)) import Echidna.Utility (getTimestamp) instance MonadThrow m => MonadThrow (RandT g m) where diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs index 130e1b335..4cea32816 100644 --- a/lib/Echidna/Exec.hs +++ b/lib/Echidna/Exec.hs @@ -40,7 +40,7 @@ import Echidna.Types (ExecException(..), Gas, fromEVM, emptyAccount) import Echidna.Types.Config (Env(..), EConfig(..), UIConf(..), OperationMode(..), OutputFormat(Text)) import Echidna.Types.Coverage (CoverageInfo) import Echidna.Types.Solidity (SolConf(..)) -import Echidna.Types.Tx (TxCall(..), Tx, TxResult(..), call, dst, initialTimestamp, initialBlockNumber, getResult) +import Echidna.Types.Tx (TxCall(..), Tx(call, dst), TxResult(..), initialTimestamp, initialBlockNumber, getResult) import Echidna.Utility (getTimestamp, timePrefix) -- | Broad categories of execution failures: reversions, illegal operations, and ???. diff --git a/src/test/Common.hs b/src/test/Common.hs index 2eb400aaa..b67fb6f34 100644 --- a/src/test/Common.hs +++ b/src/test/Common.hs @@ -50,7 +50,7 @@ import Echidna.Types.Campaign import Echidna.Types.Signature (ContractName) import Echidna.Types.Solidity (SolConf(..)) import Echidna.Types.Test -import Echidna.Types.Tx (Tx(..), TxCall(..), call) +import Echidna.Types.Tx (Tx(..), TxCall(..)) import Echidna.Types.World (World(..)) import EVM.Solidity (Contracts(..), BuildOutput(..), SolcContract(..))