<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 14 Aug 2016, at 12:53 PM, <a href="mailto:amindfv@gmail.com" class="">amindfv@gmail.com</a> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="content-type" content="text/html; charset=utf-8" class=""><div dir="auto" class=""><div class=""></div><div class="">GHC compiler plugins may also be what you're looking for.</div><div class=""><br class=""></div><div class="">Also, does ghc not compile core files anymore? It used to; you can always use an older ghc version.</div></div></div></blockquote><br class=""></div><div>IIRC GHC once could produce external core files, but it was never able to parse them back. The support rotted, so it was removed a few years ago. </div><div><br class=""></div><div>The way GHC is engineered makes it difficult/impossible for core-to-core plugins to introduce names into the core file that were not already present. Plugins can *rearrange* code that contains existing identifiers, but once the front-end type checker/desugarer is finished there isn’t an easy way to load more interface files to get at other names of things. This was the state of GHC in 2013 when I was working on the Repa plugin [1], it might have changed since then.</div><div><br class=""></div><div>Ben.</div><div><br class=""></div><div>[1]  <a href="https://hackage.haskell.org/package/repa-plugin" class="">https://hackage.haskell.org/package/repa-plugin</a></div><div><br class=""></div><div><br class=""></div><div><br class=""></div><div><br class=""></div><br class=""></body></html>