On Fri, Oct 19, 2012 at 11:49 AM, Simon Peyton-Jones <span dir="ltr">&lt;<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;">Dear maintainers of<u></u><u></u></span></p>
<p class="MsoNormal" style="text-indent:36.0pt"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;">bytestring<u></u><u></u></span></p>
<p class="MsoNormal" style="text-indent:36.0pt"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;">cabal<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;">         vector<u></u><u></u></span></p>
<p class="MsoNormal" style="text-indent:36.0pt"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;">time<u></u><u></u></span></p>
<p class="MsoNormal" style="text-indent:36.0pt"><span style="font-size:10.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;">dph</span></p></blockquote><div><br></div><div>Hi, Simon -</div><div><br></div><div>How did you come up with this list? It is missing the vast majority of users of Rank2Types.</div>
<div><br></div><div>Most people embed language pragmas directly into the source files that use them, so grepping .cabal files is going to massively undercount users of any given feature.</div><div><br></div><div>Based on repeated recent experience, I expect getting rid of Rank2Types to be another substantial source of make-work for library authors. The GHC upgrade path has been very bumpy indeed recently, and this seems assured to continue that unhappy trend. I respectfully request that you silently retain Rank2Types as a synonym for RankNTypes.</div>
<div><br></div><div>Thanks,</div><div>Bryan.</div></div>