It's available here (for now).

  http://ittc.ku.edu/~nfrisby/tcrn-plugin.tar.gz

Sorry for the whack build/test infrastructure: I wasn't planning sharing this write-once experimental code.

The 'MyTcRnDriver.initTcFromModGuts` function and the 'TcRnPlugin.append_guts` are the key functions.

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

Note the TODOs; mostly they focus on stuff like hpc and Safe Haskell. Basic functionality seems fine.

HTH.


On Tue, Jul 16, 2013 at 8:31 AM, Joachim Breitner <mail@joachim-breitner.de> wrote:
Hi,

Am Dienstag, den 16.07.2013, 07:44 -0500 schrieb Nicolas Frisby:
> It allows you to execute TcRn computations (without manually
> reinitializing its monadic inputs), which is a prerequisite for
> invoking most functions from the type checker or renamer. I anticipate
> that such invocations will be helpful in your task.

I see; in that case: Thanks!

Greetings,
Joachim

--
Joachim Breitner
  e-Mail: mail@joachim-breitner.de
  Homepage: http://www.joachim-breitner.de
  ICQ#: 74513189
  Jabber-ID: nomeata@joachim-breitner.de