On 22-07-2020 16:45, Joe Ferguson wrote: > I would be happy to author an RFC on replacing @@ with #[] but based on > Larry's comments it sounds like the weighted voting already solved this > issue for us? We as internals just need to decide that @@ isn't a solution > and defer to the next ranked vote? I'd be the first one to +1.
That means we effectively disregard the preferences of the ones who voted for the @@ syntax. We do not know what the @@ voters would have chosen if the choice was between << >> and #[]. In case the @@ voters have a preference for << >> the result could turn out differently. The only way to know is to take another vote. Regards, Dik Takken -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
