debugging - 中断后在 GHC 中继续调试

Question

我在 Haskell 中有一个非终止表达式。我想调试并检查它没有终止的原因。我学到的一项技术是在 GHCi 中使用以下内容：

:set -fbreak-on-exception
:trace nonterminating_expression
^C
:hist 50

所以我可以看到在无限计算中运行的指令。问题是我想继续计算:step，忽略中断。我可以这样做吗？

调试非终止计算的任何其他解决方案？（超过 50 条历史记录或其他有助于完成任务的实践。）

Answer 1

我过去做过的一件事是在我按下一个键时使用 unsafePerformIO 来中断：

假设 t 是您的原始表达式，在表达式中插入 x：

import System.IO
import System.IO.Unsafe

t  i = do print i;    t  (i+1)
t2 i = do print i; x; t2 (i+1)

x = do r <- hReady stdin
       if r then do a<-hGetChar stdin
                    print a -- break on this line
            else print "" 

然后在 ghci 提示符下：

*Main> :break 9
*Main> t2 0

按键盘键

*Main> :cont

从您离开的地方继续。