Merge pull request #630 from ethereum/removing-ioact

Removing IOAct which was not used

Author: msooseth

CHANGELOG.md

@@ -19,6 +19,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - We now try to simplify expressions fully before trying to cast them to a concrete value
   This should improve issues when "Unexpected Symbolic Arguments to Opcode" was
   unnecessarily output
+- Removed dead code related to IOAct in the now deprecated and removed debugger
 
 ## [0.54.2] - 2024-12-12
 

src/EVM/Stepper.hs

@@ -10,7 +10,6 @@ module EVM.Stepper
   , wait
   , ask
   , evm
-  , evmIO
   , enter
   , interpret
   )
@@ -49,9 +48,6 @@ data Action t s a where
   -- | Embed a VM state transformation
   EVM  :: EVM t s a -> Action t s a
 
-  -- | Perform an IO action
-  IOAct :: IO a -> Action t s a
-
 -- | Type alias for an operational monad of @Action@
 type Stepper t s a = Program (Action t s) a
 
@@ -72,9 +68,6 @@ ask = singleton . Ask
 evm :: EVM t s a -> Stepper t s a
 evm = singleton . EVM
 
-evmIO :: IO a -> Stepper t s a
-evmIO = singleton . IOAct
-
 -- | Run the VM until final result, resolving all queries
 execFully :: Stepper Concrete s (Either EvmError (Expr Buf))
 execFully =
@@ -121,9 +114,6 @@ interpret fetcher vm = eval . view
           m <- fetcher q
           vm' <- liftIO $ stToIO $ execStateT m vm
           interpret fetcher vm' (k ())
-        IOAct m -> do
-          r <- liftIO m
-          interpret fetcher vm (k r)
         EVM m -> do
           (r, vm') <- liftIO $ stToIO $ runStateT m vm
           interpret fetcher vm' (k r)

src/EVM/SymExec.hs

@@ -306,9 +306,6 @@ interpret fetcher maxIter askSmtIters heuristic vm =
       Stepper.Exec -> do
         (r, vm') <- liftIO $ stToIO $ runStateT exec vm
         interpret fetcher maxIter askSmtIters heuristic vm' (k r)
-      Stepper.IOAct q -> do
-        r <- liftIO q
-        interpret fetcher maxIter askSmtIters heuristic vm (k r)
       Stepper.Ask (PleaseChoosePath cond continue) -> do
         frozen <- liftIO $ stToIO $ freezeVM vm
         evalLeft <- toIO $ do

test/EVM/Test/Tracing.hs

@@ -581,8 +581,6 @@ interpretWithTrace fetcher =
           vm' <- liftIO $ stToIO $ State.execStateT m vm
           assign _1 vm'
           interpretWithTrace fetcher (k ())
-        Stepper.IOAct q ->
-          liftIO q >>= interpretWithTrace fetcher . k
         Stepper.EVM m -> do
           vm <- use _1
           (r, vm') <- liftIO $ stToIO $ State.runStateT m vm