<div dir="ltr">Looks good to me.</div><div class="gmail_extra"><br><div class="gmail_quote">On 25 August 2017 at 15:15, 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 lang="EN-GB" link="#0563C1" vlink="#954F72">
<div class="m_-518325129672250564WordSection1">
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Friends<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">I propose that we accept the
<a>Explicit Foralls proposal</a>.<u></u><u></u></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="m_-518325129672250564MsoListParagraph" style="margin-left:0cm"><span style="font-family:"Calibri",sans-serif">No one objected<u></u><u></u></span></li><li class="m_-518325129672250564MsoListParagraph" style="margin-left:0cm"><span style="font-family:"Calibri",sans-serif">It makes the language more expressive and uniform<u></u><u></u></span></li><li class="m_-518325129672250564MsoListParagraph" style="margin-left:0cm"><span style="font-family:"Calibri",sans-serif">It fixes a long-standing ticket #2600<u></u><u></u></span></li></ul>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">The only bump in the road is the double forall in RULES (see the Examples in the proposal).  But that’s not Ricahrd’s fault, and the proposed solution seems reasonable.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">I move to accept.<span class="HOEnZb"><font color="#888888"><u></u><u></u></font></span></span></p><span class="HOEnZb"><font color="#888888">
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Simon<u></u><u></u></span></p>
</font></span></div>
</div>

<br>______________________________<wbr>_________________<br>
ghc-steering-committee mailing list<br>
ghc-steering-committee@<wbr><a href="http://haskell.org">haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-">https://mail.haskell.org/cgi-</a><wbr>bin/mailman/listinfo/ghc-<wbr>steering-committee<br>
<br></blockquote></div><br></div>