<div dir="ltr">I'm certainly fine with going back to discussion.<div><br></div><div>Simon PJ, much of your review was improvements/edits, and after those are incorporated, which are the highest priority, deal-breaker issues for you?</div><div><br></div><div>In particular, the requirement to use <span style="color:rgb(34,34,34);font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><font face="monospace, monospace">reallyUnsafePtrEq#</font></span><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"> received some subsequent discussion. If we require at least one mutable field for a constructor to have physical equality, then <span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">reallyUnsafePtrEq# can be avoided both in derived or handwritten equality functions. Does that improve your assessment?</span></span></div><div><br></div><div>Best,</div><div> -Ryan</div><div><br></div><div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 1, 2018 at 3:48 AM, Simon Marlow <span dir="ltr"><<a href="mailto:marlowsd@gmail.com" target="_blank">marlowsd@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>Simon has provided a detailed review (thanks!) so I think we'll need some time to digest those comments and suggestions and modify the proposal. In light of that shall we put the proposal back into the discussion phase for now?<br><br></div>Cheers<span class="m_-4105705293107782186HOEnZb"><font color="#888888"><br></font></span></div><span class="m_-4105705293107782186HOEnZb"><font color="#888888">Simon<br></font></span></div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="m_-4105705293107782186h5">On 1 March 2018 at 05:17, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="m_-4105705293107782186h5">Hi,<br>
<span><br>
Am Freitag, den 23.02.2018, 15:22 -0500 schrieb Ryan Newton:<br>
> Ok, I'm not hearing any strong objections and over the long course of<br>
> discussion in various venues, reactions have been mostly positive.<br>
> Since committee discussion here has died down, I move to go ahead and<br>
> accept this proposal if there are no further objections.<br>
<br>
</span>it has been quiet here, but I see new activity on<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/8" rel="noreferrer" target="_blank">https://github.com/ghc-proposa<wbr>ls/ghc-proposals/pull/8</a><br>
<br>
Is this a sign that the proposal is not yet as polished as would hope<br>
for?<br>
<span class="m_-4105705293107782186m_5087147037525946760HOEnZb"><font color="#888888"><br>
Joachim<br>
<br>
--<br>
Joachim “nomeata” Breitner<br>
<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
<a href="https://www.joachim-breitner.de/" rel="noreferrer" target="_blank">https://www.joachim-breitner.d<wbr>e/</a><br>
</font></span><br></div></div><span>______________________________<wbr>_________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell<wbr>.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-b<wbr>in/mailman/listinfo/ghc-steeri<wbr>ng-committee</a><br>
<br></span></blockquote></div><br></div>
<br>______________________________<wbr>_________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell<wbr>.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-b<wbr>in/mailman/listinfo/ghc-steeri<wbr>ng-committee</a><br>
<br></blockquote></div><br></div></div>