使用 GHCi 加载模块而无需访问其源代码
我创建了一个简单的模块 TestModule.hs
,其中包含单个导出的顶级定义 testval = 2
。我编译它,创建 TestModule.o
和 TestModule.hi
。我删除TestModule.hs
。然后,我在 ghci
中加载 TestModule.o
,如下所示:
~ λ ghci TestModule.o
GHCi, version 7.0.3.20110517: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
Loading object (static) TestModule.o ... done
final link ... done
Prelude>
如您所见,TestModule
不在范围内,我无法访问 测试验证
。为什么?在不访问源文件的情况下如何实现此目的?
其他问题:如何使用 hint
包完成同样的事情?
谢谢!
I create a simple module, TestModule.hs
, which contains a single exported top-level definition testval = 2
. I compile it, creating TestModule.o
and TestModule.hi
. I delete TestModule.hs
. I then load TestModule.o
in ghci
, like this:
~ λ ghci TestModule.o
GHCi, version 7.0.3.20110517: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done.
Loading object (static) TestModule.o ... done
final link ... done
Prelude>
As you can see, TestModule
isn't in scope and I cannot access testval
. Why? How can I accomplish this without access to the source file?
Additional question: how do I accomplish the same thing using the hint
package?
Thanks!
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
发布评论
评论(1)
您无法解释已经编译的内容。如果你想解释它,你需要来源。如果你愿意的话,你可以制作一个包裹。说明位于此处。
You can't interpret something that's already been compiled. If you want to interpret it, you need the source. You can make a package, if you like. Instructions are here.