28 May
2017
28 May
'17
6:55 a.m.
See 3b23f680c2b1f80b693eb8896fb21e4bbf8edc7e
On 26 May 2017 at 13:32, Simon Peyton Jones
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.