Removing warnings

ethereum · Nov 26, 2024 · a6151dd · a6151dd
1 parent a6124bb
commit a6151dd
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/EVM.hs b/src/EVM.hs
@@ -2330,7 +2330,7 @@ finishFrame how = do
               push 0
 
             -- Case 3: Error during a call?
-            FrameErrored e -> do
+            FrameErrored _ -> do
               revertContracts
               revertSubstate
               assign (#state % #returndata) mempty
@@ -2377,7 +2377,7 @@ finishFrame how = do
               push 0
 
             -- Case 6: Error during a creation?
-            FrameErrored e -> do
+            FrameErrored _ -> do
               revertContracts
               revertSubstate
               assign (#state % #returndata) mempty

diff --git a/src/EVM/UnitTest.hs b/src/EVM/UnitTest.hs
@@ -15,13 +15,13 @@ import EVM.FeeSchedule (feeSchedule)
 import EVM.Fetch qualified as Fetch
 import EVM.Format
 import EVM.Solidity
-import EVM.SymExec (defaultVeriOpts, symCalldata, verify, isQed, extractCex, runExpr, prettyCalldata, panicMsg, VeriOpts(..), flattenExpr, isUnknown, isError, groupIssues)
+import EVM.SymExec (defaultVeriOpts, symCalldata, verify, isQed, extractCex, prettyCalldata, panicMsg, VeriOpts(..), flattenExpr, isUnknown, isError, groupIssues)
 import EVM.Types
 import EVM.Transaction (initTx)
 import EVM.Stepper (Stepper)
 import EVM.Stepper qualified as Stepper
 
-import Control.Monad (void, when, forM, forM_, unless)
+import Control.Monad (void, when, forM, forM_)
 import Control.Monad.ST (RealWorld, ST, stToIO)
 import Control.Monad.State.Strict (execState, get, put, liftIO)
 import Optics.Core