diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-03 17:30:31 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-03 17:30:31 +0100 |
commit | 9b4ff9bf2a5356b0603fe46cc45f9724bfbef341 (patch) | |
tree | 0cc15fc577768653958757b5fc6326a03402db6a /src/VeriFuzz/Sim/Reduce.hs | |
parent | 72a6f29c7b1357fbeca70097c84138c6cf6d5e2a (diff) | |
download | verismith-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.hs | 8 |
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 |