diff options
| author | Marvin Borner | 2024-02-24 23:36:24 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-24 23:36:24 +0100 |
| commit | 750eb72589a2da7712ded93e9a5060b2c30c24b5 (patch) | |
| tree | e7bc83c26fbe5f601c147a37010e9ad7c41e11b4 /src/Eval.hs | |
| parent | 9cf3e9fc04b8648b6bf21336e88f2a46de6f3f09 (diff) | |
Added verbose mode
Mainly for CI right now, might extend in the future.
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 |