<div dir="ltr">See 3b23f680c2b1f80b693eb8896fb21e4bbf8edc7e<br><div class="gmail_extra"><br><div class="gmail_quote">On 26 May 2017 at 13:32, Simon Peyton Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div link="blue" vlink="purple" lang="EN-GB">
<div class="m_-6568821787478438993WordSection1"><span class="">
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:12.0pt;margin-left:36.0pt">
I can try to strip then all out and see what happens.<u></u><u></u></p>
</span><p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">That’d be good!  With a Note to explain why…<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">We still need ctxt_prec, I think, to pass to the ordinary type pretty-printer, when we have HsCoreTy.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"> </span></p></div></div></blockquote></div><br></div></div>