aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Reduce.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-04-03 17:30:31 +0100
committerYann Herklotz <git@ymhg.org>2019-04-03 17:30:31 +0100
commit9b4ff9bf2a5356b0603fe46cc45f9724bfbef341 (patch)
tree0cc15fc577768653958757b5fc6326a03402db6a /src/VeriFuzz/Sim/Reduce.hs
parent72a6f29c7b1357fbeca70097c84138c6cf6d5e2a (diff)
downloadverismith-9b4ff9bf2a5356b0603fe46cc45f9724bfbef341.tar.gz
verismith-9b4ff9bf2a5356b0603fe46cc45f9724bfbef341.zip
Fix to the logger
Diffstat (limited to 'src/VeriFuzz/Sim/Reduce.hs')
-rw-r--r--src/VeriFuzz/Sim/Reduce.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/VeriFuzz/Sim/Reduce.hs b/src/VeriFuzz/Sim/Reduce.hs
index bed1169..5684ed5 100644
--- a/src/VeriFuzz/Sim/Reduce.hs
+++ b/src/VeriFuzz/Sim/Reduce.hs
@@ -133,9 +133,9 @@ reduce_
reduce_ repl eval src = do
replAnswer <- sequenceA $ evalIfNotEmpty <$> replacement
case (replacement, replAnswer) of
- (Single s, Single False) -> runIf s
- (Dual _ l, Dual True False) -> runIf l
- (Dual r _, Dual False True) -> runIf r
+ (Single s, Single False ) -> runIf s
+ (Dual _ l, Dual True False ) -> runIf l
+ (Dual r _, Dual False True ) -> runIf r
(Dual r l, Dual False False) -> do
lreduced <- runIf l
rreduced <- runIf r
@@ -143,7 +143,7 @@ reduce_ repl eval src = do
then return lreduced
else return rreduced
(None, None) -> return src
- _ -> return src
+ _ -> return src
where
replacement = repl src
runIf s = if s /= src then reduce eval s else return s