diff --git a/app/MimaRun/Main.hs b/app/MimaRun/Main.hs index e526bd5..a3d7e31 100644 --- a/app/MimaRun/Main.hs +++ b/app/MimaRun/Main.hs @@ -60,12 +60,12 @@ runMima settings s = case steps settings of Nothing -> do putStrLn "Running until HALT or execution exception..." - let (s', e, x) = run impotentChecks s + let (s', e, x) = run noFlags s putStrLn $ "Ran for " ++ show x ++ " steps" T.putStrLn $ toText e pure s' Just n -> do - let (s', me, x) = runN impotentChecks n s + let (s', me, x) = runN noFlags n s putStrLn $ "Ran for " ++ show x ++ " steps" case me of Nothing -> putStrLn "Encountered no exception" diff --git a/src/Mima/Flag.hs b/src/Mima/Flag.hs index 530fcc3..064d8ec 100644 --- a/src/Mima/Flag.hs +++ b/src/Mima/Flag.hs @@ -20,7 +20,7 @@ module Mima.Flag , Flags(..) , rawFlags , flagChecks - , impotentChecks + , noFlags ) where import Data.List @@ -127,9 +127,9 @@ flagChecks m = } in conditions <*> (getAddressSpec <$> rawFlags) --- | Flag checks that should not alter the behaviour of the MiMa. -impotentChecks :: Flags (MimaAddress -> Bool) -impotentChecks = Flags +-- | These checks should behave as if no flags were set at all. +noFlags :: Flags (MimaAddress -> Bool) +noFlags = Flags { flagBreakpoint = const False , flagExecutable = const True , flagReadOnly = const False