Rename wonkily-named function

This commit is contained in:
Joscha 2019-11-12 21:23:23 +00:00
parent b569cee71f
commit c887e57dbd
2 changed files with 6 additions and 6 deletions

View file

@ -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"

View file

@ -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