On 3 Aug 2014, at 05:39, Kris Craig <kris.cr...@gmail.com> wrote:

> Agreed.  I'd very much like to see another RFC that proposes more options for 
> creating an operator for this.  The vote against %% on this RFC should not be 
> construed-- in my opinion, at least-- as a consensus against having any kind 
> of operator for intdiv.

To save hassle, could I not modify the current RFC and hold another vote? I 
don’t see why we’d need an entirely new RFC.
--
Andrea Faulds
http://ajf.me/





--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to