On Wed, Nov 11, 2015 at 12:50 PM, Richard Eisenberg <eir@cis.upenn.edu> wrote:

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.

-Edward