<div dir="ltr"><div>well sure, i'm happy to write the 3 line diff, but because of the sheer unambiguity of this i'd rather get the votes on email before botthering to write the diff, at which point the main question is whether i wrote the diff correctly<br><br><br></div>please say yes or no. its quite easy with email . i'm not going to write that little proposal if folks wont accept it :) <br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Sep 7, 2017 at 11:44 PM, Mario Blazevic <span dir="ltr"><<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.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 class="gmail_extra"><div class="gmail_quote"><span class="">On Thu, Sep 7, 2017 at 6:20 PM, Richard Eisenberg <span dir="ltr"><<a href="mailto:rae@cs.brynmawr.edu" target="_blank">rae@cs.brynmawr.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I don't mean to be a killjoy, but I think even something as simple as this should have a proposal. We still have to draft the changes to the Report associated with this change, and at least one is non-obvious: now numeric literals induce an Eq constraint (which should be mentioned). I'm certainly not against this change, but I don't think it's as easy as this.<br></blockquote><div><br></div></span><div>I agree. I just I thought it was implicit that every change to the report goes throught a pull request, which is the same as a proposal. Were you volunteering for something else, Carter?<br></div></div><br></div></div>
</blockquote></div><br></div>