11

GHC コンパイル プロセスに便乗し、そのコア表現を変更することにより、コンパイラの最適化の実装をテストしたいと考えています。アイデアは次のようなものを持つことです：

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

ここでmodifyコア表現を取り、変更されたバージョンを返します。ただし、このコードは (modify がまったく何もしない場合でも) 失敗し、あまり役に立たないメッセージが表示されます。

expectJust mkStubPaths

これを機能させる方法、またはこの方法でコード変換を実装することさえ可能かどうかについてのアイデアはありますか?

4

2 に答える 2

9

それは私にはバグのように聞こえcompileCoreToObjます。報告してください。

于 2010-10-05T19:40:07.393 に答える
6

GHC は現在プラグインをサポートしており、まさにあなたが望むことをしているように見えます。

于 2012-01-21T08:00:31.747 に答える