是否可以在编译程序时使用 GHC API 来修改程序？

发布于 2024-09-26 08:07:00 字数 375 浏览 0 评论 0原文

我想通过搭载 GHC 编译过程并更改其核心表示来测试编译器优化的实现。这个想法是这样的：

runGhc (Just libdir) $ do
   ...
   c <- compileToCoreModule targetFile
   compileCoreToObj False (modify c)
   ...

其中 modify 接受 Core 表示并返回修改后的版本。但是，此代码失败（即使修改根本不执行任何操作），并显示不太有用的消息：

expectJust mkStubPaths

有关如何使此工作的任何想法，或者甚至可以通过这种方式实现代码转换吗？

原文

I want to test the implementation a compiler optimization by piggybacking into the GHC compilation process and altering its Core representation. The idea would be to have something like:

runGhc (Just libdir) $ do
   ...
   c <- compileToCoreModule targetFile
   compileCoreToObj False (modify c)
   ...

where modify takes the Core representation and returns the modified version. This code, however, fails (even when modify does nothing at all) with the not very helpful message: