Pre-Proposal: Introspective Template Haskell

Edward Kmett ekmett at
Wed Nov 11 19:25:16 UTC 2015

On Wed, Nov 11, 2015 at 12:50 PM, Richard Eisenberg <eir at>

> This is a very good point. We would want to bless some API that would
> remain stable. Then, clients that go around that API get what they deserve.
> A starting point for the stable API would be today's template-haskell (less
> some unsafe features, like exposing NameG).

As a data point, in a couple of packages I wind up forced into using
mkNameG_v and mkNameG_tc in order to avoid incurring a dependency on a
stage2 compiler today. Removing them would force me to drop support for
stage1-only platforms offered by some linux distributions.

If you're going to drop support for it, please consider offering me some
horrible back door to get at the functionality that I can't currently
replace by other means.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list