From 750eb72589a2da7712ded93e9a5060b2c30c24b5 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 24 Feb 2024 23:36:24 +0100
Subject: Added verbose mode

Mainly for CI right now, might extend in the future.
---
 src/Eval.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/Eval.hs')

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
-- 
cgit v1.2.3