diff options
Diffstat (limited to 'src/Eval.hs')
| -rw-r--r-- | src/Eval.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Eval.hs b/src/Eval.hs index cc7fdfa..2e9746d 100644 --- a/src/Eval.hs +++ b/src/Eval.hs @@ -279,7 +279,9 @@ evalCommand inp s@(EnvState env@(Environment envDefs) conf cache) = \case Right (Test e1' e2') -> do lhs <- reduce conf e1' rhs <- reduce conf e2' - when (lhs /= rhs) (print $ FailedTest e1 e2 lhs rhs) >> pure s + when (lhs /= rhs) (print $ FailedTest e1 e2 lhs rhs) + when (lhs == rhs && _isVerbose conf) (print $ PassedTest e1 e2) + pure s _ -> pure s | otherwise -> pure s |