7 Sep
2017
7 Sep
'17
10:44 p.m.
On Thu, Sep 7, 2017 at 6:20 PM, Richard Eisenberg
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.
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?