Hi café,<div><br></div><div>I&#39;m working on a small project, and I need to rename all ocurrences of a data type in a module. </div><div>For instance, if the program is</div><div><br></div><div>module Foo where</div><div>
<br></div><div>data Bar</div><div><br></div><div>fun :: Bar -&gt; Bar</div><div>fun = ...</div><div><br></div><div><br></div><div>I&#39;d like that during compilation the module looks as if it was written like:</div><div>
<br></div><div>module Foo where</div><div><br></div><div>data _BarXZY</div><div><br></div><div>fun :: _BarXZY -&gt; _BarXZY</div><div>fun ...</div><div><br></div><div><br></div><div>I think the simplest way to do this is using TH to define a special $data splice, which directly mangles the name. But then I&#39;d need another splice every time I want to use the type.</div>
<div><br></div><div>I&#39;ve read other options like implementing a GHC compiler plugin (<a href="http://www.haskell.org/ghc/docs/7.2.1/html/users_guide/compiler-plugins.html">http://www.haskell.org/ghc/docs/7.2.1/html/users_guide/compiler-plugins.html</a>)</div>
<div><br></div><div>is it possible to perform the renaming by modifying the ModGuts structure in a compiler pass?</div><div>Can you please give more pointers on how to perform this task?</div><div><br></div><div>Thanks</div>
<div><br></div><div>-- <br>Ismael<br>
</div>