Kann die GHC-API verwendet werden, um ein Programm zu ändern, während es kompiliert wird?

Question

Ich möchte die Implementierung einer Compiler-Optimierung testen, indem ich in den GHC-Kompilierungsprozess huckepack und seine Kerndarstellung ändere. Die Idee wäre, wie etwas zu haben:

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

wo modify die Core-Darstellung nimmt und gibt die modifizierte Version. Dieser Code ist jedoch nicht (auch wenn modify tut nichts) mit dem nicht sehr hilfreich Nachricht:

expectJust mkStubPaths 

Alle Ideen, wie diese Arbeit zu machen, oder ob es sogar möglich, eine Codetransformation auf diese Weise zu implementieren ?

Answer 1

Das klingt nach einem Fehler in compileCoreToObj für mich. Bitte report it.

Answer 2

GHC hat jetzt Unterstützung für plugins, die genau das zu tun scheinen, was Sie wollen.