Vla*_*nov 20 debugging haskell ghci
我正在Haskell中进行低级IO(用于库绑定)并且遇到了段错误.我想使用GHCi :break来弄清楚发生了什么,但是接下来会发生什么:
> import SDL
> :break SDL.setPaletteColors
cannot set breakpoint on setPaletteColors: module SDL.Video.Renderer is not interpreted
由于违规代码不在我自己的模块中,而是在外部包中的模块内部,因此它作为已编译的代码加载,显然我不能使用:打破已编译的模块.
GHCi手册证实了这一点,并提供了一个提示:
有一个主要限制:断点和单步仅在解释模块中可用; 编译后的代码对调试器是不可见的[5].
[5]请注意,包只包含已编译的代码,因此调试包需要查找其源并直接加载它.
我们直接尝试一下:
> :load some_path/sdl2/src/SDL/Video/Renderer.hs
some_path/sdl2/src/SDL/Video/Renderer.hs:101:8:
Could not find module ‘Control.Monad.IO.Class’
It is a member of the hidden package ‘transformers-0.3.0.0’.
Perhaps you need to add ‘transformers’ to the build-depends in your .cabal file.
Use -v to see a list of the files searched for.
我可以将依赖项添加到我的.cabal文件中,但这已经错了.一旦我这样做了:
> :load some_path/sdl2/src/SDL/Video/Renderer.hs
some_path/sdl2/src/SDL/Video/Renderer.hs:119:8:
Could not find module ‘SDL.Internal.Numbered’
it is a hidden module in the package ‘sdl2-2.0.0’
Use -v to see a list of the files searched for.
我可以将这些模块公开(可能是通过修改包.cabal？),但在这一点上,它似乎是一种非常尴尬的做事方式,我没有进一步追求它.
编辑:
我实际上尝试过这个并且得到了令人困惑的结果:
> :load some_path/sdl2/src/SDL/Video/Renderer.hs
[1 of 1] Compiling SDL.Video.Renderer ( some_path/sdl2/src/SDL/Video/Renderer.hs, interpreted )
Ok, modules loaded: SDL.Video.Renderer.
> :break SDL.setPaletteColors
cannot set breakpoint on SDL.setPaletteColors: module SDL.Video.Renderer is not interpreted
我的(未受过教育的)猜测:这是因为外部模块仍然作为二进制文件链接到我的代码,并且在解释模式下动态加载它不会改变它.
那么,总结一下这个问题:什么是在外部包中调试IO的好方法？
补充说明:
我确实有需要调试的包的源代码; 事实上,它已经被cabal sandbox add-source添加到项目中
使用GHCi的另一种选择是向包源添加跟踪,但这是一个不幸的选择,因为它涉及在每次修改时重新编译包(每当我需要有关执行和修改跟踪的更多信息时),以及需要很长时间.使用GHCi进行交互式调试似乎是这项工作的更好工具,只要我知道如何使用它.
Stack对此有一些支持。运行将加载您的项目以及字段stack ghci --load-local-deps $TARGET中的任何依赖项，包括它们是否标记为s。然后断点就可以工作了。您可以通过运行并将其添加到in中来调试 GHCi 中的依赖项。packagesstack.yamlextra-depstack unpack $PACKAGEpackagesstack.yaml
然而，这并不是万能药。如果包具有冲突的包全局语言扩展（或其他动态标志）或模块名称冲突，则它将无法工作。例如，如果您的顶级包有，default-extensions: NoImplicitPrelude而您的依赖项没有，则它们不会导入前奏，并且几乎肯定不会加载。请参阅此 GHC 错误。