<div dir="ltr"><div>It's available here (for now).</div><div><br></div> <a href="http://ittc.ku.edu/~nfrisby/tcrn-plugin.tar.gz">http://ittc.ku.edu/~nfrisby/tcrn-plugin.tar.gz</a><br><div><br></div><div>Sorry for the whack build/test infrastructure: I wasn't planning sharing this write-once experimental code.</div>
<div><br></div><div>The 'MyTcRnDriver.initTcFromModGuts` function and the 'TcRnPlugin.append_guts` are the key functions.</div><div><br></div><div>The rest of 'MyTcRnDriver` is only necessary because 'tcRnModule` is a big function that bakes in its own invocation of 'initTc`. Most other functions in the tcrn don't do this. I hope to patch GHC to factor 'tcRnModule` a bit and export the pieces so that it can be re-used with 'initTcFromModGuts` instead</div>
<div><br></div><div>Note the TODOs; mostly they focus on stuff like hpc and Safe Haskell. Basic functionality seems fine.</div><div><br></div><div>HTH.</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Tue, Jul 16, 2013 at 8:31 AM, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
Am Dienstag, den 16.07.2013, 07:44 -0500 schrieb Nicolas Frisby:<br>
<div class="im">> It allows you to execute TcRn computations (without manually<br>
> reinitializing its monadic inputs), which is a prerequisite for<br>
> invoking most functions from the type checker or renamer. I anticipate<br>
> that such invocations will be helpful in your task.<br>
<br>
</div>I see; in that case: Thanks!<br>
<div class="HOEnZb"><div class="h5"><br>
Greetings,<br>
Joachim<br>
<br>
--<br>
Joachim Breitner<br>
e-Mail: <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a><br>
Homepage: <a href="http://www.joachim-breitner.de" target="_blank">http://www.joachim-breitner.de</a><br>
ICQ#: 74513189<br>
Jabber-ID: <a href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a><br>
</div></div></blockquote></div><br></div>