使用 GHCi 加载模块而无需访问其源代码

发布于 2024-12-04 20:21:11 字数 786 浏览 0 评论 0原文

我创建了一个简单的模块 TestModule.hs,其中包含单个导出的顶级定义 testval = 2。我编译它,创建 TestModule.oTestModule.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 技术交流群。

扫码二维码加入Web技术交流群

发布评论

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

评论(1

太阳公公是暖光 2024-12-11 20:21:11

您无法解释已经编译的内容。如果你想解释它,你需要来源。如果你愿意的话,你可以制作一个包裹。说明位于此处

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.

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文