On 26 May 2017 at 13:32, Simon Peyton Jones <simonpj@microsoft.com> wrote:

I can try to strip then all out and see what happens.

That’d be good!  With a Note to explain why…

 

We still need ctxt_prec, I think, to pass to the ordinary type pretty-printer, when we have HsCoreTy.