当前位置：文江博客话题详情

GHCi - 第二次运行时跳过断点

发布于 2024-12-29 19:11:04 字数 265 浏览 1 评论 0原文

我是 Haskell 的新手，在调试时遇到了令人讨厌的行为。

我使用 :break 添加断点
我运行 main
一切正常
我输入 :continue 完成执行

当我重新运行 main 时，断点不再命中，但断点没有被删除，因为 :show Breaks 列出了它。有人知道发生了什么事吗？

我使用的是 Ubuntu 11.10，64 位。明天我会在不同的环境下测试它。

谢谢

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

最丧也最甜 2025-01-05 19:11:04

如果不看代码就很难知道，但听起来很可能在第二次运行 main 时永远不会到达断点，因为结果由于惰性求值而被缓存。第一次可能是 THUNK（暂停评估），第二次已经评估了。

回复收藏 0 原文

带上头具痛哭 2025-01-05 19:11:04

为了避免重新计算，常量应用程序表单被替换为对其 redex 的间接引用。

例如，在下面的代码片段中，“papperlap”的右侧将被替换为指向“4”的间接节点。

bla x = x + 1
papperlap = bla 3

如果您在“bla”上设置断点并请求“paperlap”两次，您将看到“bla”仅应用一次。但如果你两次请求“bla 3”，我们也会停止两次：

*Main> :break bla
Breakpoint 0 activated at meerbla.hs:1:1-13
*Main> papperlap
Stopped at meerbla.hs:1:1-13
_result :: a = _
[meerbla.hs:1:1-13] *Main> :continue
4
*Main> papperlap
4
*Main> bla 3
Stopped at meerbla.hs:1:1-13
_result :: a = _
[meerbla.hs:1:1-13] *Main> :continue
4
*Main> bla 3
Stopped at meerbla.hs:1:1-13
_result :: a = _
[meerbla.hs:1:1-13] *Main> :continue
4

To avoid recomputations constant application forms are replaced with an indirection to its redex.

For example the following snippet the right hand side of 'papperlap' will be replaced with an indirection node pointing to '4'.

bla x = x + 1
papperlap = bla 3

If you set a breakpoint on 'bla' and ask for 'papperlap' twice you will see that 'bla' is applied only once. But if you ask for 'bla 3' twice, we will also stop twice:

*Main> :break bla
Breakpoint 0 activated at meerbla.hs:1:1-13
*Main> papperlap
Stopped at meerbla.hs:1:1-13
_result :: a = _
[meerbla.hs:1:1-13] *Main> :continue
4
*Main> papperlap
4
*Main> bla 3
Stopped at meerbla.hs:1:1-13
_result :: a = _
[meerbla.hs:1:1-13] *Main> :continue
4
*Main> bla 3
Stopped at meerbla.hs:1:1-13
_result :: a = _
[meerbla.hs:1:1-13] *Main> :continue
4

回复收藏 0 原文

~没有更多了~