1 files changed, 9 insertions, 0 deletions
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