GHCI断点故障

Question

下面是一个玩具函数，定义在一个文件中，名为test.hs：

x a b c = do
  putStrLn $ show a
  return a

当然，您可以将其导入GHCI并设置断点：

λ :load test.hs 
[1 of 1] Compiling Main             ( test.hs, interpreted )
Ok, modules loaded: Main.
λ :break x
Breakpoint 3 activated at test2.hs:(1,1)-(3,12)
λ x 1 2 3
Stopped at test2.hs:(1,1)-(3,12)
_result :: IO b = _

然而，似乎没有一种方法来检查参数b和c。

有什么办法可以解决这个问题吗？我运行的是GHCi 7.8.4。

Answer 1

从GHC user's guide

GHCi已经为断点所在表达式的自由variables6提供了绑定...

6我们最初为作用域中的所有变量提供绑定，而不仅仅是表达式的自由变量，但发现这对性能有很大影响，因此当前仅限制自由变量。

Answer 2

我发现了一个老生常谈的解决办法。如果重新定义函数x，如下所示：

x a b c = do
    return a; return b; return c;
    putStrLn $ show a
    return a

然后必须调用:step，然后可以检查b和c：

λ :break x
Breakpoint 4 activated at test2.hs:(1,1)-(4,12)
λ x 1 2 3
Stopped at test2.hs:(1,1)-(4,12)
_result :: IO b = _
λ :step
Stopped at test2.hs:(1,11)-(4,12)
_result :: IO Integer = _
a :: Integer = 1
b :: Integer = 2
c :: Integer = 3

然而，如果有一种方法可以在不重新定义函数的情况下做到这一点，那就太好了。