diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-26 17:29:06 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-26 17:29:06 +0100 |
| commit | 538dc0714afb48e399fb41342e943c7ff7feae65 (patch) | |
| tree | becf1943fd407402752de42660a902beec181aa9 /app/Interpreter.hs | |
| parent | b1fef8522a7ece3960c80faaf95ee872b5cbc4c4 (diff) | |
| download | prlg-538dc0714afb48e399fb41342e943c7ff7feae65.tar.gz prlg-538dc0714afb48e399fb41342e943c7ff7feae65.tar.bz2 | |
trace traces
Diffstat (limited to 'app/Interpreter.hs')
| -rw-r--r-- | app/Interpreter.hs | 9 |
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 |