From 538dc0714afb48e399fb41342e943c7ff7feae65 Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Sun, 26 Feb 2023 17:29:06 +0100
Subject: trace traces

---
 app/Interpreter.hs | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'app/Interpreter.hs')

diff --git a/app/Interpreter.hs b/app/Interpreter.hs
index 31c4c12..8531a27 100644
--- a/app/Interpreter.hs
+++ b/app/Interpreter.hs
@@ -50,6 +50,15 @@ proveStep :: InterpFn
 proveStep = do
   u <- use (cur . unis)
   h <- use (cur . hed)
+  {- tracing:
+  import Control.Monad.Trans.Class (lift)
+  import System.Console.Haskeline
+  g <- use (cur . gol)
+  lift $ do
+    outputStrLn $ "STEP (unis="++show u++")"
+    outputStrLn $ "head = "++ show h
+    outputStrLn $ "goal = "++ show g
+  -}
   case (u, h) of
     (0, []) -> goalStep
     (0, _) -> headStep h
-- 
cgit v1.2.3